wiki:Related

Version 4 (modified by Christina Jansen, 10 years ago) (diff)

--

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: