Boudewijn R. Haverkort

According to our database1, Boudewijn R. Haverkort authored at least 158 papers between 1989 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

IEEE Fellow

IEEE Fellow 2007, "For contributions to performance and dependability evaluation of computer and communication systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Combining Energy Saving Techniques in Data Centres using Model-Based Analysis.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Zero-Energy Internet-of-Things: Energy-SIM'18 Workshop Keynote Abstract.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Designing Cyber-Physical Systems with aDSL: a Domain-Specific Language and Tool Support.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

A Tool for Generating Automata of IEC60870-5-104 Implementations.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

Fitting Realistic Data Centre Workloads: A Data Science Approach.
Proceedings of the Ninth International Conference on Future Energy Systems, 2018

2017
Smart Industry: How ICT Will Change the Game!
IEEE Internet Computing, 2017

Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.
Proceedings of the 2017 IEEE International Conference on Smart Grid Communications, 2017

Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Specification of Data Centre Power Management Strategies.
Proceedings of the Eighth International Conference on Future Energy Systems, 2017

iDSL: Automated Performance Evaluation of Service-Oriented Systems.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016
Survivability analysis of a sewage treatment facility using hybrid Petri nets.
Perform. Eval., 2016

Preface.
Electr. Notes Theor. Comput. Sci., 2016

Evaluating load balancing policies for performance and energy-efficiency.
Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

Improving SCADA security of a local process with a power grid model.
Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research 2016, 2016

Fitting a code-red virus spread model: An account of putting theory into practice.
Proceedings of the 12th International Conference on the Design of Reliable Communication Networks, 2016

2015
On hypothesis testing for statistical model checking.
STTT, 2015

Development of a Smart Grid Simulation Environment.
Electr. Notes Theor. Comput. Sci., 2015

Survivability Evaluation of Gas, Water and Electricity Infrastructures.
Electr. Notes Theor. Comput. Sci., 2015

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Computing Response Time Distributions Using Iterative Probabilistic Model Checking.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Energy Resilience Modelling for Smart Houses.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014
Hybrid Petri nets with multiple stochastic transition firings.
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

Performance of LTE for Smart Grid Communications.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems.
Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management.
Proceedings of the Energy Efficient Data Centers - Third International Workshop, 2014

2013
Networking for the Cloud: Challenges and Trends.
Praxis der Informationsverarbeitung und Kommunikation, 2013

Model checking for performability.
Mathematical Structures in Computer Science, 2013

The Dependable Systems-of-Systems Design Challenge.
IEEE Security & Privacy, 2013

Challenges for modelling and analysis in embedded systems and systems-of-systems design.
Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

Analysis of a sewage treatment facility using hybrid Petri nets.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Automated Rare Event Simulation for Stochastic Petri Nets.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Performance Evaluation for Collision Prevention Based on a Domain Specific Language.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

A logic for model-checking mean-field models.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Simulative and Analytical Evaluation for ASD-Based Embedded Software.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Lifetime Improvement by Battery Scheduling.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011
Mean-field framework for performance evaluation of push-pull gossip protocols.
Perform. Eval., 2011

Parallel and Distributed Methods in Verification.
J. Log. Comput., 2011

An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks.
Proceedings of the Wired/Wireless Internet Communications, 2011

Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study.
Proceedings of the Computer Performance Engineering, 2011

2010
Computing Optimal Schedules for battery Usage in Embedded Systems.
IEEE Trans. Industrial Informatics, 2010

Performability assessment by model checking of Markov reward models.
Formal Methods in System Design, 2010

A Massively Scalable Architecture For Instant Messaging & Presence.
Electr. Notes Theor. Comput. Sci., 2010

Performance evaluation and model checking join forces.
Commun. ACM, 2010

Rare Event Simulation for Highly Dependable Systems with Fast Repairs.
Proceedings of the QEST 2010, 2010

Automating the Mean-Field Method for Large Dynamic Gossip Networks.
Proceedings of the QEST 2010, 2010

Computing Lifetimes for Battery-Powered Devices.
Proceedings of the Operations Research Proceedings 2010, 2010

Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks.
Proceedings of the Measurement, 2010

Quantitative Verification in Practice.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Evaluating repair strategies for a water-treatment facility using Arcade.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

A First Experimental Investigation of the Practical Efficiency of Battery Scheduling.
Proceedings of the ARCS '10, 2010

2009
Which battery model to use?
IET Software, 2009

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction.
Proceedings of the QEST 2009, 2009

Mean-Field Analysis for the Evaluation of Gossip Protocols.
Proceedings of the QEST 2009, 2009

Time - It's time for a change.
Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

Adaptive resource control in 2-hop ad-hoc networks.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

Maximizing system lifetime by battery scheduling.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Quantitative analysis of gossiping protocols.
SIGMETRICS Performance Evaluation Review, 2008

MeanField analysis for the evaluation of gossip protocols.
SIGMETRICS Performance Evaluation Review, 2008

A Centralized Feedback Control Model for Resource Management in Wireless Networks.
Praxis der Informationsverarbeitung und Kommunikation, 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking.
Electr. Notes Theor. Comput. Sci., 2008

A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

The Performability Tool P'ility.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Performance and Dependability Evaluation: Successes, Failures and Challenges.
Proceedings of the Computer Performance Engineering, 2008

Changes in the Web from 2000 to 2007.
Proceedings of the Managing Large-Scale Service Deployment, 2008

Architectural dependability evaluation with Arcade.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices.
Proceedings of the Design, Automation and Test in Europe, 2008

Reachability in continuous-time Markov reward decision processes.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008

2007
Model Checking Markov Chains with Actions and State Labels.
IEEE Trans. Software Eng., 2007

CSL model checking algorithms for QBDs.
Theor. Comput. Sci., 2007

