The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Henrik C. Bohnenkamp: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002