Semi-numerical Solution of Stochastic Process Algebra Models. - Henrik C. Bohnenkamp; Boudewijn R. Haverkort (ARTS, 1999)

On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. - Boudewijn R. Haverkort; Alexander Bell; Henrik C. Bohnenkamp (PNPM, 1999)

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. - Lucia Cloth; Henrik C. Bohnenkamp; Boudewijn R. Haverkort (PAPM-PROBMIV, 2001)

Compositional solution of stochastic process algebra models. - Henrik C. Bohnenkamp (2002)

The Mean Value of the Maximum. - Henrik C. Bohnenkamp; Boudewijn R. Haverkort (PAPM-PROBMIV, 2002)

The Modest Modeling Tool and Its Implementation. - Henrik C. Bohnenkamp; Holger Hermanns; Joost-Pieter Katoen; Ric Klaren (Computer Performance Evaluation / TOOLS, 2003)

On Integrating the MÖBIUS 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 (DSN, 2003)

Cost-Optimization of the IPv4 Zeroconf Protocol. - Henrik C. Bohnenkamp; Peter van der Stok; Holger Hermanns; Frits W. Vaandrager (DSN, 2003)

An industrial-strength formal method – A Modest survey. - Henrik C. Bohnenkamp; Holger Hermanns; David N. Jansen; Joost-Pieter Katoen; Yaroslav S. Usenko (ISoLA (Preliminary proceedings), 2004)

Synthesis and Stochastic Assessment of Schedules for Lacquer Production. - Henrik C. Bohnenkamp; Holger Hermanns; Ric Klaren; Angelika Mader; Yaroslav S. Usenko (QEST, 2004)

Embedded Software Analysis with MOTOR. - Joost-Pieter Katoen; Henrik C. Bohnenkamp; Ric Klaren; Holger Hermanns (SFM, 2004)

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 (DSN, 2005)

Timed Testing with TorX. - Henrik C. Bohnenkamp; Axel Belinfante (FM, 2005)

MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. - Henrik C. Bohnenkamp; Pedro R. D'Argenio; Holger Hermanns; Joost-Pieter Katoen (IEEE Trans. Software Eng., 2006)

motor: The modestTool Environment. - Henrik C. Bohnenkamp; Holger Hermanns; Joost-Pieter Katoen (TACAS, 2007)

Quantitative testing. - Henrik C. Bohnenkamp; Mariëlle Stoelinga (EMSOFT, 2008)

Maximizing system lifetime by battery scheduling. - Marijn R. Jongerden; Boudewijn R. Haverkort; Henrik C. Bohnenkamp; Joost-Pieter Katoen (DSN, 2009)

Towards an Industrial Strength Process for Timed Testing. - Ralf Mitsching; Carsten Weise; André Kolbe; Henrik C. Bohnenkamp; Norbert Berzen (ICST Workshops, 2009)

A Conformance Testing Relation for Symbolic Timed Automata. - Sabrina von Styp; Henrik C. Bohnenkamp; Julien Schmaltz (FORMATS, 2010)

Analyzing Energy Consumption in a Gossiping MAC Protocol. - Haidi Yue; Henrik C. Bohnenkamp; Joost-Pieter Katoen (MMB/DFT, 2010)

Synthesis and stochastic assessment of cost-optimal schedules. - Angelika Mader; Henrik C. Bohnenkamp; Yaroslav S. Usenko; David N. Jansen; Johann L. Hurink; Holger Hermanns (Int. J. Softw. Tools Technol. Transf., 2010)

Computing Optimal Schedules for battery Usage in Embedded Systems. - Marijn R. Jongerden; Alexandru Mereacre; Henrik C. Bohnenkamp; Boudewijn R. Haverkort; Joost-Pieter Katoen (IEEE Trans. Ind. Informatics, 2010)

TripleT: Improving Test Responsiveness for High Performance Embedded Systems. - Ralf Mitsching; Carsten Weise; Frank Fiedler; Stefan Kowalewski; Henrik C. Bohnenkamp (ICST Workshops, 2011)

Analysing and Improving Energy Efficiency of Distributed Slotted Aloha. - Haidi Yue; Henrik C. Bohnenkamp; Malte Kampschulte; Joost-Pieter Katoen (NEW2AN, 2011)