Formal analysis techniques for gossiping protocols.
Operating Systems Review, 2007

Versatile stochastic models for networks with asymmetric TCP sources.
Perform. Eval., 2007

CSL Model Checking Algorithms for Infinite-State Structured Markov Chains.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

A Fixed-Point Algorithm for Closed Queueing Networks.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Faster SPDL Model Checking Through Property-Driven State Space Generation.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Computing Battery Lifetime Distributions.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

07101 Executive Summary -- Quantitative Aspects of Embedded Systems.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

2006
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., 2006

Distributed disk-based algorithms for model checking very large Markov chains.
Formal Methods in System Design, 2006

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Measuring and Modeling of Application Flow Length in Commercial GPRS Networks.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

CSL model checking of Deterministic and Stochastic Petri Nets.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

2005
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.
Theor. Comput. Sci., 2005

Sequential and distributed model checking of Petri nets.
STTT, 2005

Performance and verification.
SIGMETRICS Performance Evaluation Review, 2005

Model checking meets performance evaluation.
SIGMETRICS Performance Evaluation Review, 2005

Model Checking Infinite-State Markov Chains.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Model Checking for Survivability.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004
The pseudo-self-similar traffic model: application and validation.
Perform. Eval., 2004

Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Model Checking Action- and State-Labelled Markov Chains.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Model-Checking Algorithms for Continuous-Time Markov Chains.
IEEE Trans. Software Eng., 2003

Fitting world-wide web request traces with the EM-algorithm.
Perform. Eval., 2003

A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies.
Proceedings of the Computer Performance Evaluations, 2003

2002
Introduction to the Special Section on Petri Nets and Performance Models.
IEEE Trans. Software Eng., 2002

Sequential and Distributed Model Checking of Petri Net Specifications.
Electr. Notes Theor. Comput. Sci., 2002

Automated Performance and Dependability Evaluation Using Model Checking.
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

The Mean Value of the Maximum.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

A Validation of the Pseudo Self-Similar Traffic Model.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Model Checking Performability Properties.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Enabling Network Caching of Dynamic Web Objects.
Proceedings of the Computer Performance Evaluation, 2002

Simulation for Continuous-Time Markov Chains.
Proceedings of the CONCUR 2002, 2002

2001
Performance and dependability techniques and tools.
Perform. Eval., 2001

Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme.
Proceedings of the Information Age Economy: 5. Internationale Tagung Wirtschaftsinformatik 2001, 2001

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

Flows in Networks of MAP/MAP/1 Queues.
Proceedings of the Proceedings 11th GI/ITG Conference on Measuring, 2001

2000
Performance evaluation of multicast communication in packet-switched networks.
Perform. Eval., 2000

On the Use of Model Checking Techniques for Dependability Evaluation.
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Are Stochastic Process Algebras Good for Performance and Dependability Evaluation.
ICALP Satellite Workshops, 2000

On the Logical Characterisation of Performability Properties.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Markovian Models for Performance and Dependability Evaluation.
Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

Model Checking Continuous-Time Markov Chains by Transient Analysis.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations.
MMB (Kurzvorträge), 1999

Semi-numerical Solution of Stochastic Process Algebra Models.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

Structural Decomposition and Serial Solution of SPN Models of the ATM GAUSS Switch.
Proceedings of the Application of Petri Nets to Communication Networks, 1999

Performance Evaluation of Polling-Based Communication Systems Using SPNs.
Proceedings of the Application of Petri Nets to Communication Networks, 1999

1998
Analysis of windowing mechanisms with infinite-state stochastic Petri nets.
SIGMETRICS Performance Evaluation Review, 1998

Approximate analysis of networks of PH|PH|1|K queues with customer losses: Test results.
Annals OR, 1998

QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

Performance of computer communication systems - a model-based approach.
Wiley, ISBN: 978-0-471-97228-0, 1998

1997
Quality of service management using generic modelling and monitoring techniques.
Distributed Systems Engineering, 1997

Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen.
Proceedings of the MMB '97, 1997

1996
A mean-value analysis of slotted-ring network models.
Telecommunication Systems, 1996

Performability Modelling Tools and Techniques.
Perform. Eval., 1996

Design and evaluation of a connection management mechanism for an ATM-based connectionless service.
Distributed Systems Engineering, 1996

1995
In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models.
Comput. J., 1995

Using the probabilistic evaluation tool for the analytical solution of large Markov models.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support.
Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

1994
Xmgm: Performance Modeling Using Matrix Geometric Techniques.
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives.
Proceedings of the Computer Performance Evaluation, 1994

Modelling Aspects of Model-Based Dynamic QoS Management by the Performability Manager.
Proceedings of the Computer Performance Evaluation, 1994

Performance evaluation of threshold-based ATM cell scheduling policies under Markov modulated Poisson traffic using stochastic Petri nets.
Proceedings of the ATM Networks, 1994

1993
Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets.
Perform. Eval., 1993

Specification techniques for Markov reward models.
Discrete Event Dynamic Systems, 1993

1992
Composite Performance and Dependability Analysis.
Perform. Eval., 1992

Sensitivity and Uncertainty Analysis in Performability Modeling.
Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992

A Method for Analysing the Performance Aspects of the Fault-Tolerance Mechanisms in FDDI.
Proceedings of the Proceedings IEEE INFOCOM '92, 1992

1991
Approximate Performability Analysis using Generalized Stochastic Petri Nets.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

Performability modelling tools, evaluation techniques, and applications.
University Twente, ISBN: 978-90-9003915-2, 1991

1990
Performability Modelling Tools, Evaluation Techniques and Applications.
PhD thesis, 1990

1989
Performability Modelling Using Dynamic Queueing Networks.
Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1989


  Loading...