Conferences in DBLP
Martín Abadi , Leslie Lamport An Old-Fashioned Recipe for Real Time. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Costas Courcoubetis , David L. Dill Verifying Automata Specifications of Probabilistic Real-time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , David L. Dill The Theory of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Thomas A. Henzinger Logics and Models of Real Time: A Survey. [Citation Graph (1, 0)][DBLP ] Conf ] Jos C. M. Baeten , Jan A. Bergstra The State Operator in Real Time Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Bolognesi , Ferdinando Lucidi Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Courtiat , Michel Diaz Time in State Based Formal Description Techniques for Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] E. Allen Emerson Real-Time and the Mu-Calculus (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Rocheteau , Nicolas Halbwachs Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Hansen , Zhou Chaochen Semantics and Completeness of Duration Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Zohar Manna , Amir Pnueli Timed Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Hooman Compositional Verification of Real-Time Systems using Extended Hoare Triples. [Citation Graph (0, 0)][DBLP ] Conf ] Cornelis Huizing , Rob Gerth Semantics of Reactive Systems in Abstract Time. [Citation Graph (0, 0)][DBLP ] Conf ] Mathai Joseph Problems, Promises and Performance: Some Questions for Real-time System Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Klusener Abstraction in Real Time Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Koymans (Real) Time: A Philosophical Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Gerber , Insup Lee Specification and Analysis of Resource-Bound Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy A. Lynch , Frits W. Vaandrager Forward and Backward Simulations for Timing-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Oded Maler , Zohar Manna , Amir Pnueli From Timed to Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Aloysius K. Mok Coping with Implementation Dependencies in Real-Time System Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Morzenti Validating Real-Time Systems by Executing Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Nicollin , Joseph Sifakis An Overview and Synthesis on Timed Process Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Nicollin , Joseph Sifakis , Sergio Yovine From ATP to Timed Graphs and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan S. Ostroff Verification of Safety Critical Systems Using TTM/RTTL. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Schenke Predicative Specification of Timed Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Fred B. Schneider , Bard Bloom , Keith Marzullo Putting Time into Proof Outlines. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Schneider , Jim Davies , D. M. Jackson , George M. Reed , Joy N. Reed , A. W. Roscoe Timed CSP: Theory and Practice. [Citation Graph (1, 0)][DBLP ] Conf ] William G. Wood A Specification of the Cat and Mouse Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Job Zwiers Layering and Action Refinement for Timed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 