Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Boudewijn R. Haverkort
2010 – today
- 2013
[c77]Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort: A logic for model-checking mean-field models. DSN 2013: 1-12- [c76]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
- [c75]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
- 2012
- [j40]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. Eval. 69(7-8): 336-355 (2012)
- [c74]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
- [c73]Marijn R. Jongerden, Boudewijn R. Haverkort: Lifetime Improvement by Battery Scheduling. MMB/DFT 2012: 106-120
- [c72]Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort: Simulative and Analytical Evaluation for ASD-Based Embedded Software. MMB/DFT 2012: 166-181
- 2011
- [j39]Ivana Cerná, Boudewijn R. Haverkort: Parallel and Distributed Methods in Verification. J. Log. Comput. 21(1): 1-3 (2011)
- [j38]Daniel 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)
- [j37]Rena 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)
- [c71]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
- [c70]Boudewijn R. Haverkort: Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull? FORMATS 2011: 18-24
- [c69]Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort: An Adaptive Resource Control Mechanism in Multi-hop Ad-Hoc Networks. WWIC 2011: 309-322
- 2010
- [j36]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performance evaluation and model checking join forces. Commun. ACM 53(9): 76-85 (2010)
- [j35]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)
- [j34]Christel 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)
- [j33]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. Industrial Informatics 6(3): 276-286 (2010)
- [c68]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
- [c67]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
- [c66]Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen: Quantitative Verification in Practice. ISoLA (2) 2010: 127
- [c65]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
- [c64]Rena 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
- [c63]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
- [j32]Marijn R. Jongerden, Boudewijn R. Haverkort: Which battery model to use? IET Software 3(6): 445-457 (2009)
- [c62]Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Joost-Pieter Katoen: Maximizing system lifetime by battery scheduling. DSN 2009: 63-72
- [c61]Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverkort: Adaptive resource control in 2-hop ad-hoc networks. ICUMT 2009: 1-9
- [c60]
- [c59]Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen: Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST 2009: 133-142
- [c58]Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST 2009: 247-256
- 2008
- [j31]
- [j30]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)
- [j29]Yimeng 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)
- [j28]Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen: Quantitative analysis of gossiping protocols. SIGMETRICS Performance Evaluation Review 36(3): 2 (2008)
- [j27]Rena 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)
- [c57]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
- [c56]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Reachability in continuous-time Markov reward decision processes. Logic and Automata 2008: 53-72
- [c55]Lucia Cloth, Boudewijn R. Haverkort: Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE 2008: 90-91
- [c54]Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga: Architectural dependability evaluation with Arcade. DSN 2008: 512-521
- [c53]
- [c52]Boudewijn R. Haverkort: Performance and Dependability Evaluation: Successes, Failures and Challenges. EPEW 2008: 1
- [c51]Anne Remke, Boudewijn R. Haverkort: A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS 2008: 188-202
- [c50]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
- [c49]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
- [c48]
- 2007
- [j26]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)
- [j25]Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort: Formal analysis techniques for gossiping protocols. Operating Systems Review 41(5): 28-36 (2007)
- [j24]Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007)
- [j23]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)
- [c47]Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Executive Summary -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
- [c46]Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele: 07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. Quantitative Aspects of Embedded Systems 2007
- [c45]Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort: Computing Battery Lifetime Distributions. DSN 2007: 780-789
- [c44]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
- [c43]Matthias Kuntz, Boudewijn R. Haverkort: Faster SPDL Model Checking Through Property-Driven State Space Generation. EPEW 2007: 80-96
- [c42]Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt: A Fixed-Point Algorithm for Closed Queueing Networks. EPEW 2007: 154-170
- [c41]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
- [c40]Anne Remke, Boudewijn R. Haverkort: CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS 2007: 336-351
- [e5]Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele (Eds.): 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
- [e4]Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (Eds.): 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
- 2006
- [j22]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)
- [j21]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)
- [c39]José Martínez, Boudewijn R. Haverkort: CSL model checking of Deterministic and Stochastic Petri Nets. MMB 2006: 265-282
- [c38]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
- [c37]Roger Kalden, Boudewijn R. Haverkort: Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. QEST 2006: 83-92
- [c36]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
- 2005
- [j20]Boudewijn R. Haverkort, Joost-Pieter Katoen: Performance and verification. SIGMETRICS Performance Evaluation Review 32(4): 3 (2005)
- [j19]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model checking meets performance evaluation. SIGMETRICS Performance Evaluation Review 32(4): 10-15 (2005)
- [j18]Alexander Bell, Boudewijn R. Haverkort: Sequential and distributed model checking of Petri nets. STTT 7(1): 43-60 (2005)
- [j17]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)
- [c35]
- [c34]Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: Model Checking Infinite-State Markov Chains. TACAS 2005: 237-252
- 2004
- [j16]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)
- [c33]Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
- [c32]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
- [e3]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (Eds.): Validation of Stochastic Systems - A Guide to Current Research. Lecture Notes in Computer Science 2925, Springer 2004, ISBN 3-540-22265-0
- 2003
- [j15]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)
- [j14]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)
- [c31]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
- 2002
- [j13]Alexander Bell, Boudewijn R. Haverkort: Sequential and Distributed Model Checking of Petri Net Specifications. Electr. Notes Theor. Comput. Sci. 68(4): 539-558 (2002)
- [j12]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)
- [c30]Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort: Simulation for Continuous-Time Markov Chains. CONCUR 2002: 338-354
- [c29]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
- [c28]Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
- [c27]Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort: A Validation of the Pseudo Self-Similar Traffic Model. DSN 2002: 727-734
- [c26]Henrik C. Bohnenkamp, Boudewijn R. Haverkort: The Mean Value of the Maximum. PAPM-PROBMIV 2002: 37-56
- [c25]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Automated Performance and Dependability Evaluation Using Model Checking. Performance 2002: 261-289
- 2001
- [j11]Boudewijn R. Haverkort, Rick Harper: Performance and dependability techniques and tools. Perform. Eval. 44(1-4): 1-4 (2001)
- [c24]
- [c23]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
- [c22]Stephan Ehren, Norbert Ludwig, Boudewijn R. Haverkort, Rachid El Abdouni Khayari: Entwurf, Implementierung und Bewertung eines Kryptographiemoduls für Client-Server Handelssysteme. Wirtschaftsinformatik 2001: 37
- [e2]Boudewijn R. Haverkort (Ed.): 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, ISBN 3-8007-2626-2
- 2000
- [j10]Marko Schuba, Boudewijn R. Haverkort, Gaby Schneider: Performance evaluation of multicast communication in packet-switched networks. Perform. Eval. 39(1-4): 61-80 (2000)
- [c21]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Model Checking Continuous-Time Markov Chains by Transient Analysis. CAV 2000: 358-372
- [c20]Ramin Sadre, Boudewijn R. Haverkort: FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. Computer Performance Evaluation / TOOLS 2000: 324-327
- [c19]Boudewijn R. Haverkort: Markovian Models for Performance and Dependability Evaluation. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 38-83
- [c18]Boudewijn R. Haverkort: Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. ICALP Satellite Workshops 2000: 501-510
- [c17]Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Logical Characterisation of Performability Properties. ICALP 2000: 780-792
- [c16]Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: On the Use of Model Checking Techniques for Dependability Evaluation. SRDS 2000: 228-237
- [e1]Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (Eds.): Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings. Lecture Notes in Computer Science 1786, Springer 2000, ISBN 3-540-67260-5
1990 – 1999
- 1999
- [c15]Boudewijn R. Haverkort: Performance Evaluation of Polling-Based Communication Systems Using SPNs. Application of Petri Nets to Communication Networks 1999: 176-209
- [c14]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
- [c13]Henrik C. Bohnenkamp, Boudewijn R. Haverkort: Semi-numerical Solution of Stochastic Process Algebra Models. ARTS 1999: 228-243
- [c12]Ramin Sadre, Boudewijn R. Haverkort: FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations. MMB (Kurzvorträge) 1999: 77-80
- 1998
- [b2]Boudewijn R. Haverkort: Performance of computer communication systems - a model-based approach. Wiley 1998, ISBN 978-0-471-97228-0, pp. I-XXI, 1-495
- [j9]Alexander Ost, Boudewijn R. Haverkort: Analysis of windowing mechanisms with infinite-state stochastic Petri nets. SIGMETRICS Performance Evaluation Review 26(2): 38-46 (1998)
- [c11]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
- 1997
- [j8]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)
- [c10]Alexander Ost, Carsten Frank, Boudewijn R. Haverkort: Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen. MMB 1997: 71-85
- 1996
- [j7]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)
- [j6]Boudewijn R. Haverkort, Ignas G. Niemegeers: Performability Modelling Tools and Techniques. Perform. Eval. 25(1): 17-40 (1996)
- [j5]Andrew 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
- [j4]Boudewijn R. Haverkort: In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. Comput. J. 38(7): 521-529 (1995)
- [c9]Boudewijn R. Haverkort: Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support. MMB 1995: 239-253
- 1994
- [c8]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
- [c7]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
- [c6]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
- [c5]Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman: Xmgm: Performance Modeling Using Matrix Geometric Techniques. MASCOTS 1994: 152-157
- 1993
- [j3]Boudewijn R. Haverkort, Kishor S. Trivedi: Specification techniques for Markov reward models. Discrete Event Dynamic Systems 3(2-3): 219-247 (1993)
- [j2]Boudewijn R. Haverkort: Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets. Perform. Eval. 18(1): 61-78 (1993)
- 1992
- [j1]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)
- [c4]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
- [c3]Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen: Sensitivity and Uncertainty Analysis in Performability Modeling. SRDS 1992: 93-102
- 1991
- [b1]Boudewijn R. Haverkort: Performability modelling tools, evaluation techniques, and applications. University Twente 1991, ISBN 978-90-9003915-2, pp. I-XVIII, 1-179
- [c2]Boudewijn R. Haverkort: Approximate Performability Analysis using Generalized Stochastic Petri Nets. PNPM 1991: 300-309
1980 – 1989
- 1989
- [c1]Boudewijn R. Haverkort, Ignas G. Niemegeers: Performability Modelling Using Dynamic Queueing Networks. SIGMETRICS 1989: 225
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:12 CEST by the dblp team