DetailsAn Old-Fashioned Recipe for Real Time (1993) Martin Abadi, Leslie Lamport
214 documents cite this article.
Citing documents:
Showing first 50 documents only
DetailsEfficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi Efficient Verification of Real-Time Systems: Compact Data Structure and
DetailsCombining a State Based Formalism With Temporal Logic (1996) Thomas Deiß
DetailsParametric Real-time Reasoning (1993) Rajeev Alur, Thomas A. Henzinger, Moshe
DetailsCompositional Reasoning Using the Assumption-Commitment Paradigm (1998) Xu
DetailsSpecifying Real-Time Finite-State Systems in Linear Logic (1998) Max I.
DetailsEfficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction Kim G. Larsen, Fredrik Larsson, et al. Efficient Verification of Real-Time Systems: Compact Data Structures
DetailsModularity for Timed and Hybrid Systems (1997) Rajeev Alur, Thomas A. Henzinger
DetailsTimed and Hybrid Statecharts and their Textual Representation (1992) Y. Kesten,
DetailsFormal Methods for Broadband and Multimedia Systems (1997) Stefan Fischer,
DetailsClocked Transition Systems (1995) Zohar Manna, Amir Pnueli
DetailsAutomatic Verification of Real-Time Communicating Systems by Constraint-Solving Wang Yi, Paul Pettersson, Mats Daniels Automatic Verification of Real-Time Communicating Systems by Constraint-
DetailsCompositional and Symbolic Model-Checking of Real-Time Systems (1995) Kim G.
DetailsDevelopment of Safety-Critical Real-Time Systems (1995) Hans Rischel, Jorge
DetailsA Really Temporal Logic (1989) Rajeev Alur, Thomas A. Henzinger
DetailsFischer's Protocol Revisited: A Simple Proof Using Modal Constraints (1996)
DetailsA Note on Fairness in I/O Automata (1996) Judi Romijn, Frits Vaandrager
DetailsThe tool Kronos (1996) C. Daws, A. Olivero, S. Tripakis, S. Yovine
DetailsUPPAAL in a Nutshell (1997) Kim G. Larsen, Paul Pettersson, Wang Yi
DetailsA Graphical Environment for Design of Concurrent Real-Time Systems L.E.
DetailsAn action-based formal model for concurrent, real-time systems (1997) C.J.
DetailsImplementation of multimedia systems based on a real-time extension of Estelle S. Fischer Implementation of multimedia systems based on a real-time extension of
DetailsReducing the Number of Clock Variables of Timed Automata (1996) C. Daws, S.
DetailsVerification of Real-Time Systems Using PVS (1993) N. Shankar
DetailsMinimization of Timed Systems (1998) Stavros Tripakis
DetailsVerification of an Audio Control Protocol (1994) Doeko Bosscher, Indra Polak,
DetailsCMC: A Tool For Compositional Model-Checking Of Real-Time Systems (1988) Fran&c
DetailsReal-time Logics: Complexity and Expressiveness (1990) Rajeev Alur, Thomas A.
DetailsSpecification and Verification of Fault-tolerance, Timing and Scheduling Zhiming Liu, Mathai Joseph Specification and Verification of Fault-tolerance, Timing and
DetailsModel-Checking for Real-Time Systems (1995) Kim G. Larsen, Paul Pettersson,
DetailsA Relational Model for Temporal Logic (1998) Burghard von Karger, Rudolf
DetailsModels for Reactivity (1994) Zohar Manna, Amir Pnueli
DetailsAn Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, H. Wong-Toi An Implementation of Three Algorithms for Timing Verification Based on
DetailsMobile UNITY: Reasoning and Specification in Mobile Computing (1997) Gruia-Cata
DetailsDeductive Verification of Real-time Systems Using STeP (1997) Nikolaj S. Bjørne
DetailsAction Transducers and Timed Automata (1995) Nancy Lynch, Frits Vaandrager
DetailsA Hybrid Projection Temporal Logic for Hybrid Systems (1994) Zhenhua Duan Mike
DetailsModeling of Distributed Real-Time Systems in DisCo (1992) Kari Systä, et al.
DetailsFormal Methods for Dependable Real-Time Systems (1992) John Rushby
DetailsA Theory of Presentations (1994) D.J. Duke, M.D. Harrison
DetailsFrom Timed to Hybrid Systems (1992) Oded Maler, Zohar Manna, Amir Pnueli
DetailsVerifying Clocked Transition Systems (1996) Yonit Kesten, Zohar Manna, Amir
DetailsLiquiMedia A dynamically extensible cyclic executive (1996) Robert Kroeger,
DetailsForward and Backward Simulations Part II: Timing-Based Systems (1995) Nancy
DetailsThe Theory of Hybrid Automata (1996) Thomas A. Henzinger
DetailsDesign Principles for Real-Time Process Control Systems (1994) Khalil Sima'an
DetailsVerifying Networks of Timed Processes (1998) Parosh Aziz Abdulla, Bengt Jonsson
DetailsTowards Refining Temporal Specifications into Hybrid Systems (1993) Thomas A.
DetailsHYTECH: The Next Generation (1995) Thomas A. Henzinger, Pei-Hsin Ho, Howard
DetailsCross-viewpoint Consistency in Accident Investigations (1996) Alastair J.