Model Checking of Real-Time Systems: A Telecommunications Application (1997)

by Rajeev Alur , Lalita Jategaonkar Jagadeesan , Joseph J. Kott , James E. Von Olnhausen
Venue:IN PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
Citations:18 - 1 self

Active Bibliography

1978 A theory of timed automata – Rajeev Alur - 1999
59 On probabilistic model checking – Marta Kwiatkowska, Gethin Norman, David Parker - 1996
5 Modeling and analysis of hybrid systems – Franjo Ivančić - 2003
52 Implementation of Symbolic Model Checking for Probabilistic Systems – David Anthony Parker - 2002
156 MOCHA: Modularity in Model Checking – Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, S. Tasiran - 1998
1 SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA – Fuzhi Wang - 2006
4 Specification and Analysis of Real-Time Systems with PARAGON – Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah - 1999
79 Model checking of hierarchical state machines – Rajeev Alur
23 Efficient reachability analysis of hierarchical reactive machines – R. Alur, R. Grosu, M. Mcdougall - 2000
483 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
40 Verifying Abstractions of Timed Systems – Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton - 1996
7 Bounded Model Checking for GSMP Models of Stochastic Real-time Systems – Rajeev Alur, Mikhail Bernadsky - 2006
Projectagon-Based Reachability Analysis for Circuit-Level Formal Verification – Chao Yan - 2011
3 Reachability Analysis of Hybrid Systems using Counter-Example Guided Predicate Abstraction – Rajeev Alur, Franjo Ivancic, Thao Dang, Centre Équation - 2002
32 Counter-Example Guided Predicate Abstraction of Hybrid Systems – Rajeev Alur, Thao Dang, Franjo Ivancic - 2003
56 Hierarchical Modeling and Analysis of Embedded Systems – Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky - 2003
17 Predicate abstraction for reachability analysis of hybrid systems – Rajeev Alur - 2006
9 Analysing randomized distributed algorithms – Gethin Norman - 2004
6 Membership Questions for Timed and Hybrid Automata – R. Alur, R.P. Kurshan, M. Viswanathan - 1998