Henrik C. Bohnenkamp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2003–2011
Best venue rank
A
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICST | TripleT: Improving Test Responsiveness for High Performance Embedded Systems. | Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp |
| 2009 | DSN | Maximizing system lifetime by battery scheduling. | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen |
| 2009 | ICST | Towards an Industrial Strength Process for Timed Testing. | Ralf Mitsching, Carsten Weise, Andr Kolbe, Henrik C. Bohnenkamp, Norbert Berzen |
| 2008 | EMSOFT | Quantitative testing. | Henrik C. Bohnenkamp, Marille Stoelinga |
| 2007 | TACAS | motor: The modestTool Environment. | Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen |
| 2005 | DSN | 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 |
| 2005 | FM | Timed Testing with TorX. | Henrik C. Bohnenkamp, Axel Belinfante |
| 2004 | ISoLA | An industrial-strength formal method -- A Modest survey. | Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko |
| 2003 | DSN | On Integrating the MBIUS 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 |
| 2003 | DSN | Cost-Optimization of the IPv4 Zeroconf Protocol. | Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager |