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

Documents Related by Co-Citation

200 Model Checking of Probabilistic and Nondeterministic Systems – Andrea Bianco, Luca De Alfaro - 1995
162 M.: The complexity of probabilistic verification – C Courcoubetis, Yannakakis - 1995
68 S.: Axiomatizing probabilistic processes: ACP with generative probabilities – J Bergstra, J Baeten, Smolka - 1995
52 Testing preorders for probabilistic processes – R Cleaveland, S Smolka, A Zwarico - 1992
34 A Logical Characterization of Bisimulation for Labeled Markov Processes – Jos'ee Desharnais, Abbas Edalat, Prakash Panangaden - 1998
597 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
47 Compositional Testing Preorders for Probabilistic Processes – Bengt Jonsson, Wang Yi - 1995
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
148 Time and probability in formal design of distributed systems – H A Hansson - 1994
83 Symbolic model checking for probabilistic processes – Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-garmhausen, Marta Kwiatkowska, Mark Ryan - 1997
94 Algebraic Reasoning for Probabilistic Concurrent Systems – Alessandro Giacalone, Chi-chang Jou, Scott A. Smolka - 1990
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
73 Equivalences, Congruences and Complete Axiomatizations of Probabilistic Processes – C-C Jou, S A Smolka - 1990
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
175 Diagnosis with behavioral modes – J de Kleer, B C Williams - 1989
61 Quantitative Analysis and Model Checking – Michael Huth, Marta Kwiatkowska - 1997
19 Probabilistic propositional temporal logic – S Hart, M Sharir - 1986
95 A calculus for communicating systems with time and probabilities – H Hansson, B Jonsson - 1985
762 Design and Validation of Computer Protocols – G Holzmann - 1991