|
|
Parametric model-checking in PMC
– Giosué Bandini, Ronald Lutje Spelberg, Hans Toetenel
|
|
|
Generating Executable Tests for Timed and Untimed EFSM Models
– Ali Y. Duale, Mariusz A. Fecko
|
|
2
|
Timed Automata May Cause Some Troubles
– Patricia Bouyer, Patricia Bouyer
- 2002
|
|
1
|
Updatable Timed Automata, an Algorithmic Approach
– P. Bouyer, Patricia Bouyer
- 2001
|
|
1
|
A New Algorithm to Decide Emptiness of Updatable Timed Automata
– P. Bouyer, Patricia Bouyer
- 2000
|
|
1
|
A State Minimization Technique for Timed Automata
– Inhye Kang, Insup Lee, Young Si Kim, Taejon Korea
- 1996
|
|
2
|
CTSM: A Formalism for Real-Time System Analysis based on State-Space Exploration
– Inhye Kang
- 1995
|
|
1
|
An Efficient Generation of the Timed Reachability Graph for the Analysis of Real-Time Systems
– Inhye Kang, Insup Lee
- 1994
|
|
1
|
Refinement and Abstraction for Timed Languages
– B. Bérard, P. Gastin, A. Petit, Ecole Normale, Suprieure Cachan, Paul Gastin, Antoine Petit
- 1997
|
|
3
|
Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus
– Oleg Sokolsky
- 1996
|
|
1
|
Verification of Timed Automata Based on Similarity
– Piotr Dembinski, Piotr Dembi Nski, Agata Polrola, Wojciech Penczek, Agata P Ol/rola
- 2002
|
|
1
|
Reachability Analysis for Timed Automata Using Partitioning Algorithms
– Agata Pólrola, Agata P Ol/rola, Wojciech Penczek, Maciej Szreter
- 2003
|
|
5
|
Computing Delay with Coupling Using Timed Automata
– Serdar Tasiran, Yuji Kukimoto, Robert K. Brayton
- 1997
|
|
2
|
Automated incremental synthesis of timed automata
– Borzoo Bonakdarpour, Eep S. Kulkarni
- 2006
|
|
|
State Graph Manipulators (SGM) -- A High-Level Specification . . .
– Pao-Ann Hsiung , Farn Wang
- 1999
|
|
|
Timed automata -- From Theory to Implementation
– Patricia Bouyer
- 2003
|
|
6
|
A Compositional Translation of Stochastic Automata into Timed Automata
– Pedro R. D'Argenio, Pedro R. D’argenio
- 2000
|
|
9
|
A Calculus for Timed Automata (Extended Abstract)
– Pedro R. D'Argenio, Ed Brinksma
|
|
1
|
Hierarchical Modeling and Analysis of Timed Systems
– Alexandre David
- 2003
|
|
|
Systems by Constraint-Solving
– Wang Yi, Paul Pettersson, Mats Daniels
|
