EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Zapreev, I.S.
Home Policy Brochure Browse Search User Area Contact Help

2011

Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance evaluation, 68 (2). pp. 90-104. ISSN 0166-5316 *** ISI Impact 0,944 ***

2009

Katoen, J.P. and Zapreev, I.S. (2009) Simulation-based CTMC Model Checking: An Empirical Evaluation. In: Sixth International Conference on the Quantitative Evaluation of Systems, 13-16 Sept 2009, Budapest, Hungary. pp. 31-40. IEEE Computer Society. ISBN 978-1-42444-942-2
Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2009) The Ins and Outs of the Probabilistic Model Checker MRMC. In: Sixth International Conference on the Quantitative Evaluation of Systems, 13-16 Sept 2009, Budapest, Hungary. pp. 167-176. IEEE Computer Society. ISBN 978-1-42444-942-2

2008

Jansen, D.N. and Katoen, J.P. and Oldenkamp, M. and Stoelinga, M.I.A. and Zapreev, I.S. (2008) How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007, 23-25 Oct 2007, Haifa, Israel. pp. 69-85. Lecture Notes in Computer Science 4899. Springer Verlag. ISBN 978-3-540-77964-3
Zapreev, I.S. (2008) Model Checking Markov Chains: Techniques and Tools. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-113 ISBN 978-90-8570-298-6

2007

Katoen, J.P. and Kemna, T. and Zapreev, I.S. and Jansen, D.N. (2007) Bisimulation minimisation mostly speeds up probabilistic model checking. In: Tools and algorithms for the construction and analysis of systems, 24 Mar-1 Apr 2007, Braga, Portugal. pp. 87-101. Lecture notes in computer science 4424. Springer. ISBN 978-3-540-71208-4

2006

Katoen, J.P. and Zapreev, I.S. (2006) Safe on-the-fly steady-state detection for time-bounded reachability. In: Quantitative Evaluation of Systems (QEST), Riverside, US. pp. 301-310. IEEE Computer Society. ISBN 0-7695-2665-9

2005

Katoen, J.P. and Khattri, M. and Zapreev, I.S. (2005) A Markov reward model checker. In: 2nd Int. Conf. on Quantitative Evaluation of Systems, Turin, Italy. pp. 243-245. IEEE Computer Society. ISBN 0 7695 2427 3
Katoen, J.P. and Zapreev, I.S. (2005) Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. Technical Report TR-CTIT-05-52, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625