|
61
|
Module Checking
– Orna Kupferman, Moshe Y. Vardi
- 1996
|
|
5
|
Robust Satisfaction
– Orna Kupferman, Moshe Y. Vardi
- 1999
|
|
1
|
On the Universal and Existential Fragments of the µ-Calculus
– Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
- 2003
|
|
12
|
A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking
– Thomas Henzinger, Orna Kupferman, Moshe Y. Vardi
|
|
8
|
Timed Tree Automata with an Application to Temporal Logic
– Salvatore La Torre, Margherita Napoli
- 2001
|
|
16
|
Relating Linear and Branching Model Checking
– O. Kupferman, M. Y. Vardi
- 1996
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
3
|
Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus
– Oleg Sokolsky
- 1996
|
|
1
|
SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA
– Fuzhi Wang
- 2006
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
|
Verification of Durational Action Timed Automata using UPPAAL
– Souad Guellati, Ilham Kitouni, Djamel-eddine Saidouni
|
|
14
|
On the expressiveness of TPTL and MTL
– Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
- 2005
|
|
13
|
Is your Model Checker on Time? - On the Complexity of Model Checking for Timed Modal Logics
– Luca Aceto, François Laroussinie
- 2001
|
|
84
|
Logics for Hybrid Systems
– J. M. Davoren, Anil Nerode
- 2000
|
|
|
Finite Automata on Timed ω-Trees
– Salvatore La Torre, Margherita Napoli
- 2001
|
|
8
|
From Quantity to Quality
– Thomas A. Henzinger, Orna Kupferman
- 1997
|
|
1659
|
A theory of timed automata
– Rajeev Alur
- 1999
|
|
|
Timed Games With Branching-Time Winning Conditions
– Aniello Murano
|
|
22
|
The Complexity of Temporal Logic Model Checking
– Philippe Schnoebelen
- 2002
|
