Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDBoudewijn R. Haverkort
Person information
- affiliation: Tilburg University, Tilburg, Netherlands
- affiliation (former): University of Twente, Enschede, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[c107]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
- [c106]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
- [c105]Björn F. Postema, Niels J. Geuze, Boudewijn R. Haverkort:
Fitting Realistic Data Centre Workloads: A Data Science Approach. e-Energy 2018: 486-491 - [c104]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 - [c103]Max Kerkers, Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort:
A Tool for Generating Automata of IEC60870-5-104 Implementations. MMB 2018: 307-311 - [c102]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 - [c101]Boudewijn R. Haverkort:
Zero-Energy Internet-of-Things: Energy-SIM'18 Workshop Keynote Abstract. ICPE Companion 2018: 66 - [c100]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
- [j51]Boudewijn R. Haverkort, Armin Zimmermann:
Smart Industry: How ICT Will Change the Game! IEEE Internet Comput. 21(1): 8-10 (2017) - [c99]Freek van den Berg, Boudewijn R. Haverkort, Jozef Hooman:
iDSL: Automated Performance Evaluation of Service-Oriented Systems. ModelEd, TestEd, TrustEd 2017: 214-236 - [c98]Björn F. Postema, Boudewijn R. Haverkort:
Specification of Data Centre Power Management Strategies. e-Energy 2017: 284-289 - [c97]Marijn R. Jongerden, Boudewijn R. Haverkort:
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. QEST 2017: 88-103 - [c96]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 - 2016
- [j50]Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas:
Preface. Electron. Notes Theor. Comput. Sci. 327: 1-3 (2016) - [j49]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Survivability analysis of a sewage treatment facility using hybrid Petri nets. Perform. Evaluation 97: 36-56 (2016) - [c95]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 - [c94]Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort:
Improving SCADA security of a local process with a power grid model. ICS-CSR 2016 - [c93]Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort:
Evaluating load balancing policies for performance and energy-efficiency. QAPL 2016: 98-117 - [e8]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] - 2015
- [j48]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. Electron. Notes Theor. Comput. Sci. 310: 5-25 (2015) - [j47]J. Delamare, B. Bitachon, Z. Peng, Y. Wang, Boudewijn R. Haverkort, Marijn R. Jongerden:
Development of a Smart Grid Simulation Environment. Electron. Notes Theor. Comput. Sci. 318: 19-29 (2015) - [j46]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) - [j45]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) - [c92]Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke:
Energy Resilience Modelling for Smart Houses. DSN 2015: 275-286 - [c91]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 - [c90]Freek van den Berg, Anne Remke, Boudewijn R. Haverkort:
iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. EPEW 2015: 227-242 - [c89]Björn F. Postema, Boudewijn R. Haverkort:
An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres. EPEW 2015: 258-272 - [c88]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 - [e7]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
- [c87]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 - [c86]Freek van den Berg, Anne Remke, Boudewijn R. Haverkort:
A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. MCPS 2014: 80-93 - [c85]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 - [c84]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 - [c83]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Hybrid Petri nets with multiple stochastic transition firings. VALUETOOLS 2014 - 2013
- [j44]Boudewijn R. Haverkort:
The Dependable Systems-of-Systems Design Challenge. IEEE Secur. Priv. 11(5): 62-65 (2013) - [j43]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) - [j42]Idilio Drago, Ricardo de Oliveira Schmidt, Rick Hofstede, Anna Sperotto, Morteza Karimzadeh, Boudewijn R. Haverkort, Aiko Pras:
Networking for the Cloud: Challenges and Trends. PIK Prax. Informationsverarbeitung Kommun. 36(4): 207-214 (2013) - [c82]Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort:
A logic for model-checking mean-field models. DSN 2013: 1-12 - [c81]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 - [c80]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. PRDC 2013: 152-161 - [c79]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 - [c78]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Analysis of a sewage treatment facility using hybrid Petri nets. VALUETOOLS 2013: 165-174 - [c77]Boudewijn R. Haverkort:
Challenges for modelling and analysis in embedded systems and systems-of-systems design. AiSoS 2013: 40-46 - 2012
- [j41]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) - [c76]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 - [c75]Marijn R. Jongerden, Boudewijn R. Haverkort:
Lifetime Improvement by Battery Scheduling. MMB/DFT 2012: 106-120 - [c74]Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort:
Simulative and Analytical Evaluation for ASD-Based Embedded Software. MMB/DFT 2012: 166-181 - 2011
- [j40]Ivana Cerná, Boudewijn R. Haverkort:
Parallel and Distributed Methods in Verification. J. Log. Comput. 21(1): 1-3 (2011) - [j39]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) - [j38]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) - [c73]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 - [c72]Boudewijn R. Haverkort:
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? FORMATS 2011: 18-24 - [c71]Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort:
An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks. WWIC 2011: 309-322 - 2010
- [j37]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Performance evaluation and model checking join forces. Commun. ACM 53(9): 76-85 (2010) - [j36]Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort:
A Massively Scalable Architecture For Instant Messaging & Presence. Electron. Notes Theor. Comput. Sci. 261: 109-130 (2010) - [j35]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) - [j34]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) - [c70]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 - [c69]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 - [c68]Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen:
Quantitative Verification in Practice. ISoLA (2) 2010: 127 - [c67]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 - [c66]Marijn R. Jongerden, Boudewijn R. Haverkort:
Computing Lifetimes for Battery-Powered Devices. OR 2010: 193-198 - [c65]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 - [c64]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
- [j33]Marijn R. Jongerden, Boudewijn R. Haverkort:
Which battery model to use? IET Softw. 3(6): 445-457 (2009) - [c63]Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen:
Maximizing system lifetime by battery scheduling. DSN 2009: 63-72 - [c62]Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort:
Adaptive resource control in 2-hop ad-hoc networks. ICUMT 2009: 1-9 - [c61]Boudewijn R. Haverkort:
Time - It's time for a change. MASCOTS 2009: 1 - [c60]Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen:
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST 2009: 133-142 - [c59]Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort:
Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST 2009: 247-256 - 2008
- [j32]Ivana Cerná, Boudewijn R. Haverkort:
Preface. Electron. Notes Theor. Comput. Sci. 198(1): 1-2 (2008) - [j31]Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol:
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electron. Notes Theor. Comput. Sci. 220(2): 35-50 (2008) - [j30]Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk:
A Centralized Feedback Control Model for Resource Management in Wireless Networks. PIK Prax. Informationsverarbeitung 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) - [c58]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 - [c57]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Reachability in continuous-time Markov reward decision processes. Logic and Automata 2008: 53-72 - [c56]Lucia Cloth, Boudewijn R. Haverkort:
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE 2008: 90-91 - [c55]Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga:
Architectural dependability evaluation with Arcade. DSN 2008: 512-521 - [c54]Ramin Sadre, Boudewijn R. Haverkort:
Changes in the Web from 2000 to 2007. DSOM 2008: 136-148 - [c53]Boudewijn R. Haverkort:
Performance and Dependability Evaluation: Successes, Failures and Challenges. EPEW 2008: 1 - [c52]Anne Remke, Boudewijn R. Haverkort:
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS 2008: 188-202 - [c51]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 - [c50]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 - [c49]Lucia Cloth, Boudewijn R. Haverkort:
The Performability Tool P'ility. QEST 2008: 117-118 - 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) - [c48]Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort:
Computing Battery Lifetime Distributions. DSN 2007: 780-789 - [c47]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 - [c46]Matthias Kuntz, Boudewijn R. Haverkort:
Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW 2007: 80-96 - [c45]Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt:
A Fixed-Point Algorithm for Closed Queueing Networks. EPEW 2007: 154-170 - [c44]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 - [c43]Anne Remke, Boudewijn R. Haverkort:
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS 2007: 336-351 - [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) - [c42]José M. Martínez, Boudewijn R. Haverkort:
CSL model checking of Deterministic and Stochastic Petri Nets. MMB 2006: 265-282 - [c41]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 - [c40]Roger Kalden, Boudewijn R. Haverkort:
Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. QEST 2006: 83-92 - [c39]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) - [c38]Lucia Cloth, Boudewijn R. Haverkort:
Model Checking for Survivability. QEST 2005: 145-154 - [c37]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) - [c36]Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle:
Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710 - [c35]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) - [c34]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]Alexander Bell, Boudewijn R. Haverkort:
Sequential and Distributed Model Checking of Petri Net Specifications. Electron. Notes Theor. Comput. Sci. 68(4): 539-558 (2002) - [j13]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) - [c33]Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort:
Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354 - [c32]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 - [c31]Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier:
Model Checking Performability Properties. DSN 2002: 103-112 - [c30]