Conferences in DBLP
Limor Fix , Fred B. Schneider Hybrid Verification by Exploiting the Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Jozef Hooman Correctness of Real Time Systems by Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie Lamport , Stephan Merz Specifying and Verifying Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli Development of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Chaochen Zhou Linear Duration Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Anish Arora Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael von der Beeck A Comparison of Statecharts Variants. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Benveniste , Bernard C. Levy , Eric Fabre , Paul Le Guernic A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Doeko Bosscher , Indra Polak , Frits W. Vaandrager Verification of an Audio Control Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Rachid Echahed , Riadh Robbana Verfying Invariance Properties of Timed Systems with Duration Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Hanifa Boucheneb , Gérard Berthelot Predicting Logical and Temporal Properties of Real-Time Systems Using Synchronized Elementary Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Bradley , William Henderson , David Kendall , Adrian Robson Designing and Implementing Correct Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy , Ketil Stølen Specification and Refinement of Finite Dataflow Networks - a Relational Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Vered Gafni , Amiram Yehudai , Yishai A. Feldman Activation-Oriented Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He , C. A. R. Hoare , Martin Fränzle , Markus Müller-Olm , Ernst-Rüdiger Olderog , Michael Schenke , Michael R. Hansen , Anders P. Ravn , Hans Rischel Provably Correct Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He , Zheng Jianping Simulation Approach to Provably Correct Hardware Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Peter W. Kopke Verification Methods for the Divergent Runs of Clock Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tomasz Janowski Fault-Tolerant Bisimulation and Process Tranformations. [Citation Graph (0, 0)][DBLP ] Conf ] Wil Janssen , Mannes Poel , Qiwen Xu , Job Zwiers Layering of Real-Time Distributed Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Bengt Jonsson , Chris Ho-Stuart , Wang Yi Testing and Refinement for Nondeterministic and Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Arjun Kapur , Thomas A. Henzinger , Zohar Manna , Amir Pnueli Prooving Safety Properties of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Kearney , Mark Utting A Layered Real-Time Specification of a RISC Processor. [Citation Graph (0, 0)][DBLP ] Conf ] J. K. Kishore , R. S. Manjunatha , V. K. Agrawal , N. K. Malik , P. S. Goel A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft. [Citation Graph (0, 0)][DBLP ] Conf ] Yassine Lakhnech , Jozef Hooman Reasoning about Durations in Metric Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Le Lann Scheduling in Critical Real-Time Systems: a Minfesto. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiming Liu , Mathai Joseph Stepwise Development of Fault-Tolerant Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Maffeïs , Paul Le Guernic Distributed Implementation of SIGNAL: Scheduling & Graph Clustering. [Citation Graph (0, 0)][DBLP ] Conf ] Ryosei Mori , Naoki Yonezaki Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Simin Nadjm-Tehrani , Jan-Erik Strömberg From Physical Modelling to Compositional Models of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Schenke Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] R. K. Shyamasundar , S. Ramesh Languages for Reactive Specifications: Synchrony Vs Asynchrony. [Citation Graph (0, 0)][DBLP ] Conf ] Henny Sipma , Zohar Manna Specification and Verification of Controlled Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Ulrik Skakkebæk , Natarajan Shankar Towards a Duration Calculus Proof Assistant in PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Wang Yi Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Wilke Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Huiqun Yu , Paritosh K. Pandya , Yongqiang Sun A Calculus for Hybrid Sampled Data Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Xinyao Yu , Ji Wang , Chaochen Zhou , Paritosh K. Pandya Formal Design of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Zheng Yuhua , Chaochen Zhou A Formal Proof of the Deadline Driven Scheduler. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Wiefel , Gerhard Trefz STATEMATE. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Rushby , Jens Ulrik Skakkebæk The PVS Verification System and PC/DC. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Martin Hörcher The DST Z-Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Martin Hörcher , Uwe Schmidt The VDM Domain Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Lindner Case Study Production Cell. [Citation Graph (0, 0)][DBLP ] Conf ] Poul Bøgh Lassen IFAD VDM-SL Toolbox. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Winkelmann , Klaus Nökel Control Specification Language - CSL. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Winkelmann , Thomas Filkorn System Verification Environment - SVE. [Citation Graph (0, 0)][DBLP ] Conf ] ITEX-DE: A TTCN Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] The SDL Design Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Käufl , Stefan Klingenbeck Tatzelwurm. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel Formal Specification and Verification Using KIV. [Citation Graph (0, 0)][DBLP ] Conf ] 