default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. FTRTFT 1992: Nijmegen, The Netherlands
- 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
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 A. 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 F. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
