Henrik C. Bohnenkamp

Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp: TripleT: Improving Test Responsiveness for High Performance Embedded Systems. ICST Workshops 2011: 67-74

Haidi Yue, Henrik C. Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen: Analysing and Improving Energy Efficiency of Distributed Slotted Aloha. NEW2AN 2011: 197-208

Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann Hurink, Holger Hermanns: Synthesis and stochastic assessment of cost-optimal schedules. STTT 12(5): 305-318 (2010)

Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen: Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Industrial Informatics 6(3): 276-286 (2010)

Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz: A Conformance Testing Relation for Symbolic Timed Automata. FORMATS 2010: 243-255

Haidi Yue, Henrik C. Bohnenkamp, Joost-Pieter Katoen: Analyzing Energy Consumption in a Gossiping MAC Protocol. MMB/DFT 2010: 107-119

Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen: Maximizing system lifetime by battery scheduling. DSN 2009: 63-72

Ralf Mitsching, Carsten Weise, André Kolbe, Henrik C. Bohnenkamp, Norbert Berzen: Towards an Industrial Strength Process for Timed Testing. ICST Workshops 2009: 29-38

Henrik C. Bohnenkamp, Mariëlle Stoelinga: Quantitative testing. EMSOFT 2008: 227-236

Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen: motor: The modestTool Environment. TACAS 2007: 500-504

Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen: MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. 32(10): 812-830 (2006)

Henrik C. Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen: Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. DSN 2005: 704-709

Henrik C. Bohnenkamp, Axel Belinfante: Timed Testing with TorX. FM 2005: 173-188

Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko: An industrial-strength formal method -- A Modest survey. ISoLA (Preliminary proceedings) 2004: 284-295

Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko: Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST 2004: 28-37

Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns: Embedded Software Analysis with MOTOR. SFM 2004: 268-294

Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS 2003: 116-133

Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager: Cost-Optimization of the IPv4 Zeroconf Protocol. DSN 2003: 531-540

Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders: On Integrating the MÖBIUS and MODEST Modeling Tools. DSN 2003: 671

Henrik C. Bohnenkamp: Compositional solution of stochastic process algebra models. Universität Aachen 2002, pp. I-X, 1-220

Henrik C. Bohnenkamp, Boudewijn R. Haverkort: The Mean Value of the Maximum. PAPM-PROBMIV 2002: 37-56

Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort: Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. PAPM-PROBMIV 2001: 152-167

Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (Eds.): Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings. Lecture Notes in Computer Science 1786, Springer 2000, isbn 3-540-67260-5

Henrik C. Bohnenkamp, Boudewijn R. Haverkort: Semi-numerical Solution of Stochastic Process Algebra Models. ARTS 1999: 228-243