2009
 
Joost-Pieter Katoen, E. Moritz Hahn, Holger Hermanns, David N. Jansen, and Ivan S. Zapreev. The Ins and Outs of the Probabilistic Model Checker MRMC. In Quantitative Evaluation of Systems (QEST). IEEE CS Press, 2009.
  Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, and Holger Hermanns. Synthesis and Stochastic Assessment of Cost-Optimal Schedules. Software Tools for Technology Transfer, to appear, 2009.

2008
  David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, and Ivan S. Zapreev. How fast and fat is your probabilistic model checker? An experimental comparison. In Hardware and Software: Verification and Testing (Haifa Verification Conference, HVC). pages 69–85. Volume 4899 of LNCS. Springer, 2008.
  Lijun Zhang, Friedrich Eisenbrand, Holger Hermanns, and David N. Jansen. Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. Logical Methods in Computer Science, 4(4), 2008.

2007
 
Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, and David N. Jansen. Bisimulation minimisation mostly speeds up probabilistic model checking.. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 76–92. Volume 4424 of Lecture Notes in Computer Science. Springer Verlag, 2007.
  Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, and David N. Jansen. Flow faster: efficient decision algorithms for probabilistic simulations. In Orna Grumberg, and Michael Huth, editors, Tools and algorithms for the construction and analysis of systems. pages 155–169. Volume 4424 of Lecture notes in computer science. Springer, 2007.

2006
 
Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, and Holger Hermanns. Synthesis and Stochastic Assessment of Cost-Optimal Schedules. Technical Report 06-14, University of Twente, 2006. ISSN 1381-3625.
 
Jasper Berendsen, David N. Jansen, and Joost-Pieter Katoen. Probably on time and within budget – On reachability in priced probabilistic timed automata. In Quantitative Evaluation of Systems (QEST). IEEE CS Press, 2006.

2003
  David N. Jansen, Holger Hermanns, and Joost-Pieter Katoen. A QoS-Oriented Extension of UML Statecharts. In Perdita Stevens, Jon Whittle, and Grady Booch, editors, The Unified Modeling Language (UML). pages 76–92. LNCS vol. 2863, Springer-Verlag, 2003.

2002
  David N. Jansen, Holger Hermanns, and Joost-Pieter Katoen. A probabilistic extension of UML statecharts – specification and verification. In Werner Damm, and Ernst-Rüdiger Olderog, editors, Formal Techniques for Real-Time and Fault-Tolerant systems (FTRTFT). pages 355–374. LNCS vol. 2469, Springer-Verlag, 2002.