| 2008 |
|---|
| 85 | EE | 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 |
| 84 | EE | Lucia Cloth,
Boudewijn R. Haverkort:
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices.
DATE 2008: 90-91 |
| 83 | EE | Hichem Boudali,
Pepijn Crouzen,
Boudewijn R. Haverkort,
Matthias Kuntz,
Mariëlle Stoelinga:
Architectural dependability evaluation with Arcade.
DSN 2008: 512-521 |
| 82 | EE | Ramin Sadre,
Boudewijn R. Haverkort:
Changes in the Web from 2000 to 2007.
DSOM 2008: 136-148 |
| 81 | EE | Boudewijn R. Haverkort:
Performance and Dependability Evaluation: Successes, Failures and Challenges.
EPEW 2008: 1 |
| 80 | EE | Anne Remke,
Boudewijn R. Haverkort:
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks.
FORMATS 2008: 188-202 |
| 79 | EE | Lucia Cloth,
Boudewijn R. Haverkort:
The Performability Tool P'ility.
QEST 2008: 117-118 |
| 78 | EE | 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 | EE | Ivana Cerná,
Boudewijn R. Haverkort:
Preface.
Electr. Notes Theor. Comput. Sci. 198(1): 1-2 (2008) |
| 76 | EE | 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 | EE | Lucia Cloth,
Marijn R. Jongerden,
Boudewijn R. Haverkort:
Computing Battery Lifetime Distributions.
DSN 2007: 780-789 |
| 72 | EE | Ramin Sadre,
Boudewijn R. Haverkort,
Patrick Reinelt:
A Fixed-Point Algorithm for Closed Queueing Networks.
EPEW 2007: 154-170 |
| 71 | EE | 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 | EE | 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 | EE | Matthias Kuntz,
Boudewijn R. Haverkort:
Faster SPDL Model Checking Through Property-Driven State Space Generation.
EPEW 2007: 80-96 |
| 68 | EE | Anne Remke,
Boudewijn R. Haverkort:
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains.
FORMATS 2007: 336-351 |
| 67 | EE | Boudewijn R. Haverkort,
Joost-Pieter Katoen,
Lothar Thiele:
07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems.
Quantitative Aspects of Embedded Systems 2007 |
| 66 | EE | Boudewijn R. Haverkort,
Joost-Pieter Katoen,
Lothar Thiele:
07101 Executive Summary -- Quantitative Aspects of Embedded Systems.
Quantitative Aspects of Embedded Systems 2007 |
| 65 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Roger Kalden,
Boudewijn R. Haverkort:
Measuring and Modeling of Application Flow Length in Commercial GPRS Networks.
QEST 2006: 83-92 |
| 57 | EE | 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 | EE | 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 | EE | Lucia Cloth,
Boudewijn R. Haverkort:
Model Checking for Survivability.
QEST 2005: 145-154 |
| 54 | EE | Anne Remke,
Boudewijn R. Haverkort,
Lucia Cloth:
Model Checking Infinite-State Markov Chains.
TACAS 2005: 237-252 |
| 53 | EE | 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 | EE | Boudewijn R. Haverkort,
Joost-Pieter Katoen:
Performance and verification.
SIGMETRICS Performance Evaluation Review 32(4): 3 (2005) |
| 51 | EE | Alexander Bell,
Boudewijn R. Haverkort:
Sequential and distributed model checking of Petri nets.
STTT 7(1): 43-60 (2005) |
| 50 | EE | 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 | EE | Christel Baier,
Lucia Cloth,
Boudewijn R. Haverkort,
Matthias Kuntz,
Markus Siegle:
Model Checking Action- and State-Labelled Markov Chains.
DSN 2004: 701-710 |
| 47 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
Boudewijn R. Haverkort:
Simulation for Continuous-Time Markov Chains.
CONCUR 2002: 338-354 |
| 41 | EE | 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 | EE | Boudewijn R. Haverkort,
Lucia Cloth,
Holger Hermanns,
Joost-Pieter Katoen,
Christel Baier:
Model Checking Performability Properties.
DSN 2002: 103-112 |
| 39 | EE | Rachid El Abdouni Khayari,
Ramin Sadre,
Boudewijn R. Haverkort:
A Validation of the Pseudo Self-Similar Traffic Model.
DSN 2002: 727-734 |
| 38 | EE | Henrik C. Bohnenkamp,
Boudewijn R. Haverkort:
The Mean Value of the Maximum.
PAPM-PROBMIV 2002: 37-56 |
| 37 | EE | Christel Baier,
Boudewijn R. Haverkort,
Holger Hermanns,
Joost-Pieter Katoen:
Automated Performance and Dependability Evaluation Using Model Checking.
Performance 2002: 261-289 |
| 36 | EE | Alexander Bell,
Boudewijn R. Haverkort:
Sequential and Distributed Model Checking of Petri Net Specifications.
Electr. Notes Theor. Comput. Sci. 68(4): (2002) |
| 35 | EE | 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 | EE | 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 | EE | Ramin Sadre,
Boudewijn R. Haverkort:
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations.
Computer Performance Evaluation / TOOLS 2000: 324-327 |
| 27 | EE | Boudewijn R. Haverkort:
Markovian Models for Performance and Dependability Evaluation.
European Educational Forum: School on Formal Methods and Performance Analysis 2000: 38-83 |
| 26 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
