Boudewijn R. Haverkort

191 papers A* 4A 12B 6C 2Misc 1Journal 50Unranked 101

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study. Software Engineering Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort
2025	—	`conf`	Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage. Principles of Formal Quantitative Analysis Lisa Willemsen, Anne Remke, Boudewijn R. Haverkort, Johann L. Hurink
2025	—	`conf`	Verification of Digital Twins using Classical and Statistical Model Checking. ASQAP Raghavendran Gunasekaran, Boudewijn R. Haverkort
2024	—	`book`	Commit2Data Commit2Data Boudewijn R. Haverkort, Aldert de Jongste, Pieter van Kuilenburg, Ruben D. Vromans
2024	J	`jnl`	Current trends in digital twin development, maintenance, and operation: an interview study. Softw. Syst. Model. Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort
2024	—	`conf`	Give Probabilities a Fair Chance! Principles of Verification (3) Boudewijn R. Haverkort
2024	—	`ch.`	Use-Inspired Research on Big Data and Applications in the Public-Private Research and Innovation Program Commit2Data. Commit2Data Boudewijn R. Haverkort, Aldert de Jongste, Pieter van Kuilenburg
2024	—	`conf`	Verification of Digital Twins through Statistical Model Checking. PoEM Companion Raghavendran Gunasekaran, Boudewijn R. Haverkort
2023	J	`jnl`	Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study. CoRR Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort
2022	J	`jnl`	Minimizing the Maximum Processor Temperature by Temperature-Aware Scheduling of Real-Time Tasks. IEEE Trans. Very Large Scale Integr. Syst. Baver Ozceylan, Boudewijn R. Haverkort, Maurits de Graaf, Marco E. T. Gerards
2021	—	`conf`	Models Meet Data: Challenges to Create Virtual Entities for Digital Twins. MoDELS (Companion) Mark van den Brand, Loek Cleophas, Raghavendran Gunasekaran, Boudewijn R. Haverkort, David A. Manrique Negrin, Hossain Muhammad Muctadir
2021	—	`conf`	Performance Evaluation: Model-Driven or Problem-Driven? QEST Boudewijn R. Haverkort
2020	—	`conf`	A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems. MMB Freek van den Berg, Boudewijn R. Haverkort
2020	J	`jnl`	Machine Learning Data Center Workloads Using Generative Adversarial Networks. SIGMETRICS Perform. Evaluation Rev. Boudewijn R. Haverkort, Felix Finkbeiner, Pieter-Tjerk de Boer
2019	—	`conf`	A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications. DSN (Industry Track) Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort, Gerard Geist
2018	—	`conf`	A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements. MMB Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort
2018	—	`conf`	A Tool for Generating Automata of IEC60870-5-104 Implementations. MMB Max Kerkers, Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
2018	J	`jnl`	An integrated testbed for locally monitoring SCADA systems in smart grids. Energy Inform. Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
2018	—	`conf`	Combining Energy Saving Techniques in Data Centres using Model-Based Analysis. ICPE Companion Björn F. Postema, Tobias Van Damme, Claudio De Persis, Pietro Tesi, Boudewijn R. Haverkort
2018	—	`conf`	Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support. SoSE Freek van den Berg, Vahid Garousi, Bedir Tekinerdogan, Boudewijn R. Haverkort
2018	—	`conf`	Fitting Realistic Data Centre Workloads: A Data Science Approach. e-Energy Björn F. Postema, Niels J. Geuze, Boudewijn R. Haverkort
2018	—	`conf`	Zero-Energy Internet-of-Things: Energy-SIM'18 Workshop Keynote Abstract. ICPE Companion Boudewijn R. Haverkort
2017	—	`conf`	Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. QEST Marijn R. Jongerden, Boudewijn R. Haverkort
2017	—	`conf`	Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases. SmartGridComm Justyna J. Chromik, Carina Pilch, Pascal Brackmann, Christof Duhme, Franziska Everinghoff, Artur Giberlein, Thomas Teodorowicz, Julian Wieland, Boudewijn R. Haverkort, Anne Remke
2017	—	`conf`	Evaluation of Advanced Data Centre Power Management Strategies. PASM Björn F. Postema, Boudewijn R. Haverkort
2017	J	`jnl`	Smart Industry: How ICT Will Change the Game! IEEE Internet Comput. Boudewijn R. Haverkort, Armin Zimmermann
2017	—	`conf`	Specification of Data Centre Power Management Strategies. e-Energy Björn F. Postema, Boudewijn R. Haverkort
2017	—	`conf`	iDSL: Automated Performance Evaluation of Service-Oriented Systems. ModelEd, TestEd, TrustEd Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
2016	—	`ed.`	8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016, Münster, Germany, April 2016 PASM Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas
2016	—	`conf`	Evaluating load balancing policies for performance and energy-efficiency. QAPL Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort
2016	—	`conf`	Fitting a code-red virus spread model: An account of putting theory into practice. DRCN Anna Kolesnichenko, Boudewijn R. Haverkort, Anne Remke, Pieter-Tjerk de Boer
2016	—	`conf`	Improving SCADA security of a local process with a power grid model. ICS-CSR Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
2016	—	`ed.`	Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems - 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings MMB/DFT Anne Remke, Boudewijn R. Haverkort
2016	—	`conf`	Preface. PASM Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas
2016	J	`jnl`	Survivability analysis of a sewage treatment facility using hybrid Petri nets. Perform. Evaluation Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2015	—	`conf`	A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. FORMATS Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen
2015	—	`conf`	An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres. EPEW Björn F. Postema, Boudewijn R. Haverkort
2015	—	`conf`	Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. VALUETOOLS Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo
2015	—	`conf`	Computing Response Time Distributions Using Iterative Probabilistic Model Checking. EPEW Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke
2015	—	`conf`	Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques. VALUETOOLS Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman
2015	A	`conf`	Energy Resilience Modelling for Smart Houses. DSN Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke
2015	J	`jnl`	Hybrid Petri nets with multiple stochastic transition firings. EAI Endorsed Trans. Self Adapt. Syst. Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2015	J	`jnl`	On hypothesis testing for statistical model checking. Int. J. Softw. Tools Technol. Transf. Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort
2015	—	`ed.`	Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings QEST Javier Campos, Boudewijn R. Haverkort
2015	—	`conf`	iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. EPEW Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
2014	—	`conf`	A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. MCPS Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
2014	—	`conf`	Development of a Smart Grid Simulation Environment. UKPEW J. Delamare, B. Bitachon, Z. Peng, Y. Wang, Boudewijn R. Haverkort, Marijn R. Jongerden
2014	—	`conf`	Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. MMB/DFT Björn F. Postema, Anne Remke, Boudewijn R. Haverkort, Hamed Ghasemieh
2014	—	`conf`	Hybrid Petri nets with multiple stochastic transition firings. VALUETOOLS Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2014	—	`conf`	Performance of LTE for Smart Grid Communications. MMB/DFT Georgios Karagiannis, Giang T. Pham, A. Dung Nguyen, Geert J. Heijenk, Boudewijn R. Haverkort, Frans Campfens
2014	—	`conf`	Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management. E2DC Björn F. Postema, Boudewijn R. Haverkort
2014	—	`conf`	Survivability Evaluation of Gas, Water and Electricity Infrastructures. PASM Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario
2013	A	`conf`	A logic for model-checking mean-field models. DSN Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort
2013	—	`conf`	Analysis of a sewage treatment facility using hybrid Petri nets. VALUETOOLS Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2013	—	`conf`	Automated Rare Event Simulation for Stochastic Petri Nets. QEST Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort
2013	—	`conf`	Challenges for modelling and analysis in embedded systems and systems-of-systems design. AiSoS Boudewijn R. Haverkort
2013	J	`jnl`	Model checking for performability. Math. Struct. Comput. Sci. Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2013	J	`jnl`	Networking for the Cloud: Challenges and Trends. Prax. Inf.verarb. Kommun. Idilio Drago, Ricardo de Oliveira Schmidt, Rick Hofstede, Anna Sperotto, Morteza Karimzadeh, Boudewijn R. Haverkort, Aiko Pras
2013	—	`conf`	Performance Evaluation for Collision Prevention Based on a Domain Specific Language. EPEW Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort
2013	C	`conf`	Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. PRDC Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2013	J	`jnl`	The Dependable Systems-of-Systems Design Challenge. IEEE Secur. Priv. Boudewijn R. Haverkort
2012	—	`conf`	Lifetime Improvement by Battery Scheduling. MMB/DFT Marijn R. Jongerden, Boudewijn R. Haverkort
2012	J	`jnl`	Rare event simulation for highly dependable systems with fast repairs. Perform. Evaluation Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort
2012	—	`conf`	Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. FORMATS Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo
2012	—	`conf`	Simulative and Analytical Evaluation for ASD-Based Embedded Software. MMB/DFT Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort
2011	—	`conf`	An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks. WWIC Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort
2011	—	`conf`	Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study. EPEW Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn R. Haverkort
2011	—	`conf`	Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? FORMATS Boudewijn R. Haverkort
2011	J	`jnl`	Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Evaluation Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
2011	J	`jnl`	Parallel and Distributed Methods in Verification. J. Log. Comput. Ivana Cerná, Boudewijn R. Haverkort
2011	J	`jnl`	Time-bounded reachability in tree-structured QBDs by abstraction. Perform. Evaluation Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
2010	—	`conf`	A First Experimental Investigation of the Practical Efficiency of Battery Scheduling. ARCS Workshops Damien Miliche, Maurits de Graaf, Gerard Hoekstra, Marijn R. Jongerden, Boudewijn R. Haverkort
2010	—	`conf`	Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. Fokkink, Boudewijn R. Haverkort
2010	—	`conf`	Computing Lifetimes for Battery-Powered Devices. OR Marijn R. Jongerden, Boudewijn R. Haverkort
2010	J	`jnl`	Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Ind. Informatics Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen
2010	A	`conf`	Evaluating repair strategies for a water-treatment facility using Arcade. DSN Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga
2010	J	`jnl`	Performability assessment by model checking of Markov reward models. Formal Methods Syst. Des. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2010	J	`jnl`	Performance evaluation and model checking join forces. Commun. ACM Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2010	—	`conf`	Quantitative Verification in Practice. ISoLA (2) Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen
2010	—	`conf`	Rare Event Simulation for Highly Dependable Systems with Fast Repairs. QEST Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort
2010	—	`conf`	Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. MMB/DFT Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Jesper Bax
2009	—	`conf`	A Massively Scalable Architecture For Instant Messaging & Presence. PASM@MASCOTS Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort
2009	—	`conf`	Adaptive resource control in 2-hop ad-hoc networks. ICUMT Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort
2009	A	`conf`	Maximizing system lifetime by battery scheduling. DSN Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen
2009	—	`conf`	Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
2009	B	`conf`	Time - It's time for a change. MASCOTS Boudewijn R. Haverkort
2009	—	`conf`	Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
2009	J	`jnl`	Which battery model to use? IET Softw. Marijn R. Jongerden, Boudewijn R. Haverkort
2008	J	`jnl`	A Centralized Feedback Control Model for Resource Management in Wireless Networks. Prax. Inf.verarb. Kommun. Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk
2008	—	`conf`	A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks. QEST Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk
2008	—	`conf`	A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS Anne Remke, Boudewijn R. Haverkort
2008	B	`conf`	Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
2008	A	`conf`	Architectural dependability evaluation with Arcade. DSN Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga
2008	—	`conf`	Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. ASMTA Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth
2008	—	`conf`	Changes in the Web from 2000 to 2007. DSOM Ramin Sadre, Boudewijn R. Haverkort
2008	—	`conf`	Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. PDMC@ETAPS Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol
2008	J	`jnl`	MeanField analysis for the evaluation of gossip protocols. SIGMETRICS Perform. Evaluation Rev. Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
2008	—	`conf`	Performance and Dependability Evaluation: Successes, Failures and Challenges. EPEW Boudewijn R. Haverkort
2008	—	`ed.`	Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007 PDMC@CAV Ivana Cerná, Boudewijn R. Haverkort
2008	A	`conf`	Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE Lucia Cloth, Boudewijn R. Haverkort
2008	J	`jnl`	Quantitative analysis of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen
2008	—	`conf`	Reachability in continuous-time Markov reward decision processes. Logic and Automata Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2008	—	`conf`	The Performability Tool P'ility. QEST Lucia Cloth, Boudewijn R. Haverkort
2007	—	`conf`	07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele
2007	—	`conf`	07101 Executive Summary -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele
2007	—	`conf`	A Fixed-Point Algorithm for Closed Queueing Networks. EPEW Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt
2007	—	`conf`	CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS Anne Remke, Boudewijn R. Haverkort
2007	J	`jnl`	CSL model checking algorithms for QBDs. Theor. Comput. Sci. Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
2007	A	`conf`	Computing Battery Lifetime Distributions. DSN Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort
2007	—	`conf`	Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW Matthias Kuntz, Boudewijn R. Haverkort
2007	—	`ed.`	Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers FMICS/PDMC Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol
2007	J	`jnl`	Formal analysis techniques for gossiping protocols. ACM SIGOPS Oper. Syst. Rev. Rena Bakhshi, François Bonnet, Wan J. Fokkink, Boudewijn R. Haverkort
2007	J	`jnl`	Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
2007	—	`conf`	Preface. PDMC@CAV Ivana Cerná, Boudewijn R. Haverkort
2007	—	`ed.`	Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007 Quantitative Aspects of Embedded Systems Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele
2007	—	`conf`	The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. EPEW Patrick Goering, Geert J. Heijenk, Boudewijn R. Haverkort, Robbert Haarman
2007	—	`conf`	Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution. EPEW Alexander Bell, Boudewijn R. Haverkort
2007	J	`jnl`	Versatile stochastic models for networks with asymmetric TCP sources. Perform. Evaluation Nicky D. van Foreest, Boudewijn R. Haverkort, Michel Mandjes, Werner R. W. Scheinhardt
2006	—	`conf`	A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. QEST Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
2006	—	`conf`	CSL model checking of Deterministic and Stochastic Petri Nets. MMB José M. Martínez, Boudewijn R. Haverkort
2006	J	`jnl`	Distributed disk-based algorithms for model checking very large Markov chains. Formal Methods Syst. Des. Alexander Bell, Boudewijn R. Haverkort
2006	J	`jnl`	Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia. IEEE Trans. Dependable Secur. Comput. Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo
2006	—	`conf`	MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. QEST José M. Martínez, Boudewijn R. Haverkort
2006	—	`conf`	Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. QEST Roger Kalden, Boudewijn R. Haverkort
2005	J	`jnl`	Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort
2005	A	`conf`	Model Checking Infinite-State Markov Chains. TACAS Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
2005	—	`conf`	Model Checking for Survivability. QEST Lucia Cloth, Boudewijn R. Haverkort
2005	J	`jnl`	Model checking meets performance evaluation. SIGMETRICS Perform. Evaluation Rev. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2005	J	`jnl`	Performance and verification. SIGMETRICS Perform. Evaluation Rev. Boudewijn R. Haverkort, Joost-Pieter Katoen
2005	J	`jnl`	Sequential and distributed model checking of Petri nets. Int. J. Softw. Tools Technol. Transf. Alexander Bell, Boudewijn R. Haverkort
2004	A	`conf`	Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. TACAS Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2004	A	`conf`	Model Checking Action- and State-Labelled Markov Chains. DSN Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
2004	J	`jnl`	The pseudo-self-similar traffic model: application and validation. Perform. Evaluation Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort, Alexander Ost
2004	—	`ed.`	Validation of Stochastic Systems - A Guide to Current Research Validation of Stochastic Systems Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
2003	—	`conf`	A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies. Computer Performance Evaluation / TOOLS Boudewijn R. Haverkort, Rachid El Abdouni Khayari, Ramin Sadre
2003	J	`jnl`	Fitting world-wide web request traces with the EM-algorithm. Perform. Evaluation Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort
2003	J	`jnl`	Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2002	A	`conf`	A Validation of the Pseudo Self-Similar Traffic Model. DSN Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort
2002	Misc	`conf`	Automated Performance and Dependability Evaluation Using Model Checking. Performance Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2002	—	`conf`	Enabling Network Caching of Dynamic Web Objects. Computer Performance Evaluation / TOOLS Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter
2002	J	`jnl`	Introduction to the Special Section on Petri Nets and Performance Models. IEEE Trans. Software Eng. Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort
2002	A	`conf`	Model Checking Performability Properties. DSN Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
2002	—	`conf`	Sequential and Distributed Model Checking of Petri Net Specifications. PDMC@CONCUR Alexander Bell, Boudewijn R. Haverkort
2002	B	`conf`	Simulation for Continuous-Time Markov Chains. CONCUR Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort
2002	—	`conf`	The Mean Value of the Maximum. PAPM-PROBMIV Henrik C. Bohnenkamp, Boudewijn R. Haverkort
2001	—	`conf`	Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme. Wirtschaftsinformatik Stephan Ehren, Norbert Ludwig, Boudewijn R. Haverkort, Rachid El Abdouni Khayari
2001	—	`conf`	Flows in Networks of MAP/MAP/1 Queues. MMB Ramin Sadre, Boudewijn R. Haverkort
2001	J	`jnl`	Performance and dependability techniques and tools. Perform. Evaluation Boudewijn R. Haverkort, Rick Harper
2001	—	`ed.`	Proceedings 11th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB 2001), September 11-14, 2001, Aachen, Germany MMB Boudewijn R. Haverkort
2001	—	`ed.`	Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001 PNPM Reinhard German, Boudewijn R. Haverkort
2001	—	`conf`	Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. PAPM-PROBMIV Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort
2000	—	`conf`	Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. ICALP Satellite Workshops Boudewijn R. Haverkort
2000	—	`ed.`	Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings Computer Performance Evaluation / TOOLS Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith
2000	—	`conf`	FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. Computer Performance Evaluation / TOOLS Ramin Sadre, Boudewijn R. Haverkort
2000	—	`conf`	Markovian Models for Performance and Dependability Evaluation. European Educational Forum: School on Formal Methods and Performance Analysis Boudewijn R. Haverkort
2000	A*	`conf`	Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000	A*	`conf`	On the Logical Characterisation of Performability Properties. ICALP Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000	B	`conf`	On the Use of Model Checking Techniques for Dependability Evaluation. SRDS Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
2000	J	`jnl`	Performance evaluation of multicast communication in packet-switched networks. Perform. Evaluation Marko Schuba, Boudewijn R. Haverkort, Gaby Schneider
1999	—	`conf`	FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations. MMB (Kurzvorträge) Ramin Sadre, Boudewijn R. Haverkort
1999	—	`conf`	On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. PNPM Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp
1999	—	`conf`	Performance Evaluation of Polling-Based Communication Systems Using SPNs. Application of Petri Nets to Communication Networks Boudewijn R. Haverkort
1999	—	`conf`	Semi-numerical Solution of Stochastic Process Algebra Models. ARTS Henrik C. Bohnenkamp, Boudewijn R. Haverkort
1999	—	`conf`	Structural Decomposition and Serial Solution of SPN Models of the ATM GAUSS Switch. Application of Petri Nets to Communication Networks Boudewijn R. Haverkort, Hessel P. Idzenga
1998	J	`jnl`	Analysis of windowing mechanisms with infinite-state stochastic Petri nets. SIGMETRICS Perform. Evaluation Rev. Alexander Ost, Boudewijn R. Haverkort
1998	J	`jnl`	Approximate analysis of networks of PH\|PH\|1\|K queues with customer losses: Test results. Ann. Oper. Res. Boudewijn R. Haverkort
1998	—	`book`	Performance of computer communication systems - a model-based approach. Boudewijn R. Haverkort
1998	—	`conf`	QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams. Computer Performance Evaluation (Tools) Gaby Schneider, Marko Schuba, Boudewijn R. Haverkort
1997	J	`jnl`	Quality of service management using generic modelling and monitoring techniques. Distributed Syst. Eng. Leonard J. N. Franken, Boudewijn R. Haverkort
1997	—	`conf`	Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method. PNPM Boudewijn R. Haverkort, Alexander Ost
1997	—	`conf`	Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen. MMB Alexander Ost, Carsten Frank, Boudewijn R. Haverkort
1996	J	`jnl`	A mean-value analysis of slotted-ring network models. Telecommun. Syst. Andrew J. Coyle, Boudewijn R. Haverkort, William Henderson, Charles E. M. Pearce
1996	J	`jnl`	Design and evaluation of a connection management mechanism for an ATM-based connectionless service. Distributed Syst. Eng. Geert J. Heijenk, Boudewijn R. Haverkort
1996	J	`jnl`	Performability Modelling Tools and Techniques. Perform. Evaluation Boudewijn R. Haverkort, Ignas G. Niemegeers
1995	—	`conf`	Approximate Analysis of Networks of PH\|PH\|1\| MMB Boudewijn R. Haverkort
1995	J	`jnl`	In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. Comput. J. Boudewijn R. Haverkort
1995	—	`conf`	Using the probabilistic evaluation tool for the analytical solution of large Markov models. PNPM Boudewijn R. Haverkort, Aad P. A. van Moorsel
1994	—	`conf`	Modelling Aspects of Model-Based Dynamic QoS Management by the Performability Manager. Computer Performance Evaluation Leonard J. N. Franken, Raymond H. Pijpers, Boudewijn R. Haverkort
1994	—	`conf`	Performance evaluation of threshold-based ATM cell scheduling policies under Markov modulated Poisson traffic using stochastic Petri nets. Modelling and Evaluation of ATM Networks Boudewijn R. Haverkort, Hessel P. Idzenga, Byung G. Kim
1994	—	`conf`	Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. Computer Performance Evaluation Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew J. Rindos, Varsha Mainkar
1994	J	`jnl`	The performability manager. IEEE Netw. Leonard J. N. Franken, Boudewijn R. Haverkort
1994	B	`conf`	Xmgm: Performance Modeling Using Matrix Geometric Techniques. MASCOTS Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman
1993	J	`jnl`	Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets. Perform. Evaluation Boudewijn R. Haverkort
1993	J	`jnl`	Specification techniques for Markov reward models. Discret. Event Dyn. Syst. Boudewijn R. Haverkort, Kishor S. Trivedi
1992	A*	`conf`	A Method for Analysing the Performance Aspects of the Fault-Tolerance Mechanisms in FDDI. INFOCOM Aad P. A. van Moorsel, Boudewijn R. Haverkort, Ignas G. Niemegeers
1992	J	`jnl`	Composite Performance and Dependability Analysis. Perform. Evaluation Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort
1992	B	`conf`	Sensitivity and Uncertainty Analysis in Performability Modeling. SRDS Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen
1991	—	`conf`	Approximate Performability Analysis using Generalized Stochastic Petri Nets. PNPM Boudewijn R. Haverkort
1991	—	`book`	Performability modelling tools, evaluation techniques, and applications. Boudewijn R. Haverkort
1990	—	`—`	Performability Modelling Tools, Evaluation Techniques and Applications. Boudewijn R. Haverkort
1989	A*	`conf`	Performability Modelling Using Dynamic Queueing Networks. SIGMETRICS Boudewijn R. Haverkort, Ignas G. Niemegeers