|
1660
|
A theory of timed automata
– Rajeev Alur
- 1999
|
|
3
|
Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus
– Oleg Sokolsky
- 1996
|
|
38
|
Timing Analysis in COSPAN
– Rajeev Alur, Robert P. Kurshan
- 1996
|
|
44
|
Timing Verification by Successive Approximation
– R. Alur, A. Itai, R. P. Kurshan, M. Yannakakis
- 1995
|
|
173
|
Logics and Models of Real Time: A Survey
– Rajeev Alur, Thomas A. Henzinger
|
|
|
Timed Automata for the Development of Real-Time Systems
– Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie
- 2011
|
|
183
|
Real-time logics: complexity and expressiveness
– Rajeev Alur, Thomas A. Henzinger
- 1993
|
|
8
|
Timed Tree Automata with an Application to Temporal Logic
– Salvatore La Torre, Margherita Napoli
- 2001
|
|
174
|
The Benefits of Relaxing Punctuality
– Rajeev Alur, Tomás Feder, Thomas A. Henzinger
- 1996
|
|
12
|
A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking
– Thomas Henzinger, Orna Kupferman, Moshe Y. Vardi
|
|
30
|
Formal Methods for the Specification and Design of Real-Time Safety Critical Systems
– Jonathan S. Ostroff
- 1992
|
|
95
|
What Good Are Digital Clocks?
– Thomas Henzinger, Zohar Manna, Amir Pnueli
- 1992
|
|
14
|
Discrete Analysis of Continuous Behaviour in Real-Time Concurrent Systems
– Joël Ouaknine
- 2001
|
|
4
|
Specification and Analysis of Real-Time Systems with PARAGON
– Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah
- 1999
|
|
6
|
Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools
– K. G. Larsen, B. Steffen, C. Weise
- 1997
|
|
7
|
A Decidable Dense Branching-time Temporal Logic
– Salvatore La Torre, Margherita Napoli
- 2000
|
|
|
Timed Modal Logics for Specifying and Verifying Real-Time Systems
– François Laroussinie
|
|
4
|
Efficient timed model checking for discrete-time systems
– F. Laroussinie, N. Markey, Ph. Schnoebelen
- 2006
|
|
2
|
Formal Methods For Real-Time Systems
– Douglas Alan Stuart, Douglas Alan Stuart
- 1996
|
