Boudewijn R. Haverkort

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort: Rare event simulation for highly dependable systems with fast repairs. Perform. Eval. 69(7-8): 336-355 (2012)

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo: Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. FORMATS 2012: 139-154

Marijn R. Jongerden, Boudewijn R. Haverkort: Lifetime Improvement by Battery Scheduling. MMB/DFT 2012: 106-120

Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort: Simulative and Analytical Evaluation for ASD-Based Embedded Software. MMB/DFT 2012: 166-181

Ivana Cerná, Boudewijn R. Haverkort: Parallel and Distributed Methods in Verification. J. Log. Comput. 21(1): 1-3 (2011)

Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen: Time-bounded reachability in tree-structured QBDs by abstraction. Perform. Eval. 68(2): 105-125 (2011)

Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Eval. 68(2): 157-179 (2011)

Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn R. Haverkort: Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study. EPEW 2011: 133-147

Boudewijn R. Haverkort: Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? FORMATS 2011: 18-24

Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort: An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks. WWIC 2011: 309-322

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performance evaluation and model checking join forces. Commun. ACM 53(9): 76-85 (2010)

Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort: A Massively Scalable Architecture For Instant Messaging & Presence. Electr. Notes Theor. Comput. Sci. 261: 109-130 (2010)

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performability assessment by model checking of Markov reward models. Formal Methods in System Design 36(1): 1-36 (2010)

Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen: Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Industrial Informatics 6(3): 276-286 (2010)

Damien Miliche, Maurits de Graaf, Gerard Hoekstra, Marijn R. Jongerden, Boudewijn R. Haverkort: A First Experimental Investigation of the Practical Efficiency of Battery Scheduling. ARCS Workshops 2010: 241-246

Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga: Evaluating repair strategies for a water-treatment facility using Arcade. DSN 2010: 419-424

Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen: Quantitative Verification in Practice. ISoLA (2) 2010: 127

Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Jesper Bax: Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. MMB/DFT 2010: 168-182

Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort: Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST 2010: 241-250

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort: Rare Event Simulation for Highly Dependable Systems with Fast Repairs. QEST 2010: 251-260

Marijn R. Jongerden, Boudewijn R. Haverkort: Which battery model to use? IET Software 3(6): 445-457 (2009)

Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen: Maximizing system lifetime by battery scheduling. DSN 2009: 63-72

Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort: Adaptive resource control in 2-hop ad-hoc networks. ICUMT 2009: 1-9

Boudewijn R. Haverkort: Time - It's time for a change. MASCOTS 2009: 1

Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen: Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST 2009: 133-142

Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST 2009: 247-256

Ivana Cerná, Boudewijn R. Haverkort: Preface. Electr. Notes Theor. Comput. Sci. 198(1): 1-2 (2008)

Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol: Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electr. Notes Theor. Comput. Sci. 220(2): 35-50 (2008)

Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk: A Centralized Feedback Control Model for Resource Management in Wireless Networks. Praxis der Informationsverarbeitung und Kommunikation 31(1): 51-56 (2008)

Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen: Quantitative analysis of gossiping protocols. SIGMETRICS Performance Evaluation Review 36(3): 2 (2008)

Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: MeanField analysis for the evaluation of gossip protocols. SIGMETRICS Performance Evaluation Review 36(3): 31-39 (2008)

Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth: Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. ASMTA 2008: 279-294

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Reachability in continuous-time Markov reward decision processes. Logic and Automata 2008: 53-72

Lucia Cloth, Boudewijn R. Haverkort: Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE 2008: 90-91

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521

Ramin Sadre, Boudewijn R. Haverkort: Changes in the Web from 2000 to 2007. DSOM 2008: 136-148

Boudewijn R. Haverkort: Performance and Dependability Evaluation: Successes, Failures and Challenges. EPEW 2008: 1

Anne Remke, Boudewijn R. Haverkort: A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS 2008: 188-202

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS 2008: 243-248

Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk: A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks. QEST 2008: 7-16

Lucia Cloth, Boudewijn R. Haverkort: The Performability Tool P'ility. QEST 2008: 117-118

Nicky D. van Foreest, Boudewijn R. Haverkort, Michel Mandjes, Werner R. W. Scheinhardt: Versatile stochastic models for networks with asymmetric TCP sources. Perform. Eval. 64(6): 507-523 (2007)

Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort: Formal analysis techniques for gossiping protocols. Operating Systems Review 41(5): 28-36 (2007)

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007)

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. 33(4): 209-224 (2007)

Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Executive Summary -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007

Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007

Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort: Computing Battery Lifetime Distributions. DSN 2007: 780-789

