Model Checking via Reachability Testing for Timed Automata (1997)

Cached

Download Links

by Augusto Burgueño , Kim G. Larsen , Luca Aceto , Luca Aceto
Citations:44 - 13 self

Active Bibliography

30 The Power of Reachability Testing for Timed Automata – L. Aceto, P. Bouyer, A. Burgueño, K. G. Larsen - 2001
6 Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools – K. G. Larsen, B. Steffen, C. Weise - 1997
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
42 The Bounded Retransmission Protocol must be on time! – Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, G. Jan Tretmans - 1997
102 The concurrency workbench: A semantics based tool for the verification of concurrent systems – Rance Cleaveland, Joachim Parrow, Bernhard Steffen - 1991
14 Timed automaton models for simple programmable logic controllers – Angelika Mader, Hanno Wupper - 1999
1 SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA – Fuzhi Wang - 2006
1975 A theory of timed automata – Rajeev Alur - 1999
21 A Visual Formalism for Real Time Requirement Specifications – Konrad Feyerabend, Bernhard Josko - 1997
16 Digitisation and full abstraction for dense-time model checking – Joël Ouaknine - 2002
483 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
20 An Automata-Theoretic Approach to Constraint LTL – S. Demri, D. D'Souza - 2003
1 Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata – Jeremy Sproston
72 Automatic verification of real-time systems with discrete probability distributions – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 1999
13 Temporal Logic + Timed Automata: Expressiveness and Decidability – Ahmed Bouajjani, Yassine Lakhnech - 1995
16 Model Checking for Extended Timed Temporal Logics (extended abstract) – Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine - 1996
19 On the expressiveness of TPTL and MTL – Patricia Bouyer, Fabrice Chevalier, Nicolas Markey - 2005
41 Timing Analysis in COSPAN – Rajeev Alur, Robert P. Kurshan - 1996
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996