The Tool KRONOS (1996)

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

Documents Related by Co-Citation

1975 A theory of timed automata – Rajeev Alur - 1999
472 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
223 Timing assumptions and verification of finite-state concurrent systems – D 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
82 Model checking in dense real time – R Alur, C Courcoubetis, D Dill - 1993
41 Timing Analysis in COSPAN – Rajeev Alur, Robert P. Kurshan - 1996
102 HYTECH: The next generation – Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi - 1995
264 Automatic Symbolic Verification of Embedded Systems – Rajeev Alur , Thomas A. Henzinger , Pei-hsin Ho - 1996
74 The algorithmic analysis of hybrid systems,” Theor – R Alur, C Courcoubetis, N Halbwachs, T A Henzinger, P Ho, X Nicollin, A Olivero, J Sifakis, S Yovine - 1995
178 D.L.: A theory of timed automata. Theoretical Computer Science 126 – R Alur, Dill - 1994
266 What's Decidable about Hybrid Automata? – Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya - 1995
190 On the Synthesis of Discrete Controllers for Timed Systems – Oded Maler, Amir Pnueli, Joseph Sifakis - 1995
172 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
83 Liveness in Timed and Untimed Systems – Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, Nancy Lynch - 1994
360 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
483 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996