Henrik C. Bohnenkamp

	2011
22		Haidi Yue, Henrik C. Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen: Analysing and Improving Energy Efficiency of Distributed Slotted Aloha. NEW2AN 2011: 197-208
	2010
21		Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz: A Conformance Testing Relation for Symbolic Timed Automata. FORMATS 2010: 243-255
20		Haidi Yue, Henrik C. Bohnenkamp, Joost-Pieter Katoen: Analyzing Energy Consumption in a Gossiping MAC Protocol. MMB/DFT 2010: 107-119
19		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)
18		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)
	2009
17		Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen: Maximizing system lifetime by battery scheduling. DSN 2009: 63-72
	2008
16		Henrik C. Bohnenkamp, Mariëlle Stoelinga: Quantitative testing. EMSOFT 2008: 227-236
	2007
15		Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen: motor: The modestTool Environment. TACAS 2007: 500-504
	2006
14		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)
	2005
13		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
12		Henrik C. Bohnenkamp, Axel Belinfante: Timed Testing with TorX. FM 2005: 173-188
	2004
11		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
10		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
9		Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns: Embedded Software Analysis with MOTOR. SFM 2004: 268-294
	2003
8		Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS 2003: 116-133
7		Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager: Cost-Optimization of the IPv4 Zeroconf Protocol. DSN 2003: 531-540
6		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
	2002
5		Henrik C. Bohnenkamp, Boudewijn R. Haverkort: The Mean Value of the Maximum. PAPM-PROBMIV 2002: 37-56
4		Henrik C. Bohnenkamp: Compositional solution of stochastic process algebra models. Universität Aachen 2002: I-X, 1-220
	2001
3		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
	2000
2		Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith: Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings Springer 2000
	1999
1		Henrik C. Bohnenkamp, Boudewijn R. Haverkort: Semi-numerical Solution of Stochastic Process Algebra Models. ARTS 1999: 228-243

Coauthor Index

1	Axel Belinfante	[12]
2	Lucia Cloth	[3]
3	Tod Courtney	[6]
4	Pedro R. D'Argenio	[14]
5	David Daly	[6]
6	Salem Derisavi	[6]
7	Johan Gorter	[13]
8	Jarno Guidi	[13]
9	Boudewijn R. Haverkort	[1] [2] [3] [5] [17] [19]
10	Holger Hermanns	[6] [7] [8] [9] [10] [11] [14] [15] [18]
11	Johann Hurink (Johann L. Hurink)	[18]
12	David N. Jansen	[11] [18]
13	Marijn R. Jongerden	[17] [19]
14	Malte Kampschulte	[22]
15	Joost-Pieter Katoen	[6] [8] [9] [11] [13] [14] [15] [17] [19] [20] [22]
16	Ric Klaren	[6] [8] [9] [10]
17	Vinh Vi Lam	[6]
18	Angelika Mader	[10] [18]
19	Alexandru Mereacre	[19]
20	William H. Sanders	[6]
21	Julien Schmaltz	[21]
22	Connie U. Smith	[2]
23	Mariëlle Stoelinga	[16]
24	Peter van der Stok (P. D. V. van der Stok)	[7]
25	Sabrina von Styp	[21]
26	Yaroslav S. Usenko	[10] [11] [18]
27	Frits W. Vaandrager	[7]
28	Haidi Yue	[20] [22]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page