Changes between Version 8 and Version 9 of Bibliography


Ignore:
Timestamp:
Jun 19, 2008, 12:18:35 PM (10 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Bibliography

    v8 v9  
    1010
    1111==== 2008 ====
    12  * Ivan Zapreev. Model Checking Markov Chains: Techniques and Tools. PhD Thesis, University of Twente, The Netherlands, 2008. [attachment: PDF] [attachment: BibTex]
     12 * Ivan Zapreev. Model Checking Markov Chains: Techniques and Tools. PhD Thesis, University of Twente, The Netherlands, 2008. [http://www.mrmc-tool.org/downloads/Paper/Zapreev_PhD08.pdf PDF] [http://www.mrmc-tool.org/downloads/BibTex/Zapreev_PhD08.bib BibTex]
    1313
    1414==== 2007 ====
    15  * 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. [attachment: PDF] [attachment: BibTex] [attachment: PPT]
    16  * 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. [attachment: PDF] [attachment: BibTex] [attachment: PPT]
     15 * 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. [http://www.mrmc-tool.org/downloads/Paper/JansenKOSZ_HVC07.pdf PDF] [http://www.mrmc-tool.org/downloads/BibTex/JansenKOSZ_HVC07.bib BibTex] [http://www.mrmc-tool.org/downloads/Present/JansenKOSZ_HVC07.pps PPT]
     16 * 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. [http://www.mrmc-tool.org/downloads/Paper/KatoenKZJ_TACAS07.pdf PDF] [http://www.mrmc-tool.org/downloads/BibTex/KatoenKZJ_TACAS07.bib BibTex] [http://www.mrmc-tool.org/downloads/Present/tacas_2007_03_26.pdf PPT]
    1717
    1818==== 2006 ====
    19  * J.-P. Katoen and I. S. Zapreev. Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. In Quantitative Evaluation of Systems (QEST), pages 301-310, 2006. [attachment: PDF] [attachment: BibTex] [attachment: PPT]
     19 * J.-P. Katoen and I. S. Zapreev. Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. In Quantitative Evaluation of Systems (QEST), pages 301-310, 2006. [http://www.mrmc-tool.org/downloads/Paper/KatoenZ_QEST06.pdf PDF] [http://www.mrmc-tool.org/downloads/BibTex/KatoenZ_QEST06.bib BibTex] [http://www.mrmc-tool.org/downloads/Present/KatoenZ_QEST06_pre.pdf PPT]
    2020
    2121==== 2005 ====
    22  * J.-P. Katoen and I. S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability. Technical Report TR-CTIT-05-52, CTIT, University of Twente, 2005. [attachment: PDF] [attachment: BibTex]
    23  * J.-P. Katoen, M. Khattri, and I. S. Zapreev. A Markov reward model checker. In Quantitative Evaluation of Systems (QEST), pages 243-244, 2005. [attachment: PDF] [attachment: BibTex] [attachment: PPT]
     22 * J.-P. Katoen and I. S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability. Technical Report TR-CTIT-05-52, CTIT, University of Twente, 2005. [http://www.mrmc-tool.org/downloads/Paper/KatoenZ_CTIT05_52.pdf PDF] [http://www.mrmc-tool.org/downloads/BibTex/KatoenZ_CTIT05_52.bib BibTex]
     23 * J.-P. Katoen, M. Khattri, and I. S. Zapreev. A Markov reward model checker. In Quantitative Evaluation of Systems (QEST), pages 243-244, 2005. [http://www.mrmc-tool.org/downloads/Paper/KatoenKZ_QEST05.pdf PDF] [http://www.mrmc-tool.org/downloads/BibTex/KatoenKZ_QEST05.bib BibTex] [http://www.mrmc-tool.org/downloads/Present/KatoenKZ_QEST05_pre.pdf PPT]
    2424
    2525=== Related publications ===