Search the dblp DataBase

Publications of Author

1. Henrik C. Bohnenkamp, Boudewijn R. Haverkort
   Semi-numerical Solution of Stochastic Process Algebra Models. [Citation Graph (0, 0)][DBLP]
   ARTS, 1999, pp:228-243 [Conf]
   
2. Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren
   The Modest Modeling Tool and Its Implementation. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation / TOOLS, 2003, pp:116-133 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   DSN, 2003, pp:671- [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   DSN, 2005, pp:704-709 [Conf]
   
5. Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager
   Cost-Optimization of the IPv4 Zeroconf Protocol. [Citation Graph (0, 0)][DBLP]
   DSN, 2003, pp:531-540 [Conf]
   
6. Henrik C. Bohnenkamp, Axel Belinfante
   Timed Testing with TorX. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:173-188 [Conf]
   
7. Henrik C. Bohnenkamp, Boudewijn R. Haverkort
   The Mean Value of the Maximum. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:37-56 [Conf]
   
8. Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort
   Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:152-167 [Conf]
   
9. Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
   Synthesis and Stochastic Assessment of Schedules for Lacquer Production. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:28-37 [Conf]
   
10. Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns
    Embedded Software Analysis with MOTOR. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:268-294 [Conf]
    
11. Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
    MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:10, pp:812-830 [Journal]
    
12. Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
    motor: The modestTool Environment. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:500-504 [Conf]
    
13. 
    Maximizing system lifetime by battery scheduling. [Citation Graph (, )][DBLP]
    
    
14. 
    Quantitative testing. [Citation Graph (, )][DBLP]
    
    
15. 
    An industrial-strength formal method -- A Modest survey. [Citation Graph (, )][DBLP]
    
    
16. 
    Analyzing Energy Consumption in a Gossiping MAC Protocol. [Citation Graph (, )][DBLP]