Concepedia

Ivan S. Zapreev

IS

4

Publications

306

Citations

4

H-Index

2006

Active since

Affiliations

RWTH Aachen University(Current)

University of Twente

Centrum Wiskunde & Informatica

Ivan S. Zapreev is an author at RWTH Aachen University specializing in formal methods, formal verification, and systems engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringReliability EngineeringSignal ProcessingSimulation

Publications per year

2006–2018

4

Publications

4

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn et al. · Performance Evaluation · 2010 · 247 citations

Engineering, Uncertainty Quantification, Automated Reasoning +10

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

Ivan S. Zapreev, Joost-Pieter Katoen, Ivan S. Zapreev et al. · 2006 · 30 citations

Stochastic Hybrid System, Reachability Analysis, Reliability Engineering +14

Simulation-Based CTMC Model Checking: An Empirical Evaluation

Joost-Pieter Katoen, Ivan S. Zapreev · 2009 · 18 citations

Engineering, Verification, Computer-aided Verification +21

Optimal symbolic controllers determinization for BDD storage<sup>⁎</sup>

Ivan S. Zapreev, Cees F. Verdier, Manuel Mazo · Research Repository (Delft University of Technology) · 2018 · 11 citations

Rows per page

1–4 of 4