Henrik C. Bohnenkamp

Publication Activity (10 Years)

Years Active: 1999-2011
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp
TripleT: Improving Test Responsiveness for High Performance Embedded Systems. ICST Workshops (2011)
Haidi Yue, Henrik C. Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen
Analysing and Improving Energy Efficiency of Distributed Slotted Aloha. NEW2AN (2011)
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. Ind. Informatics 6 (3) (2010)
Haidi Yue, Henrik C. Bohnenkamp, Joost-Pieter Katoen
Analyzing Energy Consumption in a Gossiping MAC Protocol. MMB/DFT (2010)
Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns
Synthesis and stochastic assessment of cost-optimal schedules. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz
A Conformance Testing Relation for Symbolic Timed Automata. FORMATS (2010)
Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen
Maximizing system lifetime by battery scheduling. DSN (2009)
Ralf Mitsching, Carsten Weise, André Kolbe, Henrik C. Bohnenkamp, Norbert Berzen
Towards an Industrial Strength Process for Timed Testing. ICST Workshops (2009)
Henrik C. Bohnenkamp, Mariëlle Stoelinga
Quantitative testing. EMSOFT (2008)
Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
motor: The modestTool Environment. TACAS (2007)
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) (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)
Henrik C. Bohnenkamp, Axel Belinfante
Timed Testing with TorX. FM (2005)
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)
Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST (2004)
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
Embedded Software Analysis with MOTOR. SFM (2004)
Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS (2003)
Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager
Cost-Optimization of the IPv4 Zeroconf Protocol. DSN (2003)
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)
Henrik C. Bohnenkamp, Boudewijn R. Haverkort
The Mean Value of the Maximum. PAPM-PROBMIV (2002)
Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. PAPM-PROBMIV (2001)
Henrik C. Bohnenkamp, Boudewijn R. Haverkort
Semi-numerical Solution of Stochastic Process Algebra Models. ARTS (1999)
Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. PNPM (1999)

Henrik C. Bohnenkamp.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Henrik C. Bohnenkamp