Ivan S. Zapreev

12 papers A 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2018 — conf
Optimal Symbolic Controllers Determinization for BDD storage.
ADHS
Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.
2018 J jnl
Optimal Symbolic Controllers Determinization for BDD storage.
CoRR
Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.
2011 J jnl
Computable Semantics for
Int. J. Found. Comput. Sci.
Pieter Collins, Ivan S. Zapreev
2011 J jnl
The ins and outs of the probabilistic model checker MRMC.
Perform. Evaluation
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
2009 — conf
Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems.
RP
Pieter Collins, Ivan S. Zapreev
2009 — conf
Simulation-Based CTMC Model Checking: An Empirical Evaluation.
QEST
Joost-Pieter Katoen, Ivan S. Zapreev
2009 — conf
The Ins and Outs of the Probabilistic Model Checker MRMC.
QEST
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
2008 — —
Model checking Markov chains : techniques and tools.
Ivan S. Zapreev
2007 A conf
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.
TACAS
Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen
2007 — conf
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.
Haifa Verification Conference
David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev
2006 — conf
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.
QEST
Joost-Pieter Katoen, Ivan S. Zapreev
2005 — conf
A Markov Reward Model Checker.
QEST
Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev