dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Boudewijn R. Haverkort Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn R. Jongerden, Boudewijn R. Haverkort: Lifetime Improvement by Battery Scheduling. MMB/DFT 2012: 106-120
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort: Simulative and Analytical Evaluation for ASD-Based Embedded Software. MMB/DFT 2012: 166-181
2011
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna 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
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? FORMATS 2011: 18-24
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort: An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks. WWIC 2011: 309-322
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvana Cerná, Boudewijn R. Haverkort: Parallel and Distributed Methods in Verification. J. Log. Comput. 21(1): 1-3 (2011)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen: Time-bounded reachability in tree-structured QBDs by abstraction. Perform. Eval. 68(2): 105-125 (2011)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Eval. 68(2): 157-179 (2011)
2010
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamien 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
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn 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
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen: Quantitative Verification in Practice. ISoLA (2) 2010: 127
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne 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
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort: Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST 2010: 241-250
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanië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
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performance evaluation and model checking join forces. Commun. ACM 53(9): 76-85 (2010)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorrit 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)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performability assessment by model checking of Markov reward models. Formal Methods in System Design 36(1): 1-36 (2010)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen: Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Industrial Informatics 6(3): 276-286 (2010)
2009
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen: Maximizing system lifetime by battery scheduling. DSN 2009: 63-72
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort: Adaptive resource control in 2-hop ad-hoc networks. ICUMT 2009: 1-9
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Time - It's time for a change. MASCOTS 2009: 1
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen: Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST 2009: 133-142
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST 2009: 247-256
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn R. Jongerden, Boudewijn R. Haverkort: Which battery model to use? IET Software 3(6): 445-457 (2009)
2008
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth: Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. ASMTA 2008: 279-294
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia Cloth, Boudewijn R. Haverkort: Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE 2008: 90-91
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Sadre, Boudewijn R. Haverkort: Changes in the Web from 2000 to 2007. DSOM 2008: 136-148
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Performance and Dependability Evaluation: Successes, Failures and Challenges. EPEW 2008: 1
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Remke, Boudewijn R. Haverkort: A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS 2008: 188-202
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. ICECCS 2008: 243-248
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Reachability in continuous-time Markov reward decision processes. Logic and Automata 2008: 53-72
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia Cloth, Boudewijn R. Haverkort: The Performability Tool P'ility. QEST 2008: 117-118
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYimeng 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvana Cerná, Boudewijn R. Haverkort: Preface. Electr. Notes Theor. Comput. Sci. 198(1): 1-2 (2008)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk: A Centralized Feedback Control Model for Resource Management in Wireless Networks. Praxis der Informationsverarbeitung und Kommunikation 31(1): 51-56 (2008)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Markus Siegle, Maarten van Steen: Quantitative analysis of gossiping protocols. SIGMETRICS Performance Evaluation Review 36(3): 2 (2008)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: MeanField analysis for the evaluation of gossip protocols. SIGMETRICS Performance Evaluation Review 36(3): 31-39 (2008)
2007
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn 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
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLubos 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
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort: Computing Battery Lifetime Distributions. DSN 2007: 780-789
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Sadre, Boudewijn R. Haverkort, Patrick Reinelt: A Fixed-Point Algorithm for Closed Queueing Networks. EPEW 2007: 154-170
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias Kuntz, Boudewijn R. Haverkort: Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW 2007: 80-96
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Remke, Boudewijn R. Haverkort: CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS 2007: 336-351
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Executive Summary -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel 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)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort: Formal analysis techniques for gossiping protocols. Operating Systems Review 41(5): 28-36 (2007)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicky 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)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Remke, Boudewijn R. Haverkort, Lucia Cloth: CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007)
2006
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Martínez, Boudewijn R. Haverkort: CSL model checking of Deterministic and Stochastic Petri Nets. MMB 2006: 265-282
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJose M. Martinez, Boudewijn R. Haverkort: MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. QEST 2006: 133-134
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne 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
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoger Kalden, Boudewijn R. Haverkort: Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. QEST 2006: 83-92
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander 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)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia Cloth, Boudewijn R. Haverkort: Model Checking for Survivability. QEST 2005: 145-154
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Remke, Boudewijn R. Haverkort, Lucia Cloth: Model Checking Infinite-State Markov Chains. TACAS 2005: 237-252
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Joost-Pieter Katoen: Performance and verification. SIGMETRICS Performance Evaluation Review 32(4): 3 (2005)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Bell, Boudewijn R. Haverkort: Sequential and distributed model checking of Petri nets. STTT 7(1): 43-60 (2005)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel 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
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle: Validation of Stochastic Systems - A Guide to Current Research Springer 2004
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel 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
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel 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)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPankaj 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
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort: A Validation of the Pseudo Self-Similar Traffic Model. DSN 2002: 727-734
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Boudewijn R. Haverkort: The Mean Value of the Maximum. PAPM-PROBMIV 2002: 37-56
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Bell, Boudewijn R. Haverkort: Sequential and Distributed Model Checking of Petri Net Specifications. Electr. Notes Theor. Comput. Sci. 68(4): 539-558 (2002)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianfranco 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Sadre, Boudewijn R. Haverkort: Flows in Networks of MAP/MAP/1 Queues. MMB 2001: 195-208
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort: Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. PAPM-PROBMIV 2001: 152-167
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Ehren, Norbert Ludwig, Boudewijn R. Haverkort, Rachid El Abdouni Khayari: Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme. Wirtschaftsinformatik 2001: 37
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Rick Harper: Performance and dependability techniques and tools. Perform. Eval. 44(1-4): 1-4 (2001)
2000
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Sadre, Boudewijn R. Haverkort: FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. Computer Performance Evaluation / TOOLS 2000: 324-327
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Markovian Models for Performance and Dependability Evaluation. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 38-83
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. ICALP Satellite Workshops 2000: 501-510
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarko Schuba, Boudewijn R. Haverkort, Gaby Schneider: Performance evaluation of multicast communication in packet-switched networks. Perform. Eval. 39(1-4): 61-80 (2000)
1999
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik C. Bohnenkamp, Boudewijn R. Haverkort: Semi-numerical Solution of Stochastic Process Algebra Models. ARTS 1999: 228-243
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Performance Evaluation of Polling-Based Communication Systems Using SPNs. Application of Petri Nets to Communication Networks 1999: 176-209
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn 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
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamin Sadre, Boudewijn R. Haverkort: FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations. MMB (Kurzvorträge) 1999: 77-80
1998
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Performance of computer communication systems - a model-based approach. Wiley 1998: I-XXI, 1-495
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGaby 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ost, Boudewijn R. Haverkort: Analysis of windowing mechanisms with infinite-state stochastic Petri nets. SIGMETRICS Performance Evaluation Review 26(2): 38-46 (1998)
1997
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ost, Carsten Frank, Boudewijn R. Haverkort: Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen. MMB 1997: 71-85
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonard 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeert 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)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Ignas G. Niemegeers: Performability Modelling Tools and Techniques. Perform. Eval. 25(1): 17-40 (1996)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Coyle, Boudewijn R. Haverkort, William Henderson, Charles E. M. Pearce: A mean-value analysis of slotted-ring network models. Telecommunication Systems 6(1): 203-227 (1996)
1995
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support. MMB 1995: 239-253
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. Comput. J. 38(7): 521-529 (1995)
1994
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKishor 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonard 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman: Xmgm: Performance Modeling Using Matrix Geometric Techniques. MASCOTS 1994: 152-157
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets. Perform. Eval. 18(1): 61-78 (1993)
1992
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAad 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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Adrianus M. H. Meeuwissen: Sensitivity and Uncertainty Analysis in Performability Modeling. SRDS 1992: 93-102
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKishor 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Performability modelling tools, evaluation techniques, and applications. University Twente 1991: I-XVIII, 1-179
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort: Approximate Performability Analysis using Generalized Stochastic Petri Nets. PNPM 1991: 300-309
1989
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoudewijn R. Haverkort, Ignas G. Niemegeers: Performability Modelling Using Dynamic Queueing Networks. SIGMETRICS 1989: 225

