Ivan S. Zapreev

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 2

Top Venues

ADHS

CoRR

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.
Optimal Symbolic Controllers Determinization for BDD storage. ADHS (2018)
Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.
Optimal Symbolic Controllers Determinization for BDD storage. CoRR (2018)
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
The ins and outs of the probabilistic model checker MRMC. Perform. Evaluation 68 (2) (2011)
Pieter Collins, Ivan S. Zapreev
on Discrete-Time and Continuous-Space Dynamic Systems. Int. J. Found. Comput. Sci. 22 (4) (2011)
Pieter Collins, Ivan S. Zapreev
Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. RP (2009)
Joost-Pieter Katoen, Ivan S. Zapreev
Simulation-Based CTMC Model Checking: An Empirical Evaluation. QEST (2009)
Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen
The Ins and Outs of the Probabilistic Model Checker MRMC. QEST (2009)
David 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)
Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. TACAS (2007)
Joost-Pieter Katoen, Ivan S. Zapreev
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. QEST (2006)
Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev
A Markov Reward Model Checker. QEST (2005)

Ivan S. Zapreev.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ivan S. Zapreev