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.
  Ralf Mitsching, Carsten Weise, André Kolbe, Henrik Bohnenkamp, and Norbert Berzen. Towards an industrial strength process for timed testing. In Proc. IEEE ICSTW 2009. pages 29–38. IEEE Computer Society, 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
 
Henrik Bohnenkamp, and Marielle Stoelinga. Quantitative Testing. Technical Report AIB-2008-02, RWTH Aachen, 2008.
  Henrik Bohnenkamp, and Marielle Stoelinga. Quantitative Testing. In Proceedings 8th ACMIEEE International Conference on Embedded Software (EMSOFT). pages 227–236. ACM Press, 2008.

2007
 
Henrik Bohnenkamp, Holger Hermanns, and Joost-Pieter Katoen. Motor: The MoDeST Tool Environment. In Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’07). pages 500–504. Volume 4424 of Lecture Notes in Computer Science. Springer-Verlag, 2007.
  Henrik Bohnenkamp, and Axel Belinfante. Timed Model-Based Testing. In Jan Tretmans, editor, Tangram: Model-based integration and testing of complex high-tech systems. pages 115–128. Embedded Systems Institute, The Netherlands, 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.
  Henrik Bohnenkamp, Pedro R. D’Argenio, Holger Hermanns, and Joost-Pieter Katoen. MoDeST: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering, 32(10):812–830, 2006.

2005
 
Henrik Bohnenkamp, and A. Belinfante. Timed Testing with TorX. In John Fitzgerald, Ian Hayes, and Andrzej Tarlecki, editors, Formal Methods 2005, Volume 3582 of LNCS. pages 173–188. Springer-Verlag, 2005.
 
Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, and Joost-Pieter Katoen. Are you still there? — A Lightweight Algorithm To Monitor Node Presence in Self-Configuring Networks. In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), pages 704–709. IEEE Computer Society, 2005.

2004
 
Henrik C. Bohnenkamp, Pedro R. D’Argenio, Holger Hermanns, and Joost-Pieter Katoen. MoDeST: A compositional modeling formalism for real-time and stochastic systems. Technical Report TR-CTIT-04-46, Centre for Telematics and Information Technology, University of Twente, 2004.
 
Joost-Pieter Katoen, Henrik Bohnenkamp, Ric Klaren, and Holger Hermanns. Embedded software analysis with MOTOR. In Marco Bernardo, and Flavio Corradini, editors, Formal Methods for the Design of Real-Time Systems (SFM-RT 2004). pages 268–294. LNCS vol. 3185, Springer-Verlag, 2004.
 
Henrik Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, and Yaroslav Usenko. Synthesis and stochastic assessment of schedules for lacquer production. In Quantitative Evaluation of Systems (QEST 2004). pages 28–37. IEEE Computer Society Press, 2004.

2003
 
Henrik Bohnenkamp, Peter van der Stok, Holger Hermanns, and Frits Vaandrager. Cost-optimization of the IPv4 Zeroconf protocol. In Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), pages 531–540. IEEE Computer Society Press, 2003.
  Henrik Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Vinh Vi Lam, and Bill Sanders. On integrating the Möbius and MoDeST modeling tools. In Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), pages 671–671. IEEE Computer Society Press, 2003.
 
Henrik Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, and Ric Klaren. The MoDeST Modeling Tool and its implementation. In Computer Performance Evaluation—Modelling Techniques and Tools (TOOLS 2003). Volume 2794 of LNCS. Springer-Verlag, 2003.

2002
  Henrik Bohnenkamp. Compositional Solution of Stochastic Process Algebra Models. PhD Thesis, Department of Computer Science, Rheinisch-Westfälische Technische Hochschule Aachen, Germany, 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.

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.

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.