Henrik C. Bohnenkamp

25 papers A 5B 1Misc 1Journal 3Unranked 13

Year	Rank	Type	Title / Venue / Authors
2011	—	`conf`	Analysing and Improving Energy Efficiency of Distributed Slotted Aloha. NEW2AN Haidi Yue, Henrik C. Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen
2011	—	`conf`	TripleT: Improving Test Responsiveness for High Performance Embedded Systems. ICST Workshops Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp
2010	—	`conf`	A Conformance Testing Relation for Symbolic Timed Automata. FORMATS Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz
2010	—	`conf`	Analyzing Energy Consumption in a Gossiping MAC Protocol. MMB/DFT Haidi Yue, Henrik C. Bohnenkamp, Joost-Pieter Katoen
2010	J	`jnl`	Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Ind. Informatics Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen
2010	J	`jnl`	Synthesis and stochastic assessment of cost-optimal schedules. Int. J. Softw. Tools Technol. Transf. Angelika Mader, Henrik C. Bohnenkamp, Yaroslav S. Usenko, David N. Jansen, Johann L. Hurink, Holger Hermanns
2009	A	`conf`	Maximizing system lifetime by battery scheduling. DSN Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen
2009	—	`conf`	Towards an Industrial Strength Process for Timed Testing. ICST Workshops Ralf Mitsching, Carsten Weise, André Kolbe, Henrik C. Bohnenkamp, Norbert Berzen
2008	Misc	`conf`	Quantitative testing. EMSOFT Henrik C. Bohnenkamp, Mariëlle Stoelinga
2007	A	`conf`	motor: The modestTool Environment. TACAS Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
2006	J	`jnl`	MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. IEEE Trans. Software Eng. Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
2005	A	`conf`	Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. DSN Henrik C. Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen
2005	B	`conf`	Timed Testing with TorX. FM Henrik C. Bohnenkamp, Axel Belinfante
2004	—	`conf`	An industrial-strength formal method -- A Modest survey. ISoLA (Preliminary proceedings) Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko
2004	—	`conf`	Embedded Software Analysis with MOTOR. SFM Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
2004	—	`conf`	Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
2003	A	`conf`	Cost-Optimization of the IPv4 Zeroconf Protocol. DSN Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager
2003	A	`conf`	On Integrating the MÖBIUS and MODEST Modeling Tools. DSN Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders
2003	—	`conf`	The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
2002	—	`—`	Compositional solution of stochastic process algebra models. Henrik C. Bohnenkamp
2002	—	`conf`	The Mean Value of the Maximum. PAPM-PROBMIV Henrik C. Bohnenkamp, Boudewijn R. Haverkort
2001	—	`conf`	Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. PAPM-PROBMIV Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort
2000	—	`ed.`	Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings Computer Performance Evaluation / TOOLS Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith
1999	—	`conf`	On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. PNPM Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp
1999	—	`conf`	Semi-numerical Solution of Stochastic Process Algebra Models. ARTS Henrik C. Bohnenkamp, Boudewijn R. Haverkort