Boudewijn R. Haverkort

	2010
88		Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort: A Massively Scalable Architecture For Instant Messaging & Presence. Electr. Notes Theor. Comput. Sci. 261: 109-130 (2010)
	2009
87		Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen: Maximizing system lifetime by battery scheduling. DSN 2009: 63-72
	2008
86		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
85		Lucia Cloth, Boudewijn R. Haverkort: Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE 2008: 90-91
84		Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521
83		Ramin Sadre, Boudewijn R. Haverkort: Changes in the Web from 2000 to 2007. DSOM 2008: 136-148
82		Boudewijn R. Haverkort: Performance and Dependability Evaluation: Successes, Failures and Challenges. EPEW 2008: 1
81		Anne Remke, Boudewijn R. Haverkort: A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS 2008: 188-202
80		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
79		Lucia Cloth, Boudewijn R. Haverkort: The Performability Tool P'ility. QEST 2008: 117-118
78		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
77		Ivana Cerná, Boudewijn R. Haverkort: Preface. Electr. Notes Theor. Comput. Sci. 198(1): 1-2 (2008)
76		Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol: Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electr. Notes Theor. Comput. Sci. 220(2): 35-50 (2008)
	2007
75		Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
74		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 Springer 2007
73		Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort: Computing Battery Lifetime Distributions. DSN 2007: 780-789
72		Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt: A Fixed-Point Algorithm for Closed Queueing Networks. EPEW 2007: 154-170
71		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
70		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
69		Matthias Kuntz, Boudewijn R. Haverkort: Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW 2007: 80-96
68		Anne Remke, Boudewijn R. Haverkort: CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS 2007: 336-351
67		Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
66		Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Executive Summary -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
65		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)
64		Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort: Formal analysis techniques for gossiping protocols. Operating Systems Review 41(5): 28-36 (2007)
63		Nicky D. van Foreest, Boudewijn R. Haverkort, Michel Mandjes, Werner R. W. Scheinhardt: Versatile stochastic models for networks with asymmetric TCP sources. Perform. Eval. 64(6): 507-523 (2007)
62		Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007)
	2006
61		José Martínez, Boudewijn R. Haverkort: CSL model checking of Deterministic and Stochastic Petri Nets. MMB 2006: 265-282
60		Jose M. Martinez, Boudewijn R. Haverkort: MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. QEST 2006: 133-134
59		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
58		Roger Kalden, Boudewijn R. Haverkort: Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. QEST 2006: 83-92
57		Alexander Bell, Boudewijn R. Haverkort: Distributed disk-based algorithms for model checking very large Markov chains. Formal Methods in System Design 29(2): 177-196 (2006)
56		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 Sec. Comput. 3(3): 169-171 (2006)
	2005
55		Lucia Cloth, Boudewijn R. Haverkort: Model Checking for Survivability. QEST 2005: 145-154
54		Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: Model Checking Infinite-State Markov Chains. TACAS 2005: 237-252
53		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)
52		Boudewijn R. Haverkort, Joost-Pieter Katoen: Performance and verification. SIGMETRICS Performance Evaluation Review 32(4): 3 (2005)
51		Alexander Bell, Boudewijn R. Haverkort: Sequential and distributed model checking of Petri nets. STTT 7(1): 43-60 (2005)
50		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)
	2004
49		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle: Validation of Stochastic Systems - A Guide to Current Research Springer 2004
48		Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
47		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
46		Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort, Alexander Ost: The pseudo-self-similar traffic model: application and validation. Perform. Eval. 56(1-4): 3-22 (2004)
	2003
45		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
44		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)
43		Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort: Fitting world-wide web request traces with the EM-algorithm. Perform. Eval. 52(2-3): 175-191 (2003)
	2002
42		Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354
41		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
40		Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
39		Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort: A Validation of the Pseudo Self-Similar Traffic Model. DSN 2002: 727-734
38		Henrik C. Bohnenkamp, Boudewijn R. Haverkort: The Mean Value of the Maximum. PAPM-PROBMIV 2002: 37-56
37		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289
36		Alexander Bell, Boudewijn R. Haverkort: Sequential and Distributed Model Checking of Petri Net Specifications. Electr. Notes Theor. Comput. Sci. 68(4): (2002)
35		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)
	2001
34		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
33		Ramin Sadre, Boudewijn R. Haverkort: Flows in Networks of MAP/MAP/1 Queues. MMB 2001: 195-208
32		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
31		Boudewijn R. Haverkort, Rick Harper: Performance and dependability techniques and tools. Perform. Eval. 44(1-4): 1-4 (2001)
	2000
30		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 Springer 2000
29		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372
28		Ramin Sadre, Boudewijn R. Haverkort: FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. Computer Performance Evaluation / TOOLS 2000: 324-327
27		Boudewijn R. Haverkort: Markovian Models for Performance and Dependability Evaluation. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 38-83
26		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792
25		Boudewijn R. Haverkort: Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. ICALP Satellite Workshops 2000: 501-510
24		Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237
23		Marko Schuba, Boudewijn R. Haverkort, Gaby Schneider: Performance evaluation of multicast communication in packet-switched networks. Perform. Eval. 39(1-4): 61-80 (2000)
	1999
22		Henrik C. Bohnenkamp, Boudewijn R. Haverkort: Semi-numerical Solution of Stochastic Process Algebra Models. ARTS 1999: 228-243
21		Boudewijn R. Haverkort: Performance Evaluation of Polling-Based Communication Systems Using SPNs. Application of Petri Nets to Communication Networks 1999: 176-209
20		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
19		Ramin Sadre, Boudewijn R. Haverkort: FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations. MMB (Kurzvorträge) 1999: 77-80
	1998
