2. FTRTFT 1992: Nijmegen, The Netherlands

Session 1

• Asis Goswami, Michael Bell, Mathai Joseph:
  ISL: An Interval Logic for the Specification of Real-time Programs. 1-20
  
• Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel:
  Duration Specifications for Shared Processors. 21-32
  
• J. Coenen, Jozef Hooman:
  A Compositional Semantics for Fault-Tolerant Real-Time Systems. 33-51
  

Session 2A

• Mats Daniels:
  Modelling Real-Time Behaviour with an Interval Time Calculus. 53-71
  
• Odile Millet:
  Multicycles and RTL Logic Satisfiability. 73-86
  

Session 2B

• Abha Moitra:
  Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems. 87-106
  
• K. T. Narayana:
  Observing Task Preemption in Ada 9x. 107-129
  

Session 3

• Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi:
  Real-Time Scheduling by Queue Automata. 131-147
  
• Jim Davies, Dave Jackson, Steve Schneider:
  Broadcast Communication for Real-time Processes. 149-169
  
• Rogério de Lemos, Amer Saeed, Tom Anderson:
  Analysis of Timeliness Requirements in Safety-Critical Systems. 171-192
  

Session 4A

• Victor Yodaiken, Krithi Ramamritham:
  Verification of a Reliable Net Protocol. 193-215
  
• Natarajan Shankar:
  Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization. 217-236
  

Session 5

• John M. Rushby:
  Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems. 237-257
  
• Bernard Delyon, Oded Maler:
  On Fault-Tolerant Symbolic Computations. 259-269
  

Session 6A

• Klaus D. Heidtmann:
  Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems. 271-289
  

Session 6B

• Padmanabhan Krishnan, Peter D. Mosses:
  Specifying Asynchronous Transfer of Control. 291-306
  
• Wil Janssen, Job Zwiers:
  Protocol Design by Layered Decomposition: A Compositional Approach. 307-326
  

Session 7A

• Reino Kurki-Suonio, Kari Systä, Jüri Vain:
  Scheduling in Real-Time Models. 327-339
  
• Yogesh Naik:
  A Temporal Approach to Requirements Specification of Real-Time Systems. 341-361
  
• John Plaice:
  RLucid, a General Real-Time Dataflow Language. 363-374
  

Session 7B

• Rachel Cardell-Oliver:
  A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic. 375-392
  
• Colin J. Fidge:
  Specification and Verification of Real-Time Behaviour Using Z and RTL. 393-409
  
• David Scholefield, Hussein S. M. Zedan:
  TAM: A Formal Framework for the Development of Distributed Real-Time Systems. 411-428
  

Session 8

• Martin Richard, Olivier Roux:
  An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. 429-450
  
• Frank S. de Boer, Jozef Hooman:
  The Real-Time Behaviour of Asynchronously Communicating Processes. 451-472
  

Session 9A

• Jos C. M. Baeten, Jan A. Bergstra:
  Asynchronous Communication in Real Space Process Algebra. 473-492
  
• Alan Jeffrey:
  Translating Timed Process Algebra into Prioritized Process Algebra. 493-506
  
• Yolanda Ortega-Mallén:
  Operational Semantics for Timed Observations. 507-527
  

Session 9B

• David Murphy, David H. Pitt:
  Real-Timed Concurrent Refineable Behaviours. 529-545
  
• Hans Toetenel, Jan van Katwijk:
  Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. 547-570
  

Supplement

• Peter Coesmans, Martin J. Wieczorek:
  Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic. 571-590
  
• Yonit Kesten, Amir Pnueli:
  Timed and Hybrid Statecharts and Their Textual Representation. 591-620
  

Last update Fri May 25 08:14:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page