Henrik C. Bohnenkamp

2008
15	EE	Henrik C. Bohnenkamp, Mariëlle Stoelinga: Quantitative testing. EMSOFT 2008: 227-236
2007
14	EE	Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen: motor: The modestTool Environment. TACAS 2007: 500-504
2006
13	EE	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
12	EE	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
11	EE	Henrik C. Bohnenkamp, Axel Belinfante: Timed Testing with TorX. FM 2005: 173-188
2004
10		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
9	EE	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
8	EE	Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns: Embedded Software Analysis with MOTOR. SFM 2004: 268-294
2003
7	EE	Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren: The Modest Modeling Tool and Its Implementation. Computer Performance Evaluation / TOOLS 2003: 116-133
6	EE	Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager: Cost-Optimization of the IPv4 Zeroconf Protocol. DSN 2003: 531-540
5	EE	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
4	EE	Henrik C. Bohnenkamp, Boudewijn R. Haverkort: The Mean Value of the Maximum. PAPM-PROBMIV 2002: 37-56
2001
3	EE	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	EE	Henrik C. Bohnenkamp, Boudewijn R. Haverkort: Semi-numerical Solution of Stochastic Process Algebra Models. ARTS 1999: 228-243

Coauthor Index

1	Axel Belinfante	[11]
2	Lucia Cloth	[3]
3	Tod Courtney	[5]
4	Pedro R. D'Argenio	[13]
5	David Daly	[5]
6	Salem Derisavi	[5]
7	Johan Gorter	[12]
8	Jarno Guidi	[12]
9	Boudewijn R. Haverkort	[1] [2] [3] [4]
10	Holger Hermanns	[5] [6] [7] [8] [9] [10] [13] [14]
11	David N. Jansen	[10]
12	Joost-Pieter Katoen	[5] [7] [8] [10] [12] [13] [14]
13	Ric Klaren	[5] [7] [8] [9]
14	Vinh Vi Lam	[5]
15	Angelika Mader	[9]
16	William H. Sanders	[5]
17	Connie U. Smith	[2]
18	Mariëlle Stoelinga	[15]
19	Peter van der Stok	[6]
20	Yaroslav S. Usenko	[9] [10]
21	Frits W. Vaandrager	[6]

Colors in the list of coauthors