Symbolic Model Checking for Real-time Systems (1992)

Cached

Download Links

by Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , Sergio Yovine
Venue:Information and Computation
Citations:477 - 47 self

Active Bibliography

6 Reduction of timed hybrid systems – S. Di Gennaro, C. Horn, S. R. Kulkarni - 1994
1 Modeling, Verification and Testing using Timed and Hybrid Automata – Stavros Tripakis, Thao Dang
1 Timed Automata for the Development of Real-Time Systems – Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie - 2011
598 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
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
3 Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus – Oleg Sokolsky - 1996
State Graph Manipulators (SGM) -- A High-Level Specification . . . – Pao-Ann Hsiung , Farn Wang - 1999
Systems by Constraint-Solving – Wang Yi, Paul Pettersson, Mats Daniels
1 A new method for transforming timed automata – Ahmed Khoumsi, Lucien Ouedraogo - 2004
20 An efficient state space generation for the analysis of real-time systems – Inhye Kang, Insup Lee, Young-si Kim, Inhye Kang, Insup Lee, Senior Member, Young-si Kim - 1996
39 Time Abstracted Bisimulation: Implicit Specifications and Decidability – Kim G. Larsen, Yi Wang - 1997
2 Hierarchical Modeling and Analysis of Timed Systems – Alexandre David - 2003
22 Extending promela and spin for real time – Stavros Tripakis, Costas Courcoubetis - 1996
25 User-Friendly Verification – Pao-Ann Hsiung, Farn Wang - 1999
58 Model checking timed automata – Sergio Yovine - 1998
Model Checking Functional and Performability Properties of Stochastic Fluid Models 1 Abstract – Marco Gribaudo, András Horváth
Essential Reading: Theory of Timed and Hybrid Systems – R. Ramanujam, Paritosh K. Pandya, Afh R. Alur, T. Feder, Hkpv T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya What's Decidable - 1997