- Reino Kurki-Suonio, Kari Systä, Jüri Vain
:
Scheduling in Real-Time Models. FTRTFT 1992: 327-339 - Rogério de Lemos, Amer Saeed, Tom Anderson:
Analysis of Timeliness Requirements in Safety-Critical Systems. FTRTFT 1992: 171-192 - Odile Millet:
Multicycles and RTL Logic Satisfiability. FTRTFT 1992: 73-86 - Abha Moitra:
Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems. FTRTFT 1992: 87-106 - David Murphy, David H. Pitt:
Real-Timed Concurrent Refineable Behaviours. FTRTFT 1992: 529-545 - Yogesh Naik:
A Temporal Approach to Requirements Specification of Real-Time Systems. FTRTFT 1992: 341-361 - K. T. Narayana:
Observing Task Preemption in Ada 9x. FTRTFT 1992: 107-129 - Yolanda Ortega-Mallén:
Operational Semantics for Timed Observations. FTRTFT 1992: 507-527 - John Plaice:
RLucid, a General Real-Time Dataflow Language. FTRTFT 1992: 363-374 - Martin Richard, Olivier F. Roux:
An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. FTRTFT 1992: 429-450 - John M. Rushby:
Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems. FTRTFT 1992: 237-257 - David Scholefield, Hussein S. M. Zedan:
TAM: A Formal Framework for the Development of Distributed Real-Time Systems. FTRTFT 1992: 411-428 - Natarajan Shankar:
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization. FTRTFT 1992: 217-236 - Hans Toetenel, Jan van Katwijk:
Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. FTRTFT 1992: 547-570 - Victor Yodaiken, Krithi Ramamritham:
Verification of a Reliable Net Protocol. FTRTFT 1992: 193-215 - 1991
- Jan Vytopil:
Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Lecture Notes in Computer Science 571, Springer 1991, ISBN 3-540-55092-5 [contents] - 1988
- W. J. Cullyer:
High Integrity Computing. FTRTFT 1988: 1-35 - Michael J. Fischer, Lenore D. Zuck:
Reasoning about Uncertainty in Fault-tolerant Distributed Systems. FTRTFT 1988: 142-158 - Maurice Herlihy, Jeannette M. Wing:
Reasoning about Atomic Objects. FTRTFT 1988: 193-208 - Jacques Jaray:
Timed Specifications for the Development of Real-time Systems. FTRTFT 1988: 67-83 - Ron Koymans, Ruurd Kuiper, Erik Zijstra:
Paradigms for Real-time Systems. FTRTFT 1988: 159-174 - Insup Lee, Amy E. Zwarico:
Timed Acceptances: A Model of Time Dependent Processes. FTRTFT 1988: 128-130 - Leo Yuhsiang Liu, R. K. Shyamasundar:
Static Analysis of Real-time Distributed Systems. FTRTFT 1988: 134-138 - Glenn H. MacEwen, David B. Skillicorn:
Using Higher-order Logic for Modular Specification of Real-time Distributed Systems. FTRTFT 1988: 36-66 - Luigi V. Mancini, Giuseppe Pappalardo:
Towards a Theory of Replicated Processing. FTRTFT 1988: 175-192 - John Alexander McDermid, Gary Morgan:
Low Level Synchronisation Problems in Digital Systems. FTRTFT 1988: 139-141 - Giuseppe Pappalardo, Santosh K. Shrivastava:
A Formal Treatment of Interference in Remote Procedure Calls. FTRTFT 1988: 209-227 - Daniel Pilaud, Nicolas Halbwachs:
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. FTRTFT 1988: 99-110 - Amir Pnueli, Eyal Harel:
Applications of Temporal Logic to the Specification of Real-time Systems. FTRTFT 1988: 84-98 - Neelam Soundararajan, Roger L. Costello:
Responsive Sequential Processes. FTRTFT 1988: 131-133
