default search action
Boudewijn R. Haverkort
Boudewijn R. H. M. 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
- 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) - [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]