Author Publications

2010

Jongerden, Marijn and Mereacre, Alexandru and Bohnenkamp, Henrik and Haverkort, Boudewijn and Katoen, Joost-Pieter (2010) Computing Optimal Schedules of Battery Usage in Embedded Systems. IEEE Transactions on Industrial Informatics, 6 (3). pp. 276-286. ISSN 1551-3203

2009

Jongerden, M.R. and Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Katoen, J.P. (2009) Maximizing System Lifetime by Battery Scheduling. In: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 29 jun - 2 jul 2009, Estoril, Portugal.

Mader, Angelika and Bohnenkamp, Henrik and Usenko, Yaroslav S. and Jansen, David N. and Hurink, Johann and Hermanns, Holger (2009) Synthesis and stochastic assessment of cost-optimal schedules. International Journal on Software Tools for Technology Transfer (STTT), 12 (5). pp. 305-317. ISSN 1433-2779

2008

Bohnenkamp, H.C. and Stoelinga, M.I.A. (2008) Quantitative Testing. In: Proceedings of the 7th ACM International conference on Embedded software, October 19-24, 2008, Georgia, Atlanta.

2007

Bohnenkamp, H.C. and Belinfante, A.F.E. (2007) Timed model-based testing. In: Tangram: Model-based integration and testing of complex high-tech systems. Embedded Systems Institute, Eindhoven, the Netherlands, pp. 115-128. ISBN 9789078679028

Bohnenkamp, Henrik and Hermanns, Holger and Katoen, Joost-Pieter (2007) Motor: The MoDeST Tool Environment. In: 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 2007, 24 March - 1 April 2007, Braga, Portugal.

2006

Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2006) MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Transactions on Software Engineering, 32 (10). pp. 812-830. ISSN 0098-5589

Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2006) Synthesis and Stochastic Assessment of Cost-Optimal Schedules. [Report]

2005

Bohnenkamp, Henrik and Belinfante, Alex (2005) Timed Testing with TorX. In: International Symposium of Formal Methods Europe, July 18-22, 2005, Newcastle, UK.

Bohnenkamp, Henrik and Gorter, Johan and Guidi, Jarno and Katoen, Joost-Pieter (2005) Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks. In: International Conference on Dependable Systems and Networks, DSN, 28 June-1 July 2005, Yokohama, Japan.

2004

Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2004) MoDeST: A compositional modeling formalism for real-time and stochastic systems. [Report]

Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. In: First International Conference on the Quantitative Evaluation of Systems, QEST, 27-30 Sept. 2004, Enschede, The Netherlands.

Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. [Report]

Bohnenkamp, Henrik and D'Argenio, Pedro R. and Hermanns, Holger and Katoen, Joost-Pieter (2004) MoDeST: A compositional modeling formalism for hard and softly timed systems. [Report]

Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. (2004) Embedded software analysis with MOTOR. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Lecture Notes in Computer Science, 3185 . Springer Verlag, Bertinoro, Italy, pp. 268-293. ISBN 9783540230687

2003

Bohnenkamp, Henrik and Courtney, Tod and Daly, David and Derisavi, Salem and Hermanns, Holger and Katoen, Joost-Pieter and Klaren, Ric and Vi Lam, Vinh and Sanders, William H. (2003) On Integrating the Mobius and Modest Modeling Tools. In: International Conference on Dependable Systems and Networks, DSN 2003, 22-25 June, 2003, San Francisco, USA.

Bohnenkamp, Henrik and Stok van der, Peter and Hermanns, Holger and Vaandrager, Frits (2003) Cost-Optimisation of the IPv4 Zeroconf Protocol. In: International Conference on Dependable Systems and Networks, DSN 2003, 22-25 June, 2003, San Francisco, USA.

2001

Cloth, Lucia and Bohnenkamp, Henrik and Haverkort, Boudewijn (2001) Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In: Joint International Workshop Process Algebra and Probabilistic Models and Performance Modeling and Verification, PAPM-PROBMIV, September 12–14, 2001, Aachen, Germany.