Alexander Bell, Boudewijn R. Haverkort: Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution. EPEW 2007: 2-17

Matthias Kuntz, Boudewijn R. Haverkort: Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW 2007: 80-96

Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt: A Fixed-Point Algorithm for Closed Queueing Networks. EPEW 2007: 154-170

Patrick Goering, Geert J. Heijenk, Boudewijn R. Haverkort, Robbert Haarman: The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. EPEW 2007: 284-300

Anne Remke, Boudewijn R. Haverkort: CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS 2007: 336-351

Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele (Eds.): Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007. Dagstuhl Seminar Proceedings 07101, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (Eds.): 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. Lecture Notes in Computer Science 4346, Springer 2007, isbn 978-3-540-70951-0

Alexander Bell, Boudewijn R. Haverkort: Distributed disk-based algorithms for model checking very large Markov chains. Formal Methods in System Design 29(2): 177-196 (2006)

Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo: 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 Sec. Comput. 3(3): 169-171 (2006)

José Martínez, Boudewijn R. Haverkort: CSL model checking of Deterministic and Stochastic Petri Nets. MMB 2006: 265-282

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. QEST 2006: 63-72

Roger Kalden, Boudewijn R. Haverkort: Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. QEST 2006: 83-92

Jose M. Martinez, Boudewijn R. Haverkort: MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. QEST 2006: 133-134

Boudewijn R. Haverkort, Joost-Pieter Katoen: Performance and verification. SIGMETRICS Performance Evaluation Review 32(4): 3 (2005)

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)

Alexander Bell, Boudewijn R. Haverkort: Sequential and distributed model checking of Petri nets. STTT 7(1): 43-60 (2005)

Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theor. Comput. Sci. 345(1): 2-26 (2005)

Lucia Cloth, Boudewijn R. Haverkort: Model Checking for Survivability. QEST 2005: 145-154

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: Model Checking Infinite-State Markov Chains. TACAS 2005: 237-252

Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort, Alexander Ost: The pseudo-self-similar traffic model: application and validation. Perform. Eval. 56(1-4): 3-22 (2004)

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. TACAS 2004: 61-76

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (Eds.): Validation of Stochastic Systems - A Guide to Current Research. Lecture Notes in Computer Science 2925, Springer 2004, isbn 3-540-22265-0

Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort: Fitting world-wide web request traces with the EM-algorithm. Perform. Eval. 52(2-3): 175-191 (2003)

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. 29(6): 524-541 (2003)

Boudewijn R. Haverkort, Rachid El Abdouni Khayari, Ramin Sadre: A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies. Computer Performance Evaluation / TOOLS 2003: 273-290

Alexander Bell, Boudewijn R. Haverkort: Sequential and Distributed Model Checking of Petri Net Specifications. Electr. Notes Theor. Comput. Sci. 68(4): 539-558 (2002)

Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort: Introduction to the Special Section on Petri Nets and Performance Models. IEEE Trans. Software Eng. 28(10): 913-914 (2002)

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354

Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter: Enabling Network Caching of Dynamic Web Objects. Computer Performance Evaluation / TOOLS 2002: 329-338

Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112

Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort: A Validation of the Pseudo Self-Similar Traffic Model. DSN 2002: 727-734

Henrik C. Bohnenkamp, Boudewijn R. Haverkort: The Mean Value of the Maximum. PAPM-PROBMIV 2002: 37-56

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289

Boudewijn R. Haverkort, Rick Harper: Performance and dependability techniques and tools. Perform. Eval. 44(1-4): 1-4 (2001)

Ramin Sadre, Boudewijn R. Haverkort: Flows in Networks of MAP/MAP/1 Queues. MMB 2001: 195-208

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

Stephan Ehren, Norbert Ludwig, Boudewijn R. Haverkort, Rachid El Abdouni Khayari: Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme. Wirtschaftsinformatik 2001: 37

Boudewijn R. Haverkort (Ed.): Proceedings 11th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB 2001), September 11-14, 2001, Aachen, Germany. VDE Verlag 2001, isbn 3-8007-2626-2

Marko Schuba, Boudewijn R. Haverkort, Gaby Schneider: Performance evaluation of multicast communication in packet-switched networks. Perform. Eval. 39(1-4): 61-80 (2000)

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372

Ramin Sadre, Boudewijn R. Haverkort: FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. Computer Performance Evaluation / TOOLS 2000: 324-327