Coauthor Index

1Jean Arlat [60]
2Christel Baier [29] [32] [41] [44] [46] [48] [51] [52] [53] [54] [57] [69] [87] [102] [104]
3Rena Bakhshi [68] [80] [96] [106] [111]
4Jesper Bax [107]
5Alexander Bell [40] [55] [61] [75]
6Stefan Blom [83]
7Pieter-Tjerk de Boer [105] [116]
8Henrik C. Bohnenkamp [25] [33] [36] [42] [100] [101]
9Andrea Bondavalli [60]
10François Bonnet [68]
11Hichem Boudali [88] [92]
12Lubos Brim [78]
13Ivana Cerná (Ivana Cerna) [84] [113]
14Gianfranco Ciardo [39]
15Lucia Cloth [36] [44] [52] [58] [59] [63] [66] [69] [77] [80] [86] [93] [94] [96] [102] [111]
16Andrew J. Coyle [14]
17Pepijn Crouzen [88] [92]
18Stephan Ehren [35]
19Jörg Endrullis [106]
20Stefan Endrullis [106]
21Kave Eshghi [45]
22Wan Fokkink [68] [80] [96] [106] [111]
23Nicky D. van Foreest [67]
24Carsten Frank [18]
25Leonard J. N. Franken [10] [17]
26Pankaj K. Garg [45]
27Reinhard German [39]
28Patrick Goering [74]
29Maurits de Graaf [110]
30Thomas Gschwind [45]
31Robbert Haarman [74]
32Rick Harper [34]
33Geert J. Heijenk [16] [74] [82] [85] [94] [99] [107] [114]
34William Henderson [14]
35Holger Hermanns [27] [29] [32] [41] [44] [46] [48] [51] [53] [54] [57] [87] [102] [104]
36Sjors Hettinga [117]
37Gerard Hoekstra [110]
38Hessel P. Idzenga [8] [23]
39Marijn R. Jongerden [77] [95] [100] [101] [110] [118]
40Roger Kalden [62]
41Joost-Pieter Katoen [27] [29] [32] [41] [44] [46] [48] [51] [53] [54] [56] [57] [70] [71] [79] [87] [97] [100] [101] [102] [104] [108] [112]
42Rachid El Abdouni Khayari [35] [43] [47] [49] [50]
43Byung G. Kim [8]
44Daniel Klink [97] [112]
45Anna Kolesnichenko [116]
46Matthias Kuntz [52] [69] [73] [83] [88] [92] [109]
47Kim Guldstrand Larsen (Kim G. Larsen) [108]
48Martin Leucker [78]
49Norbert Ludwig [35]
50Varsha Mainkar [11]
51Michel Mandjes (M. R. H. Mandjes) [67]
52José Martínez [65]
53Jose M. Martinez [64]
54Adrianus M. H. Meeuwissen [5]
55Alexandru Mereacre [101]
56Damien Miliche [110]
57Aad P. A. van Moorsel [6] [9]
58Jogesh K. Muppala [4]
59Ignas G. Niemegeers [1] [6] [15]
60Alexander Ost [18] [19] [50]
61C. E. M. Pearce (Charles E. M. Pearce) [14]
62Raymond H. Pijpers [10]
63Jaco van de Pol [78] [83]
64Henk Punt [103]
65Daniël Reijsbergen [105]
66Patrick Reinelt [76]
67Anne Remke [58] [63] [66] [72] [89] [94] [97] [103] [107] [109] [112] [116] [117]
68Andrew Rindos [11]
69S. Roolvink [109]
70Ramin Sadre [22] [31] [37] [43] [47] [49] [50] [76] [91] [117]
71Werner R. W. Scheinhardt [67] [105]
72Jorrit Schippers [103]
73Gaby Schneider [20] [26]
74Marko Schuba [20] [26]
75Markus Siegle [52] [53] [69] [81]
76Connie U. Smith [33]
77Dirk-Jan Speelman [9]
78Maarten van Steen [81]
79Mariëlle Stoelinga [88] [92] [109]
80Lothar Thiele [70] [71] [79]
81Kishor S. Trivedi [4] [11]
82Paulo Veríssimo [60]
83Maarten Wegdam [103]
84Katinka Wolter [45]
85Steven P. Woolet [4]
86Yimeng Yang [82] [85] [99] [114]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page