|
1660
|
A theory of timed automata
– Rajeev Alur
- 1999
|
|
437
|
Symbolic Model Checking for Real-time Systems
– Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
- 1992
|
|
220
|
The Tool KRONOS
– C. Daws, A. Olivero, S. Tripakis, S. Yovine
- 1996
|
|
47
|
Verifying ET-LOTOS programs with KRONOS
– C. Daws, A. Olivero, S. Yovine
- 1994
|
|
130
|
A user guide to HYTECH
– Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi
- 1995
|
|
49
|
Verification of an Audio Control Protocol
– Doeko Bosscher, Indra Polak, Frits Vaandrager
- 1994
|
|
45
|
Automated Analysis of an Audio Control Protocol
– Pei-Hsin Ho, Howard Wong-toi
- 1995
|
|
339
|
D.: Model-checking for real-time systems
– R Alur, C Courcourbetis, Dill
- 1990
|
|
25
|
Analysis of Timed Systems Based on Time-Abstracting Bisimulations
– S. Tripakis, S. Yovine
- 1996
|
|
79
|
Model checking in dense real time
– R Alur, C Courcoubetis, D Dill
- 1993
|
|
221
|
Model-Checking in Dense Real-time
– Rajeev Alur, Costas Courcoubetis, David Dill
- 1993
|
|
464
|
Symbolic model checking: An approach to the state explosion problem
– K L Mcmillan
- 1992
|
|
20
|
Hardware timing verification using KRONOS
– Oded Maler, Sergio Yovine
- 1996
|
|
56
|
An Implementation of Three Algorithms for Timing Verification Based on Automata Emptiness
– R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, H. Wong-Toi
- 1992
|
|
97
|
HYTECH: The next generation
– Thomas A. Henzinger, Pei-hsin Ho, Howard Wong-toi
- 1995
|
|
234
|
What's Decidable about Hybrid Automata?
– Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
- 1995
|
|
416
|
UPPAAL in a Nutshell
– Kim G. Larsen, Paul Pettersson, Wang Yi
- 1997
|
|
75
|
Verification of Linear Hybrid Systems By Means of Convex Approximations
– Nicolas Halbwachs, Pascal Raymond, Yann-eric Proy
- 1994
|
|
371
|
Automata for modeling real-time systems
– R Alur, D Dill
- 1990
|
