Automata-theoretic Verification of Real Time Systems (1995)

Cached

Download Links

by Rajeev Alur , David Dill

Active Bibliography

1975 A theory of timed automata – Rajeev Alur - 1999
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
41 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
184 Logics and Models of Real Time: A Survey – Rajeev Alur, Thomas A. Henzinger
1 Timed Automata for the Development of Real-Time Systems – Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie - 2011
202 Real-time logics: complexity and expressiveness – Rajeev Alur, Thomas A. Henzinger - 1993
11 Timed Tree Automata with an Application to Temporal Logic – Salvatore La Torre, Margherita Napoli - 2001
202 The Benefits of Relaxing Punctuality – Rajeev Alur, Tomás Feder, Thomas A. Henzinger - 1996
16 A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking – Thomas Henzinger, Orna Kupferman, Moshe Y. Vardi
31 Formal Methods for the Specification and Design of Real-Time Safety Critical Systems – Jonathan S. Ostroff - 1992
110 What Good Are Digital Clocks? – Thomas Henzinger, Zohar Manna, Amir Pnueli - 1992
19 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
9 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