Boudewijn R. Haverkort: Markovian Models for Performance and Dependability Evaluation. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 38-83

Boudewijn R. Haverkort: Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. ICALP Satellite Workshops 2000: 501-510

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792

Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237

Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (Eds.): Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings. Lecture Notes in Computer Science 1786, Springer 2000, isbn 3-540-67260-5

Boudewijn R. Haverkort: Performance Evaluation of Polling-Based Communication Systems Using SPNs. Application of Petri Nets to Communication Networks 1999: 176-209

Boudewijn R. Haverkort, Hessel P. Idzenga: Structural Decomposition and Serial Solution of SPN Models of the ATM GAUSS Switch. Application of Petri Nets to Communication Networks 1999: 210-231

Henrik C. Bohnenkamp, Boudewijn R. Haverkort: Semi-numerical Solution of Stochastic Process Algebra Models. ARTS 1999: 228-243

Ramin Sadre, Boudewijn R. Haverkort: FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations. MMB (Kurzvorträge) 1999: 77-80

Boudewijn R. Haverkort: Performance of computer communication systems - a model-based approach. Wiley 1998, isbn 978-0-471-97228-0, pp. I-XXI, 1-495

Alexander Ost, Boudewijn R. Haverkort: Analysis of windowing mechanisms with infinite-state stochastic Petri nets. SIGMETRICS Performance Evaluation Review 26(2): 38-46 (1998)

Gaby Schneider, Marko Schuba, Boudewijn R. Haverkort: QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams. Computer Performance Evaluation (Tools) 1998: 63-74

Leonard J. N. Franken, Boudewijn R. Haverkort: Quality of service management using generic modelling and monitoring techniques. Distributed Systems Engineering 4(1): 28-37 (1997)

Alexander Ost, Carsten Frank, Boudewijn R. Haverkort: Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen. MMB 1997: 71-85

Geert J. Heijenk, Boudewijn R. Haverkort: Design and evaluation of a connection management mechanism for an ATM-based connectionless service. Distributed Systems Engineering 3(1): 53-67 (1996)

Boudewijn R. Haverkort, Ignas G. Niemegeers: Performability Modelling Tools and Techniques. Perform. Eval. 25(1): 17-40 (1996)

Andrew J. Coyle, Boudewijn R. Haverkort, William Henderson, Charles E. M. Pearce: A mean-value analysis of slotted-ring network models. Telecommunication Systems 6(1): 203-227 (1996)

Boudewijn R. Haverkort: In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. Comput. J. 38(7): 521-529 (1995)

Boudewijn R. Haverkort: Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support. MMB 1995: 239-253

Boudewijn R. Haverkort, Hessel P. Idzenga, Byung G. Kim: Performance evaluation of threshold-based ATM cell scheduling policies under Markov modulated Poisson traffic using stochastic Petri nets. Modelling and Evaluation of ATM Networks 1994: 553-572

Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew Rindos, Varsha Mainkar: Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. Computer Performance Evaluation 1994: 1-24

Leonard J. N. Franken, Raymond H. Pijpers, Boudewijn R. Haverkort: Modelling Aspects of Model-Based Dynamic QoS Management by the Performability Manager. Computer Performance Evaluation 1994: 89-110

Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman: Xmgm: Performance Modeling Using Matrix Geometric Techniques. MASCOTS 1994: 152-157

Boudewijn R. Haverkort, Kishor S. Trivedi: Specification techniques for Markov reward models. Discrete Event Dynamic Systems 3(2-3): 219-247 (1993)

Boudewijn R. Haverkort: Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets. Perform. Eval. 18(1): 61-78 (1993)

Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort: Composite Performance and Dependability Analysis. Perform. Eval. 14(3-4): 197-215 (1992)

Aad P. A. van Moorsel, Boudewijn R. Haverkort, Ignas G. Niemegeers: A Method for Analysing the Performance Aspects of the Fault-Tolerance Mechanisms in FDDI. INFOCOM 1992: 372-381

Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen: Sensitivity and Uncertainty Analysis in Performability Modeling. SRDS 1992: 93-102

Boudewijn R. Haverkort: Performability modelling tools, evaluation techniques, and applications. University Twente 1991, isbn 978-90-9003915-2, pp. I-XVIII, 1-179

Boudewijn R. Haverkort: Approximate Performability Analysis using Generalized Stochastic Petri Nets. PNPM 1991: 300-309

Boudewijn R. Haverkort, Ignas G. Niemegeers: Performability Modelling Using Dynamic Queueing Networks. SIGMETRICS 1989: 225