Boudewijn R. Haverkort
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
15
Active years
1989–2021
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | MODELS | Models Meet Data: Challenges to Create Virtual Entities for Digital Twins. | Mark van den Brand, Loek Cleophas, Raghavendran Gunasekaran, Boudewijn R. Haverkort, David A. Manrique Negrin, Hossain Muhammad Muctadir |
| 2019 | DSN | A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications. | Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort, Gerard Geist |
| 2015 | DSN | Energy Resilience Modelling for Smart Houses. | Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke |
| 2013 | DSN | A logic for model-checking mean-field models. | Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort |
| 2013 | PRDC | Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. | Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort |
| 2010 | DSN | Evaluating repair strategies for a water-treatment facility using Arcade. | Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Marille Stoelinga |
| 2010 | ISoLA | Quantitative Verification in Practice. | Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen |
| 2009 | DSN | Maximizing system lifetime by battery scheduling. | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen |
| 2009 | MASCOTS | Time - It's time for a change. | Boudewijn R. Haverkort |
| 2008 | DATE | Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. | Lucia Cloth, Boudewijn R. Haverkort |
| 2008 | DSN | Architectural dependability evaluation with Arcade. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2008 | ICECCS | Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. | Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Marille Stoelinga |
| 2007 | DSN | Computing Battery Lifetime Distributions. | Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort |
| 2005 | TACAS | Model Checking Infinite-State Markov Chains. | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth |
| 2004 | DSN | Model Checking Action- and State-Labelled Markov Chains. | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
| 2004 | TACAS | Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2002 | CONCUR | Simulation for Continuous-Time Markov Chains. | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort |
| 2002 | DSN | Model Checking Performability Properties. | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier |
| 2002 | DSN | A Validation of the Pseudo Self-Similar Traffic Model. | Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort |
| 2002 | PERFORMANCE | Automated Performance and Dependability Evaluation Using Model Checking. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | CAV | Model Checking Continuous-Time Markov Chains by Transient Analysis. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | ICALP | On the Logical Characterisation of Performability Properties. | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 2000 | ICALP | Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. | Boudewijn R. Haverkort |
| 2000 | SRDS | On the Use of Model Checking Techniques for Dependability Evaluation. | Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
| 1994 | MASCOTS | Xmgm: Performance Modeling Using Matrix Geometric Techniques. | Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman |
| 1992 | INFOCOM | A Method for Analysing the Performance Aspects of the Fault-Tolerance Mechanisms in FDDI. | Aad P. A. van Moorsel, Boudewijn R. Haverkort, Ignas G. Niemegeers |
| 1992 | SRDS | Sensitivity and Uncertainty Analysis in Performability Modeling. | Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen |
| 1989 | SIGMETRICS | Performability Modelling Using Dynamic Queueing Networks. | Boudewijn R. Haverkort, Ignas G. Niemegeers |