dblp.uni-trier.dewww.uni-trier.de

Ivan S. Zapreev

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEDavid N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev: How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Haifa Verification Conference 2007: 69-85
3EEJoost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen: Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. TACAS 2007: 87-101
2006
2EEJoost-Pieter Katoen, Ivan S. Zapreev: Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. QEST 2006: 301-310
2005
1EEJoost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev: A Markov Reward Model Checker. QEST 2005: 243-244

Coauthor Index

1David N. Jansen [3] [4]
2Joost-Pieter Katoen [1] [2] [3] [4]
3Tim Kemna [3]
4Maneesh Khattri [1]
5Marcel Oldenkamp [4]
6Mariëlle Stoelinga [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)