State Minimization for Concurrent System Analysis Based on State Space Exploration (1994)

Cached

Download Links

by Inhye Kang , Insup Lee
Venue:In Proceedings of Conference on Computer Assurance
Citations:12 - 8 self

Active Bibliography

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
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
Systems by Constraint-Solving – Wang Yi, Paul Pettersson, Mats Daniels
6 Reduction of timed hybrid systems – S. Di Gennaro, C. Horn, S. R. Kulkarni - 1994
Reachability Analysis for Timed Automata Using Partitioning Algorithms – Agata Półrola, Wojciech Penczek, Maciej Szreter - 2003