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

Documents Related by Co-Citation

1975 A theory of timed automata – Rajeev Alur - 1999
407 D.L.: Automata For Modeling Real-Time Systems – R Alur, Dill - 1990
30 The Power of Reachability Testing for Timed Automata – L. Aceto, P. Bouyer, A. Burgueño, K. G. Larsen - 2001
57 Verification of an Audio Protocol with Bus Collision Using UPPAAL – Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi - 1996
363 D: Model-checking for real-time systems – R Alur, C Courcoubetis, Dill
251 Model-Checking in Dense Real-time – Rajeev Alur, Costas Courcoubetis, David Dill - 1993
2593 On the theory of dynamic programming – Richard E Bellman - 1952
491 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
173 A tutorial on uppaal – Gerd Behrmann, Re David, Kim G. Larsen - 2004
202 The Benefits of Relaxing Punctuality – Rajeev Alur, Tomás Feder, Thomas A. Henzinger - 1996
52 From Timed Automata to Logic -- and Back – Francois Laroussinie, Kim G. Larsen, Carsten Weise - 1995
472 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
62 Minimum and maximum delay problems in real-time systems – C Courcoubetis, M Yannakakis - 1991
585 P.: An automata-theoretic approach to automatic program verification – M Vardi, Wolper - 1986
2927 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
41 Distributing Timed Model Checking -- How the Search Order Matters – Gerd Behrmann, Thomas Hune, Frits Vaandrager - 2000
40 It’s about Time: Real-time Logics Reviewed – Thomas A. Henzinger - 1998
22 UPPAAL -- Present and Future – Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi - 2001
8 Distributed Reachability Analysis in Timed Automata – G Behrmann - 2005