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:17 - 1 self

Documents Related by Co-Citation

172 Model Checking of Probabilistic and Nondeterministic Systems – Andrea Bianco, Luca De Alfaro - 1995
66 Axiomatizing probabilistic processes: ACP with generative probabilities – J C M Baeten, J A Bergstra, S A Smolka - 1995
46 Compositional Testing Preorders for Probabilistic Processes – Bengt Jonsson, Wang Yi - 1995
50 Testing preorders for probabilistic processes – R Cleaveland, Z Dayar, S A Smolka, S Yuen - 1999
120 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
29 A Logical Characterization of Bisimulation for Labeled Markov Processes – Jos'ee Desharnais, Abbas Edalat, Prakash Panangaden - 1998
523 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
141 Time and probability in formal design of distributed systems – H Hansson - 1991
71 Symbolic model checking for probabilistic processes – Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-garmhausen, Marta Kwiatkowska, Mark Ryan, Universität Mannheim - 1997
89 Algebraic Reasoning for Probabilistic Concurrent Systems – Alessandro Giacalone, Chi-chang Jou, Scott A. Smolka - 1990
69 Equivalences, congruences, and complete axiomatizations for probabilistic processes – C-C Jou, S A Smolka - 1990
69 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
129 The complexity of probabilistic verification – C Courcoubetis, M Yannakakis - 1995
16 Probabilistic propositional temporal logics – Sergiu Hart, Micha Sharir - 1986
88 A calculus for communicating systems with time and probabilities – H Hansson, B Jonsson - 1990
57 Quantitative Analysis and Model Checking – Michael Huth, Marta Kwiatkowska - 1997
108 G.: A probabilistic powerdomain of evaluations – C Jones, Plotkin - 1989
154 Diagnosis with behavioral modes – J de Kleer, B C Williams - 1989
732 The Design and Validation of Computer Protocols – Gerard Holzmann - 1991