TracNav?

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.

Content:

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

Projects:

These are the projects that relate to MRMC:

2007

• 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

2006

• 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

2005

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

Papers

These are the papers that reference MRMC:

2007

• 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​

2006

• 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​

Presentations:

These are the presentations that reference MRMC:

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

Encyclopedia:

These are the encyclopedia that reference MRMC:

• YAHODA. ​LINK