|
|
Automata-theoretic Verification of Real Time Systems
– Rajeev Alur, David Dill
|
|
|
Timed Automata for the Development of Real-Time Systems
– Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie
- 2011
|
|
3
|
Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus
– Oleg Sokolsky
- 1996
|
|
183
|
Real-time logics: complexity and expressiveness
– Rajeev Alur, Thomas A. Henzinger
- 1993
|
|
173
|
Logics and Models of Real Time: A Survey
– Rajeev Alur, Thomas A. Henzinger
|
|
378
|
The Theory of Hybrid Automata
– Thomas A. Henzinger
- 1996
|
|
13
|
Temporal Logic + Timed Automata: Expressiveness and Decidability
– Ahmed Bouajjani, Yassine Lakhnech
- 1995
|
|
22
|
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems
– Bernard Boigelot, Louis Bronne, Stéphane Rassart
- 1997
|
|
12
|
A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking
– Thomas Henzinger, Orna Kupferman, Moshe Y. Vardi
|
|
37
|
Computing Accumulated Delays in Real-time Systems
– Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
- 1993
|
|
14
|
On the expressiveness of TPTL and MTL
– Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
- 2005
|
|
1
|
SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA
– Fuzhi Wang
- 2006
|
|
1
|
Real-time and Probabilistic Temporal Logics: An Overview
– Savas Konur
- 2008
|
|
213
|
A Really Temporal Logic
– Rajeev Alur, Thomas A. Henzinger
- 1989
|
|
4
|
Efficient timed model checking for discrete-time systems
– F. Laroussinie, N. Markey, Ph. Schnoebelen
- 2006
|
|
95
|
What Good Are Digital Clocks?
– Thomas Henzinger, Zohar Manna, Amir Pnueli
- 1992
|
|
73
|
Parametric real-time reasoning
– Rajeev Alur, Thomas A. Henzinger , Moshe Y. Vardi
- 1993
|
|
44
|
Timing Verification by Successive Approximation
– R. Alur, A. Itai, R. P. Kurshan, M. Yannakakis
- 1995
|
|
54
|
Automatic verification of real-time systems with discrete probability distributions
– Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
- 1999
|
