Version 5 (modified by Dr. Ivan S. Zapreev, 11 years ago) (diff)

Added a nice picture


MRMC Related

In this sections we are going to list research projects, publications and other data, related to MRMC, and carried out by scientists all over the world.


  1. Projects:
  2. Papers
  3. Presentations:
  4. Encyclopedia:


These are the projects that relate to MRMC:


  • Basic Research in Informatics for Creating the Knowledge Society (BRICKS). Project AFM7:MOQS: Modeling and Analysis of QoS for Component-Based Designs. LINK
  • Davide D’Aprile: Timed and Stochastic Model Checking of Petri Nets. PhD Thesis, 2007 PDF
  • Marcel Oldenkamp: Probabilistic model checking, A comparison of tools. Master Thesis, 2007 LINK


  • Tim Kemna: Bisimulation Minimisation and Probabilistic Model Checking. Master Thesis, 2006 PDF
  • Reachability analysis in continuous-time Markov decision processes. Master Thesis, 2006 LINK
  • Mark Kattenbelt: Towards an Explicit-State Model Checking Framework. Master Thesis, 2006 PS
  • Probabilistic Model Checking: Von den Grundlagen zum Tool - ein Vergleich zwischen PRISM und MRMC. Bachelor Thesis, 2006 LINK
  • Heuristics-Guided Dependability Analysis. Bachelor Thesis, 2006 LINK


  • Project Ametist: Analysis and Tools: Tools and Tool Interaction. PDF


These are the papers that reference MRMC:


  • J.-P. Katoen, D. Klink, M. Leucker, and V. Wolf. Three-valued abstraction for continuous-time Markov chains. In proceedings of 19’th International Conference on Computer-Aided Verification (CAV’07), volume 4590 of Lecture Notes in Computer Science, pages 316-329. Springer, 2007 PDF.GZ
  • A. Donaldson, A. Miller and D. Parker. GRIP: Generic Representatives in PRISM. In Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07). To appear. September 2007 PDF
  • R. De Nicola, J.-P. Katoen, D. Latella, M. Loreti, M. Massink: Model checking mobile stochastic logic. In Theoretical Computer Science, volume 382, issue 1, pages 42-70, Elsevier Science Publishers Ltd 2007
  • M. Kwiatkowska, G. Norman and D. Parker: Stochastic Model Checking. In Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation, volume 4486 of Lecture Notes in Computer Science (Tutorial Volume), pages 220-270, Springer. to appear, 2007 PDF
  • A. Aldini and M. Bernardo: Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures, to appear in Theoretical Computer Science PDF


  • D. Cerotti, D. D'Aprile, S. Donatelli and J. Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD '06 PS.GZ
  • Davide Cerotti, Susanna Donatelli, Andras Horvath and Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST '06 PS.GZ
  • Allan Clark and Stephen Gilmore: Evaluating quality of service for service level agreements. FMICS'06 PDF
  • Tamas Suto, Jeremy T. Bradley and William J. Knottenbelt: Performance Trees: A New Approach to Quantitative Performance Specification. MASCOTS '06 PDF
  • Muffy Calder, Stephen Gilmore, Jane Hillston, and Vladislav Vyshemirsky: Formal methods for biochemical signalling pathways. In BCS, 2006. To appear. PDF
  • Husain Aljazzar, Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability. FORMATS'06 PDF
  • Mirco Tribastone and Stephen Gilmore: A New Generation PEPA Workbench. PASTA'06 PDF


These are the presentations that reference MRMC:

  • Probabilistic Model Checking of Randomized Distributed Protocols using PRISM. PDF


These are the encyclopedia that reference MRMC: