2010
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Performance Evaluation and Model Checking Join Forces. Communications of the ACM, , 2010.
  Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Performability Assessment by Model Checking of Markov Reward Models. Formal Methods in Systems Design, , 2010.

2009
 
Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, and Joost-Pieter Katoen. Maximizing System Lifetime by Battery Scheduling. In Proc. DSN 2009, IEEE Computer Society, 2009.
 
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, and Joost-Pieter Katoen. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. In Quantitative Evaluation of Systems (QEST). IEEE CS Press, 2009.

2008
 
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes. In Erich Graedel, Joerg Flum, and Thomas Wilke, editors, Logic and Automata: History and Perspectives. pages 53–72. Volume 2 of Texts in Logics and Games. Amsterdam University Press, 2008.

2005
 
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review, 32(4):10–15, 2005.
  Christel Baier, Holger Hermanns, Joost-Pieter Katoen, and Boudewijn R. Haverkort. Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science, 345(1):2–26, 2005.

2004
  Giuliana Franceschinis, Boudewijn R. Haverkort, Joost-Pieter Katoen, and Murray Woodside, editors, Proceedings of the First Int. Conf. on Quantitative Evaluation of Systems (QEST), IEEE CS Press, 2004.
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, and Markus Siegle. Validation of Stochastic Systems. Lecture Notes in Computer Science, 465 pages, 2925, 2004.
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Efficient computation of maximal timed reachability probabilities in uniform continuous-time Markov decision processes. In K. Jensen, and A. Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pages 61–76. LNCS vol. 2988, Springer-Verlag, 2004.

2003
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29(6):524–541, 2003.

2002
  Henrik Bohnenkamp, and Boudewijn R. Haverkort. The Mean Value of the Maximum. In Holger Hermanns, and Roberto Segala, editors, Process Algebra and Probabilistic Methods (PAPM-ProbmiV 2002), Volume 2399 of Lecture Notes in Computer Science. pages 37–56. Springer Verlag, 2002.
  Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, and Christel Baier. Model checking performability properties. In Dependable Systems and Networks (DSN). pages 103–113. IEEE CS Press, 2002.
  Christel Baier, Joost-Pieter Katoen, Holger Hermanns, and Boudewijn R. Haverkort. Simulation for continuous-time Markov chains. In Lubos Brim, Petr Jancar, Mojmír Kretínský, and Antonín Kucera, editors, Concurrency Theory (CONCUR). pages 338–354. LNCS vol. 2421, Springer-Verlag, 2002.
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking. In Mariacarla Calzarossa, and Salvatore Tucci, editors, Computer Performance Evaluation. pages 261–289. LNCS vol. 2459, Springer-Verlag, 2002.

2001
  Lucia Cloth, Henrik Bohnenkamp, and Boudewijn R. Haverkort. Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In Luca de Alfaro, and Stephen Gilmore, editors, Process Algebra and Probabilistic Methods (PAPM-ProbmiV 2001), Volume 2165 of Lecture Notes in Computer Science. Springer Verlag, 2001.

2000
  Boudewijn R. Haverkort, Henrik C. Bohnenkamp, and Connie U. Smith, editors, Computer Performance Evaluation—Modelling Techniques and Tools (Proceedings TOOLS 2000), Springer Verlag, 2000.
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. On the logical characterisation of performability properties. In Ugo Montanari, José D.P. Rolim, and Emo Welzl, editors, Automata, Languages and Programming (ICALP). pages 780–792. LNCS vol. 1853, Springer-Verlag, 2000.
  Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. The use of model checking techniques for quantitative dependability evaluation. In IEEE Symposium on Reliable Distributed Systems (SRDS). pages 228–238. IEEE CS Press, 2000.
  Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen. Model checking continuous-time Markov chains by transient analysis. In Allen E. Emerson, and Prasad A. Sistla, editors, Computer-Aided Verification (CAV). pages 358–372. LNCS vol. 1855, Springer, 2000.

1999
  Boudewijn R. Haverkort, Alexander Bell, and Henrik Bohnenkamp. On the efficient sequential and distributed Evaluation of very large stochastic Petri nets. In Peter Buchholz, and Manuel Silva, editors, Proceedings of the Eighth International Workshop on Petri Nets and Performance Models, pages 12–21. IEEE Computer Society Press, 1999.
  Henrik Bohnenkamp, and Boudewijn R. Haverkort. Stochastic event structures for the decomposition of stochastic process algebra models. In Jane Hillston, and Manuel Silva, editors, Proceedings of the Seventh International Workshop on Process Algebras and Performance Modelling (PAPM ’99), pages 25–39. Prensas Universitarias de Zaragoza, 1999.
  Henrik C. Bohnenkamp, and Boudewijn R. Haverkort. Semi-Numerical Solution of Stochastic Process Algebra Models. In Joost-Pieter Katoen, editor, Proceedings of the 5th International AMAST Workshop, ARTS ’99, Volume 1601 of Lecture Notes in Computer Science. pages 228–243. Springer-Verlag, 1999.