Conferences in DBLP
Asis Goswami , Michael Bell , Mathai Joseph ISL: An Interval Logic for the Specification of Real-time Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Zhou Chaochen , Michael R. Hansen , Anders P. Ravn , Hans Rischel Duration Specifications for Shared Processors. [Citation Graph (0, 0)][DBLP ] Conf ] J. Coenen , Jozef Hooman A Compositional Semantics for Fault-Tolerant Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Daniels Modelling Real-Time Behaviour with an Interval Time Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Odile Millet Multicycles and RTL Logic Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Abha Moitra Voluntary Preemption: a Tool Tn The Design Of Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] K. T. Narayana Observing Task Preemption in Ada 9x. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Breveglieri , Alessandra Cherubini , Stefano Crespi-Reghizzi Real-Time Scheduling by Queue Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Davies , Dave Jackson , Steve Schneider Broadcast Communication for Real-time Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Rogério de Lemos , Amer Saeed , Tom Anderson Analysis of Timeliness Requirements in Safety-Critical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Yodaiken , Krithi Ramamritham Verification of a Reliable Net Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Natarajan Shankar Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Rushby Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Delyon , Oded Maler On Fault-Tolerant Symbolic Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus D. Heidtmann Temporal Logic Applied to Reliability Modelling of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Padmanabhan Krishnan , Peter D. Mosses Specifying Asynchronous Transfer of Control. [Citation Graph (0, 0)][DBLP ] Conf ] Wil Janssen , Job Zwiers Protocol Design by Layered Decomposition: A Compositional Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Reino Kurki-Suonio , Kari Systä , Jüri Vain Scheduling in Real-Time Models. [Citation Graph (0, 0)][DBLP ] Conf ] Yogesh Naik A Temporal Approach to Requirements Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John Plaice RLucid, a General Real-Time Dataflow Language. [Citation Graph (0, 0)][DBLP ] Conf ] Rachel Cardell-Oliver A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Colin J. Fidge Specification and Verification of Real-Time Behaviour Using Z and RTL. [Citation Graph (0, 0)][DBLP ] Conf ] David Scholefield , Hussein S. M. Zedan TAM: A Formal Framework for the Development of Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Richard , Olivier Roux An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Jozef Hooman The Real-Time Behaviour of Asynchronously Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Jan A. Bergstra Asynchronous Communication in Real Space Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Jeffrey Translating Timed Process Algebra into Prioritized Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Yolanda Ortega-Mallén Operational Semantics for Timed Observations. [Citation Graph (0, 0)][DBLP ] Conf ] David Murphy , David H. Pitt Real-Timed Concurrent Refineable Behaviours. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Toetenel , Jan van Katwijk Stepwise Development of Model-Oriented Real-Time Specifications from Action/Event Models. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Coesmans , Martin J. Wieczorek Formal Specification of Fault-Tolerant Real-Time Systems Using Minimal 3-Sorted Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Yonit Kesten , Amir Pnueli Timed and Hybrid Statecharts and Their Textual Representation. [Citation Graph (0, 0)][DBLP ] Conf ] 