Ivan S. Zapreev

According to our database, Ivan S. Zapreev authored at least 10 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Optimal Symbolic Controllers Determinization for BDD storage.

Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2011

The ins and outs of the probabilistic model checker MRMC.

Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen

Perform. Evaluation, 2011

Computable Semantics for <i>CTL*</i> on Discrete-Time and Continuous-Space Dynamic Systems.

Pieter Collins, Ivan S. Zapreev

Int. J. Found. Comput. Sci., 2011

2009

Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems.

Pieter Collins, Ivan S. Zapreev

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

Simulation-Based CTMC Model Checking: An Empirical Evaluation.

Joost-Pieter Katoen, Ivan S. Zapreev

Proceedings of the QEST 2009, 2009

2008

Model checking Markov chains : techniques and tools.

Ivan S. Zapreev

PhD thesis, 2008

2007

Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.

Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.

David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.

Joost-Pieter Katoen, Ivan S. Zapreev

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

A Markov Reward Model Checker.

Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005