Henrik C. Bohnenkamp

According to our database, Henrik C. Bohnenkamp authored at least 24 papers between 1999 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Analysing and Improving Energy Efficiency of Distributed Slotted Aloha.

Haidi Yue, Henrik C. Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen

Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011

TripleT: Improving Test Responsiveness for High Performance Embedded Systems.

Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Computing Optimal Schedules for battery Usage in Embedded Systems.

Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen

IEEE Trans. Ind. Informatics, 2010

Synthesis and stochastic assessment of cost-optimal schedules.

Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns

Int. J. Softw. Tools Technol. Transf., 2010

Analyzing Energy Consumption in a Gossiping MAC Protocol.

Haidi Yue, Henrik C. Bohnenkamp, Joost-Pieter Katoen

Proceedings of the Measurement, 2010

A Conformance Testing Relation for Symbolic Timed Automata.

Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2009

Towards an Industrial Strength Process for Timed Testing.

Ralf Mitsching, Carsten Weise, André Kolbe, Henrik C. Bohnenkamp, Norbert Berzen

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Maximizing system lifetime by battery scheduling.

Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Quantitative testing.

Henrik C. Bohnenkamp, Mariëlle Stoelinga

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2007

motor: The modestTool Environment.

Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.

Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen

IEEE Trans. Software Eng., 2006

2005

Timed Testing with TorX.

Henrik C. Bohnenkamp, Axel Belinfante

Proceedings of the FM 2005: Formal Methods, 2005

Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks.

Henrik C. Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Embedded Software Analysis with MOTOR.

Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Synthesis and Stochastic Assessment of Schedules for Lacquer Production.

Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

An industrial-strength formal method -- A Modest survey.

Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Cost-Optimization of the IPv4 Zeroconf Protocol.

Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

On Integrating the MÖBIUS and MODEST Modeling Tools.

Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

The Modest Modeling Tool and Its Implementation.

Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren

Proceedings of the Computer Performance Evaluations, 2003

2002

The Mean Value of the Maximum.

Henrik C. Bohnenkamp, Boudewijn R. Haverkort

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Compositional solution of stochastic process algebra models.

Henrik C. Bohnenkamp

PhD thesis, 2002

2001

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.

Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort

Proceedings of the Process Algebra and Probabilistic Methods, 2001

1999

On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets.

Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Semi-numerical Solution of Stochastic Process Algebra Models.

Henrik C. Bohnenkamp, Boudewijn R. Haverkort

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999