


Остановите войну!
for scientists:
Boudewijn 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
- 2021
- [c111]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 - [c110]Boudewijn R. Haverkort
:
Performance Evaluation: Model-Driven or Problem-Driven? QEST 2021: 3-11 - 2020
- [j55]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) - [c109]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
- [c108]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
- [j54]Justyna J. Chromik
, Anne Remke, Boudewijn R. Haverkort
:
An integrated testbed for locally monitoring SCADA systems in smart grids. Energy Inform. 1(1) (2018) - [j53]Björn F. Postema
, Boudewijn R. Haverkort
:
Evaluation of Advanced Data Centre Power Management Strategies. Electron. Notes Theor. Comput. Sci. 337: 173-191 (2018) - [c107]Björn F. Postema
, Niels J. Geuze, Boudewijn R. Haverkort
:
Fitting Realistic Data Centre Workloads: A Data Science Approach. e-Energy 2018: 486-491 - [c106]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 - [c105]Max Kerkers, Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
:
A Tool for Generating Automata of IEC60870-5-104 Implementations. MMB 2018: 307-311 - [c104]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 - [c103]Boudewijn R. Haverkort:
Zero-Energy Internet-of-Things: Energy-SIM'18 Workshop Keynote Abstract. ICPE Companion 2018: 66 - [c102]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
- [j52]Boudewijn R. Haverkort
, Armin Zimmermann
:
Smart Industry: How ICT Will Change the Game! IEEE Internet Comput. 21(1): 8-10 (2017) - [c101]Freek van den Berg, Boudewijn R. Haverkort
, Jozef Hooman:
iDSL: Automated Performance Evaluation of Service-Oriented Systems. ModelEd, TestEd, TrustEd 2017: 214-236 - [c100]Björn F. Postema
, Boudewijn R. Haverkort
:
Specification of Data Centre Power Management Strategies. e-Energy 2017: 284-289 - [c99]Marijn R. Jongerden, Boudewijn R. Haverkort
:
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. QEST 2017: 88-103 - [c98]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
- [j51]Boudewijn R. Haverkort
, William J. Knottenbelt, Anne Remke, Nigel Thomas:
Preface. Electron. Notes Theor. Comput. Sci. 327: 1-3 (2016) - [j50]Hamed Ghasemieh
, Anne Remke, Boudewijn R. Haverkort
:
Survivability analysis of a sewage treatment facility using hybrid Petri nets. Perform. Evaluation 97: 36-56 (2016) - [c97]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 - [c96]Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort:
Improving SCADA security of a local process with a power grid model. ICS-CSR 2016 - [c95]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
- [j49]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) - [j48]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) - [j47]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) - [j46]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) - [c94]Hamed Ghasemieh, Boudewijn R. Haverkort
, Marijn R. Jongerden
, Anne Remke:
Energy Resilience Modelling for Smart Houses. DSN 2015: 275-286 - [c93]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 - [c92]Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
:
iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. EPEW 2015: 227-242 - [c91]Björn F. Postema
, Boudewijn R. Haverkort
:
An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres. EPEW 2015: 258-272 - [c90]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 - [c89]Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo
:
Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. VALUETOOLS 2015: 127-134 - [c88]Freek van den Berg, Boudewijn R. Haverkort
, Jozef Hooman:
Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques. VALUETOOLS 2015: 158-163 - [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
- [j45]Boudewijn R. Haverkort
:
The Dependable Systems-of-Systems Design Challenge. IEEE Secur. Priv. 11(5): 62-65 (2013) - [j44]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) - [j43]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) - [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
- [j42]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
- [j41]Ivana Cerná
, Boudewijn R. Haverkort
:
Parallel and Distributed Methods in Verification. J. Log. Comput. 21(1): 1-3 (2011) - [j40]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) - [j39]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
- [j38]Christel Baier, Boudewijn R. Haverkort
, Holger Hermanns, Joost-Pieter Katoen
:
Performance evaluation and model checking join forces. Commun. ACM 53(9): 76-85 (2010) - [j37]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) - [j36]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) - [j35]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
- [j34]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
- [j33]Ivana Cerná, Boudewijn R. Haverkort
:
Preface. Electron. Notes Theor. Comput. Sci. 198(1): 1-2 (2008) - [j32]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) - [j31]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) - [j30]Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen:
Quantitative analysis of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. 36(3): 2 (2008) - [j29]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
- [j28]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) - [j27]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) - [j26]Anne Remke, Boudewijn R. Haverkort
, Lucia Cloth:
CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007) - [j25]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
- [j24]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) - [j23]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
- [j22]Boudewijn R. Haverkort
, Joost-Pieter Katoen:
Performance and verification. SIGMETRICS Perform. Evaluation Rev. 32(4): 3 (2005) - [j21]Christel Baier, Boudewijn R. Haverkort
, Holger Hermanns, Joost-Pieter Katoen:
Model checking meets performance evaluation. SIGMETRICS Perform. Evaluation Rev. 32(4): 10-15 (2005) - [j20]Alexander Bell, Boudewijn R. Haverkort
:
Sequential and distributed model checking of Petri nets. Int. J. Softw. Tools Technol. Transf. 7(1): 43-60 (2005) - [j19]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]