The Tool KRONOS (1996)

by C. Daws , A. Olivero , S. Tripakis , S. Yovine
Venue:In Proc. of Hybrid Systems III, LNCS 1066
Citations:232 - 38 self

Documents Related by Co-Citation

1966 A theory of timed automata – Rajeev Alur - 1999
470 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
221 Timing assumptions and verification of finite-state concurrent systems – David L Dill - 1989
596 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
83 Model checking in dense real time – R Alur, C Courcoubetis, D L Dill - 1993
41 Timing Analysis in COSPAN – Rajeev Alur, Robert P. Kurshan - 1996
101 HYTECH: The next generation – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
266 Automatic Symbolic Verification of Embedded Systems – Rajeev Alur , Thomas A. Henzinger , Pei-hsin Ho - 1996
75 The Algorithmic Analysis of Hybrid Systems, Theo – A Alur, C Courcoubetis, N Halbwachs, T A Henzinger, P-H Ho, X Nicollin, A Olivero, J Sifakis, S Yovine - 1995
178 A theory of timed automata, Theoretical Computer Science 126 – R Alur, D Dill - 1994
266 What's Decidable about Hybrid Automata? – Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya - 1995
188 On the Synthesis of Discrete Controllers for Timed Systems – Oded Maler, Amir Pnueli, Joseph Sifakis - 1995
171 UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems – Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi - 1996
17 Timing Analysis – R Alur, R P Kurshan - 1996
40 Verifying Abstractions of Timed Systems – Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton - 1996
82 Liveness in Timed and Untimed Systems – Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, Nancy Lynch - 1994
359 Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - 1992
491 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
482 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996