wiki:Bibliography

Version 3 (modified by Christina Jansen, 11 years ago) (diff)

--

TracNav?

MRMC Bibliography

Here you can find all the publications on MRMC Tool and also other related publications:

Contents

Publications on MRMC

2008

  • Ivan Zapreev. Model Checking Markov Chains: Techniques and Tools. PhD Thesis, University of Twente, The Netherlands, 2008. PDF BibTex

2007

  • David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marioelle Stoelinga and Ivan Zapreev. How Fast and Fat Is Your Probabilistic Model Checker? In Haifa Verification Conference (HVC), 2007. PDF BibTex PPT
  • Joost-Pieter Katoen, Tim Kemna, Ivan Zapreev and David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007. PDF BibTex PPT