default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBoudewijn R. Haverkort
Boudewijn R. H. M. Haverkort
Person information
- affiliation (PhD 1990): University of Twente, Enschede, Netherlands
- affiliation (former): Tilburg University, Tilburg, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c123]Hossain Muhammad Muctadir
, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort:
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study. Software Engineering 2025: 40- 2024
- [j49]Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort:
Current trends in digital twin development, maintenance, and operation: an interview study. Softw. Syst. Model. 23(5): 1275-1305 (2024) - [c122]Boudewijn R. Haverkort:
Give Probabilities a Fair Chance! Principles of Verification (3) 2024: 469-486 - [c121]Raghavendran Gunasekaran, Boudewijn R. Haverkort:
Verification of Digital Twins through Statistical Model Checking. PoEM Companion 2024 - [p1]Boudewijn R. Haverkort, Aldert de Jongste, Pieter van Kuilenburg:
Use-Inspired Research on Big Data and Applications in the Public-Private Research and Innovation Program Commit2Data. Commit2Data 2024: 1:1-1:8 - [e11]Boudewijn R. Haverkort, Aldert de Jongste, Pieter van Kuilenburg, Ruben D. Vromans:
Commit2Data. OASIcs 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-351-5 [contents] - 2023
- [i3]Hossain Muhammad Muctadir, David A. Manrique Negrin, Raghavendran Gunasekaran, Loek Cleophas, Mark van den Brand, Boudewijn R. Haverkort:
Current Trends in Digital Twin Development, Maintenance, and Operation: An Interview Study. CoRR abs/2306.10085 (2023) - 2022
- [j48]Baver Ozceylan, Boudewijn R. Haverkort, Maurits de Graaf, Marco E. T. Gerards:
Minimizing the Maximum Processor Temperature by Temperature-Aware Scheduling of Real-Time Tasks. IEEE Trans. Very Large Scale Integr. Syst. 30(8): 1084-1097 (2022) - 2021
- [c120]Mark van den Brand, Loek Cleophas, Raghavendran Gunasekaran, Boudewijn R. Haverkort, David A. Manrique Negrin, Hossain Muhammad Muctadir:
Models Meet Data: Challenges to Create Virtual Entities for Digital Twins. MoDELS (Companion) 2021: 225-228 - [c119]Boudewijn R. Haverkort:
Performance Evaluation: Model-Driven or Problem-Driven? QEST 2021: 3-11 - 2020
- [j47]Boudewijn R. Haverkort, Felix Finkbeiner, Pieter-Tjerk de Boer:
Machine Learning Data Center Workloads Using Generative Adversarial Networks. SIGMETRICS Perform. Evaluation Rev. 48(2): 21-23 (2020) - [c118]Freek van den Berg, Boudewijn R. Haverkort:
A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems. MMB 2020: 242-258
2010 – 2019
- 2019
- [c117]Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort, Gerard Geist:
A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications. DSN (Industry Track) 2019: 5-8 - 2018
- [j46]Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort:
An integrated testbed for locally monitoring SCADA systems in smart grids. Energy Inform. 1(1) (2018) - [c116]Björn F. Postema, Niels J. Geuze, Boudewijn R. Haverkort:
Fitting Realistic Data Centre Workloads: A Data Science Approach. e-Energy 2018: 486-491 - [c115]Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort:
A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements. MMB 2018: 295-301 - [c114]Max Kerkers, Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort:
A Tool for Generating Automata of IEC60870-5-104 Implementations. MMB 2018: 307-311 - [c113]Freek van den Berg, Vahid Garousi, Bedir Tekinerdogan, Boudewijn R. Haverkort:
Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support. SoSE 2018: 225-232 - [c112]Boudewijn R. Haverkort:
Zero-Energy Internet-of-Things: Energy-SIM'18 Workshop Keynote Abstract. ICPE Companion 2018: 66 - [c111]Björn F. Postema, Tobias Van Damme, Claudio De Persis, Pietro Tesi, Boudewijn R. Haverkort:
Combining Energy Saving Techniques in Data Centres using Model-Based Analysis. ICPE Companion 2018: 67-72 - 2017
- [j45]Boudewijn R. Haverkort, Armin Zimmermann:
Smart Industry: How ICT Will Change the Game! IEEE Internet Comput. 21(1): 8-10 (2017) - [c110]Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman:
iDSL: Automated Performance Evaluation of Service-Oriented Systems. ModelEd, TestEd, TrustEd 2017: 214-236 - [c109]Björn F. Postema, Boudewijn R. Haverkort:
Specification of Data Centre Power Management Strategies. e-Energy 2017: 284-289 - [c108]Marijn R. Jongerden, Boudewijn R. Haverkort:
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. QEST 2017: 88-103 - [c107]Justyna J. Chromik, Carina Pilch, Pascal Brackmann, Christof Duhme, Franziska Everinghoff, Artur Giberlein, Thomas Teodorowicz, Julian Wieland, Boudewijn R. Haverkort, Anne Remke:
Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases. SmartGridComm 2017: 467-472 - [c106]Björn F. Postema, Boudewijn R. Haverkort:
Evaluation of Advanced Data Centre Power Management Strategies. PASM 2017: 173-191 - 2016
- [j44]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Survivability analysis of a sewage treatment facility using hybrid Petri nets. Perform. Evaluation 97: 36-56 (2016) - [c105]Anna Kolesnichenko, Boudewijn R. Haverkort, Anne Remke, Pieter-Tjerk de Boer:
Fitting a code-red virus spread model: An account of putting theory into practice. DRCN 2016: 39-46 - [c104]Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort:
Improving SCADA security of a local process with a power grid model. ICS-CSR 2016 - [c103]Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort:
Evaluating load balancing policies for performance and energy-efficiency. QAPL 2016: 98-117 - [c102]Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas:
Preface. PASM 2016: 1-3 - [e10]Anne Remke, Boudewijn R. Haverkort:
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. Lecture Notes in Computer Science 9629, Springer 2016, ISBN 978-3-319-31558-4 [contents] - [e9]Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas:
8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016, Münster, Germany, April 2016. Electronic Notes in Theoretical Computer Science 327, Elsevier 2016 [contents] - 2015
- [j43]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Hybrid Petri nets with multiple stochastic transition firings. EAI Endorsed Trans. Self Adapt. Syst. 1(3): e1 (2015) - [j42]Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort:
On hypothesis testing for statistical model checking. Int. J. Softw. Tools Technol. Transf. 17(4): 377-395 (2015) - [c101]Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke:
Energy Resilience Modelling for Smart Houses. DSN 2015: 275-286 - [c100]Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke:
Computing Response Time Distributions Using Iterative Probabilistic Model Checking. EPEW 2015: 208-224 - [c99]Freek van den Berg, Anne Remke, Boudewijn R. Haverkort:
iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. EPEW 2015: 227-242 - [c98]Björn F. Postema, Boudewijn R. Haverkort:
An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres. EPEW 2015: 258-272 - [c97]Erik Ramsgaard Wognsen, Boudewijn R. Haverkort, Marijn R. Jongerden, René Rydhof Hansen, Kim Guldstrand Larsen:
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems. FORMATS 2015: 305-320 - [c96]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo:
Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. VALUETOOLS 2015: 127-134 - [c95]Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman:
Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques. VALUETOOLS 2015: 158-163 - [e8]Javier Campos, Boudewijn R. Haverkort:
Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings. Lecture Notes in Computer Science 9259, Springer 2015, ISBN 978-3-319-22263-9 [contents] - 2014
- [c94]Björn F. Postema, Boudewijn R. Haverkort:
Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management. E2DC 2014: 52-67 - [c93]Freek van den Berg, Anne Remke, Boudewijn R. Haverkort:
A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. MCPS 2014: 80-93 - [c92]Georgios Karagiannis, Giang T. Pham, A. Dung Nguyen, Geert J. Heijenk, Boudewijn R. Haverkort, Frans Campfens:
Performance of LTE for Smart Grid Communications. MMB/DFT 2014: 225-239 - [c91]Björn F. Postema, Anne Remke, Boudewijn R. Haverkort, Hamed Ghasemieh:
Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. MMB/DFT 2014: 255-259 - [c90]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Hybrid Petri nets with multiple stochastic transition firings. VALUETOOLS 2014 - [c89]Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario:
Survivability Evaluation of Gas, Water and Electricity Infrastructures. PASM 2014: 5-25 - [c88]J. Delamare, B. Bitachon, Z. Peng, Y. Wang, Boudewijn R. Haverkort, Marijn R. Jongerden:
Development of a Smart Grid Simulation Environment. UKPEW 2014: 19-29 - 2013
- [j41]Boudewijn R. Haverkort:
The Dependable Systems-of-Systems Design Challenge. IEEE Secur. Priv. 11(5): 62-65 (2013) - [j40]Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Model checking for performability. Math. Struct. Comput. Sci. 23(4): 751-795 (2013) - [j39]Idilio Drago, Ricardo de Oliveira Schmidt, Rick Hofstede, Anna Sperotto, Morteza Karimzadeh, Boudewijn R. Haverkort, Aiko Pras:
Networking for the Cloud: Challenges and Trends. Prax. Inf.verarb. Kommun. 36(4): 207-214 (2013) - [c87]Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort:
A logic for model-checking mean-field models. DSN 2013: 1-12 - [c86]Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort:
Performance Evaluation for Collision Prevention Based on a Domain Specific Language. EPEW 2013: 276-287 - [c85]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. PRDC 2013: 152-161 - [c84]Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort:
Automated Rare Event Simulation for Stochastic Petri Nets. QEST 2013: 372-388 - [c83]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Analysis of a sewage treatment facility using hybrid Petri nets. VALUETOOLS 2013: 165-174 - [c82]Boudewijn R. Haverkort:
Challenges for modelling and analysis in embedded systems and systems-of-systems design. AiSoS 2013: 40-46 - 2012
- [j38]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. Evaluation 69(7-8): 336-355 (2012) - [c81]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 - [c80]Marijn R. Jongerden, Boudewijn R. Haverkort:
Lifetime Improvement by Battery Scheduling. MMB/DFT 2012: 106-120 - [c79]Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort:
Simulative and Analytical Evaluation for ASD-Based Embedded Software. MMB/DFT 2012: 166-181 - 2011
- [j37]Ivana Cerná, Boudewijn R. Haverkort:
Parallel and Distributed Methods in Verification. J. Log. Comput. 21(1): 1-3 (2011) - [j36]Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen:
Time-bounded reachability in tree-structured QBDs by abstraction. Perform. Evaluation 68(2): 105-125 (2011) - [j35]Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort:
Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Evaluation 68(2): 157-179 (2011) - [c78]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 - [c77]Boudewijn R. Haverkort:
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? FORMATS 2011: 18-24 - [c76]Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort:
An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks. WWIC 2011: 309-322 - 2010
- [j34]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Performance evaluation and model checking join forces. Commun. ACM 53(9): 76-85 (2010) - [j33]Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Performability assessment by model checking of Markov reward models. Formal Methods Syst. Des. 36(1): 1-36 (2010) - [j32]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. Ind. Informatics 6(3): 276-286 (2010) - [c75]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 - [c74]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 - [c73]Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen:
Quantitative Verification in Practice. ISoLA (2) 2010: 127 - [c72]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 - [c71]Marijn R. Jongerden, Boudewijn R. Haverkort:
Computing Lifetimes for Battery-Powered Devices. OR 2010: 193-198 - [c70]Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. Fokkink, Boudewijn R. Haverkort:
Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST 2010: 241-250 - [c69]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
2000 – 2009
- 2009
- [j31]Marijn R. Jongerden, Boudewijn R. Haverkort:
Which battery model to use? IET Softw. 3(6): 445-457 (2009) - [c68]Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen:
Maximizing system lifetime by battery scheduling. DSN 2009: 63-72 - [c67]Gerard J. M. Smit, Gerrit F. van der Hoeven, Jan Friso Groote, Ralph H. J. M. Otten, Hans Tonino, Ben H. H. Juurlink, Boudewijn R. H. M. Haverkort:
The 3TU embedded systems master in the Netherlands. WESE@ESWEEK 2009: 8-12 - [c66]Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort:
Adaptive resource control in 2-hop ad-hoc networks. ICUMT 2009: 1-9 - [c65]Boudewijn R. Haverkort:
Time - It's time for a change. MASCOTS 2009: 1 - [c64]Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen:
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST 2009: 133-142 - [c63]Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort:
Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST 2009: 247-256 - [c62]Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort:
A Massively Scalable Architecture For Instant Messaging & Presence. PASM@MASCOTS 2009: 109-130 - 2008
- [j30]Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk:
A Centralized Feedback Control Model for Resource Management in Wireless Networks. Prax. Inf.verarb. Kommun. 31(1): 51-56 (2008) - [j29]Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen:
Quantitative analysis of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. 36(3): 2 (2008) - [j28]Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort:
MeanField analysis for the evaluation of gossip protocols. SIGMETRICS Perform. Evaluation Rev. 36(3): 31-39 (2008) - [c61]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 - [c60]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Reachability in continuous-time Markov reward decision processes. Logic and Automata 2008: 53-72 - [c59]Lucia Cloth, Boudewijn R. Haverkort:
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE 2008: 90-91 - [c58]Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga:
Architectural dependability evaluation with Arcade. DSN 2008: 512-521 - [c57]Ramin Sadre, Boudewijn R. Haverkort:
Changes in the Web from 2000 to 2007. DSOM 2008: 136-148 - [c56]Boudewijn R. Haverkort:
Performance and Dependability Evaluation: Successes, Failures and Challenges. EPEW 2008: 1 - [c55]Anne Remke, Boudewijn R. Haverkort:
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS 2008: 188-202 - [c54]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 - [c53]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 - [c52]Lucia Cloth, Boudewijn R. Haverkort:
The Performability Tool P'ility. QEST 2008: 117-118 - [c51]Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol:
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. PDMC@ETAPS 2008: 35-50 - [e7]Ivana Cerná, Boudewijn R. Haverkort:
Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007. Electronic Notes in Theoretical Computer Science 198(1), Elsevier 2008 [contents] - 2007
- [j27]Nicky D. van Foreest, Boudewijn R. Haverkort, Michel Mandjes, Werner R. W. Scheinhardt:
Versatile stochastic models for networks with asymmetric TCP sources. Perform. Evaluation 64(6): 507-523 (2007) - [j26]Rena Bakhshi, François Bonnet, Wan J. Fokkink, Boudewijn R. Haverkort:
Formal analysis techniques for gossiping protocols. ACM SIGOPS Oper. Syst. Rev. 41(5): 28-36 (2007) - [j25]Anne Remke, Boudewijn R. Haverkort, Lucia Cloth:
CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007) - [j24]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) - [c50]Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort:
Computing Battery Lifetime Distributions. DSN 2007: 780-789 - [c49]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 - [c48]Matthias Kuntz, Boudewijn R. Haverkort:
Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW 2007: 80-96 - [c47]Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt:
A Fixed-Point Algorithm for Closed Queueing Networks. EPEW 2007: 154-170 - [c46]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 - [c45]Anne Remke, Boudewijn R. Haverkort:
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS 2007: 336-351 - [c44]Ivana Cerná, Boudewijn R. Haverkort:
Preface. PDMC@CAV 2007: 1-2 - [e6]Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele:
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 [contents] - [e5]Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol:
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 [contents] - [i2]Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele:
07101 Executive Summary -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007 - [i1]Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele:
07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007 - 2006
- [j23]Alexander Bell, Boudewijn R. Haverkort:
Distributed disk-based algorithms for model checking very large Markov chains. Formal Methods Syst. Des. 29(2): 177-196 (2006) - [j22]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 Secur. Comput. 3(3): 169-171 (2006) - [c43]José M. Martínez, Boudewijn R. Haverkort:
CSL model checking of Deterministic and Stochastic Petri Nets. MMB 2006: 265-282 - [c42]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 - [c41]Roger Kalden, Boudewijn R. Haverkort:
Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. QEST 2006: 83-92 - [c40]José M. Martínez, Boudewijn R. Haverkort:
MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. QEST 2006: 133-134 - 2005
- [j21]Boudewijn R. Haverkort, Joost-Pieter Katoen:
Performance and verification. SIGMETRICS Perform. Evaluation Rev. 32(4): 3 (2005) - [j20]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Model checking meets performance evaluation. SIGMETRICS Perform. Evaluation Rev. 32(4): 10-15 (2005) - [j19]Alexander Bell, Boudewijn R. Haverkort:
Sequential and distributed model checking of Petri nets. Int. J. Softw. Tools Technol. Transf. 7(1): 43-60 (2005) - [j18]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) - [c39]Lucia Cloth, Boudewijn R. Haverkort:
Model Checking for Survivability. QEST 2005: 145-154 - [c38]Anne Remke, Boudewijn R. Haverkort, Lucia Cloth:
Model Checking Infinite-State Markov Chains. TACAS 2005: 237-252 - 2004
- [j17]Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort, Alexander Ost:
The pseudo-self-similar traffic model: application and validation. Perform. Evaluation 56(1-4): 3-22 (2004) - [c37]Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle:
Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710 - [c36]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 - [e4]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle:
Validation of Stochastic Systems - A Guide to Current Research. Lecture Notes in Computer Science 2925, Springer 2004, ISBN 3-540-22265-0 [contents] - 2003
- [j16]Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort:
Fitting world-wide web request traces with the EM-algorithm. Perform. Evaluation 52(2-3): 175-191 (2003) - [j15]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) - [c35]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 - 2002
- [j14]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) - [c34]Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort:
Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354 - [c33]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 - [c32]Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier:
Model Checking Performability Properties. DSN 2002: 103-112 - [c31]Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort:
A Validation of the Pseudo Self-Similar Traffic Model. DSN 2002: 727-734 - [c30]Henrik C. Bohnenkamp, Boudewijn R. Haverkort:
The Mean Value of the Maximum. PAPM-PROBMIV 2002: 37-56 - [c29]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289 - [c28]Alexander Bell, Boudewijn R. Haverkort:
Sequential and Distributed Model Checking of Petri Net Specifications. PDMC@CONCUR 2002: 539-558 - 2001
- [j13]Boudewijn R. Haverkort, Rick Harper:
Performance and dependability techniques and tools. Perform. Evaluation 44(1-4): 1-4 (2001) - [c27]Ramin Sadre, Boudewijn R. Haverkort:
Flows in Networks of MAP/MAP/1 Queues. MMB 2001: 195-208 - [c26]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 - [c25]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 - [e3]Boudewijn R. Haverkort:
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 [contents] - [e2]Reinhard German, Boudewijn R. Haverkort:
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001. IEEE Computer Society 2001, ISBN 0-7695-1248-8 [contents] - 2000
- [j12]Marko Schuba, Boudewijn R. Haverkort, Gaby Schneider:
Performance evaluation of multicast communication in packet-switched networks. Perform. Evaluation 39(1-4): 61-80 (2000) - [c24]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372 - [c23]Ramin Sadre, Boudewijn R. Haverkort:
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. Computer Performance Evaluation / TOOLS 2000: 324-327 - [c22]Boudewijn R. Haverkort:
Markovian Models for Performance and Dependability Evaluation. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 38-83 - [c21]Boudewijn R. Haverkort:
Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. ICALP Satellite Workshops 2000: 501-510 - [c20]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792 - [c19]Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237 - [e1]Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith:
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 [contents]
1990 – 1999
- 1999
- [c18]Boudewijn R. Haverkort:
Performance Evaluation of Polling-Based Communication Systems Using SPNs. Application of Petri Nets to Communication Networks 1999: 176-209 - [c17]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 - [c16]Henrik C. Bohnenkamp, Boudewijn R. Haverkort:
Semi-numerical Solution of Stochastic Process Algebra Models. ARTS 1999: 228-243 - [c15]Ramin Sadre, Boudewijn R. Haverkort:
FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations. MMB (Kurzvorträge) 1999: 77-80 - [c14]Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp:
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. PNPM 1999: 12-21 - 1998
- [b3]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 - [j11]Boudewijn R. Haverkort:
Approximate analysis of networks of PH|PH|1|K queues with customer losses: Test results. Ann. Oper. Res. 79: 271-291 (1998) - [j10]Alexander Ost, Boudewijn R. Haverkort:
Analysis of windowing mechanisms with infinite-state stochastic Petri nets. SIGMETRICS Perform. Evaluation Rev. 26(2): 38-46 (1998) - [c13]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 - 1997
- [j9]Leonard J. N. Franken, Boudewijn R. Haverkort:
Quality of service management using generic modelling and monitoring techniques. Distributed Syst. Eng. 4(1): 28-37 (1997) - [c12]Alexander Ost, Carsten Frank, Boudewijn R. Haverkort:
Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen. MMB 1997: 71-85 - [c11]Boudewijn R. Haverkort, Alexander Ost:
Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method. PNPM 1997: 36-45 - 1996
- [j8]Geert J. Heijenk, Boudewijn R. Haverkort:
Design and evaluation of a connection management mechanism for an ATM-based connectionless service. Distributed Syst. Eng. 3(1): 53-67 (1996) - [j7]Boudewijn R. Haverkort, Ignas G. Niemegeers:
Performability Modelling Tools and Techniques. Perform. Evaluation 25(1): 17-40 (1996) - [j6]Andrew J. Coyle, Boudewijn R. Haverkort, William Henderson, Charles E. M. Pearce:
A mean-value analysis of slotted-ring network models. Telecommun. Syst. 6(1): 203-227 (1996) - 1995
- [j5]Boudewijn R. Haverkort:
In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. Comput. J. 38(7): 521-529 (1995) - [c10]Boudewijn R. Haverkort:
Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support. MMB 1995: 239-253 - [c9]Boudewijn R. Haverkort, Aad P. A. van Moorsel:
Using the probabilistic evaluation tool for the analytical solution of large Markov models. PNPM 1995: 206-207 - 1994
- [j4]Leonard J. N. Franken, Boudewijn R. Haverkort:
The performability manager. IEEE Netw. 8(1): 24-32 (1994) - [c8]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 - [c7]Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew J. Rindos, Varsha Mainkar:
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. Computer Performance Evaluation 1994: 1-24 - [c6]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 - [c5]Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman:
Xmgm: Performance Modeling Using Matrix Geometric Techniques. MASCOTS 1994: 152-157 - 1993
- [j3]Boudewijn R. Haverkort, Kishor S. Trivedi:
Specification techniques for Markov reward models. Discret. Event Dyn. Syst. 3(2-3): 219-247 (1993) - [j2]Boudewijn R. Haverkort:
Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets. Perform. Evaluation 18(1): 61-78 (1993) - 1992
- [j1]Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort:
Composite Performance and Dependability Analysis. Perform. Evaluation 14(3-4): 197-215 (1992) - [c4]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 - [c3]Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen:
Sensitivity and Uncertainty Analysis in Performability Modeling. SRDS 1992: 93-102 - 1991
- [b2]Boudewijn R. Haverkort:
Performability modelling tools, evaluation techniques, and applications. University Twente 1991, ISBN 978-90-9003915-2, pp. I-XVIII, 1-179 - [c2]Boudewijn R. Haverkort:
Approximate Performability Analysis using Generalized Stochastic Petri Nets. PNPM 1991: 300-309 - 1990
- [b1]Boudewijn R. Haverkort:
Performability Modelling Tools, Evaluation Techniques and Applications. University of Twente, Enschede, Netherlands, 1990
1980 – 1989
- 1989
- [c1]Boudewijn R. Haverkort, Ignas G. Niemegeers:
Performability Modelling Using Dynamic Queueing Networks. SIGMETRICS 1989: 225
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-03 00:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