18		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
17		Alexander Ost, Boudewijn R. Haverkort: Analysis of windowing mechanisms with infinite-state stochastic Petri nets. SIGMETRICS Performance Evaluation Review 26(2): 38-46 (1998)
	1997
16		Alexander Ost, Carsten Frank, Boudewijn R. Haverkort: Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen. MMB 1997: 71-85
15		Leonard J. N. Franken, Boudewijn R. Haverkort: Quality of service management using generic modelling and monitoring techniques. Distributed Systems Engineering 4(1): 28-37 (1997)
	1996
14		Geert J. Heijenk, Boudewijn R. Haverkort: Design and evaluation of a connection management mechanism for an ATM-based connectionless service. Distributed Systems Engineering 3(1): 53-67 (1996)
13		Boudewijn R. Haverkort, Ignas G. Niemegeers: Performability Modelling Tools and Techniques. Perform. Eval. 25(1): 17-40 (1996)
	1995
12		Boudewijn R. Haverkort: Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support. MMB 1995: 239-253
11		Boudewijn R. Haverkort: In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. Comput. J. 38(7): 521-529 (1995)
	1994
10		Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew Rindos, Varsha Mainkar: Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. Computer Performance Evaluation 1994: 1-24
9		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
8		Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman: Xmgm: Performance Modeling Using Matrix Geometric Techniques. MASCOTS 1994: 152-157
7		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
	1993
6		Boudewijn R. Haverkort: Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets. Perform. Eval. 18(1): 61-78 (1993)
	1992
5		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
4		Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen: Sensitivity and Uncertainty Analysis in Performability Modeling. SRDS 1992: 93-102
3		Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort: Composite Performance and Dependability Analysis. Perform. Eval. 14(3-4): 197-215 (1992)
	1991
2		Boudewijn R. Haverkort: Approximate Performability Analysis using Generalized Stochastic Petri Nets. PNPM 1991: 300-309
	1989
1		Boudewijn R. Haverkort, Ignas G. Niemegeers: Performability Modelling Using Dynamic Queueing Networks. SIGMETRICS 1989: 225

Coauthor Index

1	Jean Arlat	[56]
2	Christel Baier	[26] [29] [37] [40] [42] [44] [47] [48] [49] [50] [53] [65]
3	Rena Bakhshi	[64]
4	Alexander Bell	[36] [51] [57] [71]
5	Stefan Blom	[76]
6	Henrik C. Bohnenkamp	[22] [30] [32] [38] [87]
7	Andrea Bondavalli	[56]
8	François Bonnet	[64]
9	Hichem Boudali	[80] [84]
10	Lubos Brim	[74]
11	Ivana Cerná (Ivana Cerna)	[77]
12	Gianfranco Ciardo	[35]
13	Lucia Cloth	[32] [40] [48] [54] [55] [59] [62] [65] [73] [79] [85] [86]
14	Pepijn Crouzen	[80] [84]
15	Kave Eshghi	[41]
16	Wan Fokkink	[64]
17	Nicky D. van Foreest	[63]
18	Carsten Frank	[16]
19	Leonard J. N. Franken	[9] [15]
20	Pankaj K. Garg	[41]
21	Reinhard German	[35]
22	Patrick Goering	[70]
23	Thomas Gschwind	[41]
24	Robbert Haarman	[70]
25	Rick Harper	[31]
26	Geert J. Heijenk	[14] [70] [78] [86]
27	Holger Hermanns	[24] [26] [29] [37] [40] [42] [44] [47] [49] [50] [53]
28	Hessel P. Idzenga	[7] [20]
29	Marijn R. Jongerden	[73] [87]
30	Roger Kalden	[58]
31	Joost-Pieter Katoen	[24] [26] [29] [37] [40] [42] [44] [47] [49] [50] [52] [53] [66] [67] [75] [87]
32	Rachid El Abdouni Khayari	[39] [43] [45] [46]
33	Byung G. Kim	[7]
34	Matthias Kuntz	[48] [65] [69] [76] [80] [84]
35	Martin Leucker	[74]
36	Varsha Mainkar	[10]
37	Michel Mandjes (M. R. H. Mandjes)	[63]
38	José Martínez	[61]
39	Jose M. Martinez	[60]
40	Adrianus M. H. Meeuwissen	[4]
41	Aad P. A. van Moorsel	[5] [8]
42	Jogesh K. Muppala	[3]
43	Ignas G. Niemegeers	[1] [5] [13]
44	Alexander Ost	[16] [17] [46]
45	Raymond H. Pijpers	[9]
46	Jaco van de Pol	[74] [76]
47	Henk Punt	[88]
48	Patrick Reinelt	[72]
49	Anne Remke	[54] [59] [62] [68] [81] [86] [88]
50	Andrew Rindos	[10]
51	Ramin Sadre	[19] [28] [33] [39] [43] [45] [46] [72] [83]
52	Werner R. W. Scheinhardt	[63]
53	Jorrit Schippers	[88]
54	Gaby Schneider	[18] [23]
55	Marko Schuba	[18] [23]
56	Markus Siegle	[48] [49] [65]
57	Connie U. Smith	[30]
58	Dirk-Jan Speelman	[8]
59	Mariëlle Stoelinga	[80] [84]
60	Lothar Thiele	[66] [67] [75]
61	Kishor S. Trivedi	[3] [10]
62	Paulo Veríssimo	[56]
63	Maarten Wegdam	[88]
64	Katinka Wolter	[41]
65	Steven P. Woolet	[3]
66	Yimeng Yang	[78]

Colors in the list of coauthors