The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Boudewijn R. Haverkort: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Boudewijn R. Haverkort
    Performance Evaluation of Polling-Based Communication Systems Using SPNs. [Citation Graph (0, 0)][DBLP]
    Application of Petri Nets to Communication Networks, 1999, pp:176-209 [Conf]
  2. Boudewijn R. Haverkort, Hessel P. Idzenga
    Structural Decomposition and Serial Solution of SPN Models of the ATM GAUSS Switch. [Citation Graph (0, 0)][DBLP]
    Application of Petri Nets to Communication Networks, 1999, pp:210-231 [Conf]
  3. Henrik C. Bohnenkamp, Boudewijn R. Haverkort
    Semi-numerical Solution of Stochastic Process Algebra Models. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:228-243 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    Modelling and Evaluation of ATM Networks, 1994, pp:553-572 [Conf]
  5. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model Checking Continuous-Time Markov Chains by Transient Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:358-372 [Conf]
  6. Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn R. Haverkort
    Simulation for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:338-354 [Conf]
  7. Ramin Sadre, Boudewijn R. Haverkort
    FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2000, pp:324-327 [Conf]
  8. Gaby Schneider, Marko Schuba, Boudewijn R. Haverkort
    QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation (Tools), 1998, pp:63-74 [Conf]
  9. Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter
    Enabling Network Caching of Dynamic Web Objects. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:329-338 [Conf]
  10. Boudewijn R. Haverkort, Rachid El Abdouni Khayari, Ramin Sadre
    A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2003, pp:273-290 [Conf]
  11. Leonard J. N. Franken, Raymond H. Pijpers, Boudewijn R. Haverkort
    Modelling Aspects of Model-Based Dynamic QoS Management by the Performability Manager. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation, 1994, pp:89-110 [Conf]
  12. Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew Rindos, Varsha Mainkar
    Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation, 1994, pp:1-24 [Conf]
  13. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
    Model Checking Action- and State-Labelled Markov Chains. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:701-710 [Conf]
  14. Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
    Model Checking Performability Properties. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:103-112 [Conf]
  15. Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort
    A Validation of the Pseudo Self-Similar Traffic Model. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:727-734 [Conf]
  16. Boudewijn R. Haverkort
    Markovian Models for Performance and Dependability Evaluation. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:38-83 [Conf]
  17. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    On the Logical Characterisation of Performability Properties. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:780-792 [Conf]
  18. Boudewijn R. Haverkort
    Are Stochastic Process Algebras Good for Performance and Dependability Evaluation. [Citation Graph (0, 0)][DBLP]
    ICALP Satellite Workshops, 2000, pp:501-510 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    INFOCOM, 1992, pp:372-381 [Conf]
  20. Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dirk-Jan Speelman
    Xmgm: Performance Modeling Using Matrix Geometric Techniques. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1994, pp:152-157 [Conf]
  21. Boudewijn R. Haverkort
    Approximate Analysis of Networks of PH|PH|1|K Queues: Theory & Tool Support. [Citation Graph (0, 0)][DBLP]
    MMB, 1995, pp:239-253 [Conf]
  22. Alexander Ost, Carsten Frank, Boudewijn R. Haverkort
    Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-geometrischen stochastichen Petrinetzen. [Citation Graph (0, 0)][DBLP]
    MMB, 1997, pp:71-85 [Conf]
  23. Ramin Sadre, Boudewijn R. Haverkort
    Flows in Networks of MAP/MAP/1 Queues. [Citation Graph (0, 0)][DBLP]
    MMB, 2001, pp:195-208 [Conf]
  24. Ramin Sadre, Boudewijn R. Haverkort
    FiFiQueues: Fixed-point Analysis of Queueing Networks with Finite-Buffer Stations. [Citation Graph (0, 0)][DBLP]
    MMB (Kurzvorträge), 1999, pp:77-80 [Conf]
  25. Henrik C. Bohnenkamp, Boudewijn R. Haverkort
    The Mean Value of the Maximum. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:37-56 [Conf]
  26. Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort
    Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:152-167 [Conf]
  27. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Automated Performance and Dependability Evaluation Using Model Checking. [Citation Graph (0, 0)][DBLP]
    Performance, 2002, pp:261-289 [Conf]
  28. Boudewijn R. Haverkort
    Approximate Performability Analysis using Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:300-309 [Conf]
  29. Jose M. Martinez, Boudewijn R. Haverkort
    MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:133-134 [Conf]
  30. Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
    A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:63-72 [Conf]
  31. Lucia Cloth, Boudewijn R. Haverkort
    Model Checking for Survivability. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:145-154 [Conf]
  32. Roger Kalden, Boudewijn R. Haverkort
    Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:83-92 [Conf]
  33. Boudewijn R. Haverkort, Ignas G. Niemegeers
    Performability Modelling Using Dynamic Queueing Networks. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1989, pp:225- [Conf]
  34. Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    On the Use of Model Checking Techniques for Dependability Evaluation. [Citation Graph (0, 0)][DBLP]
    SRDS, 2000, pp:228-237 [Conf]
  35. Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen
    Sensitivity and Uncertainty Analysis in Performability Modeling. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1992, pp:93-102 [Conf]
  36. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:61-76 [Conf]
  37. Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
    Model Checking Infinite-State Markov Chains. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:237-252 [Conf]
  38. Boudewijn R. Haverkort
    In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:7, pp:521-529 [Journal]
  39. Leonard J. N. Franken, Boudewijn R. Haverkort
    Quality of service management using generic modelling and monitoring techniques. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1997, v:4, n:1, pp:28-37 [Journal]
  40. Geert J. Heijenk, Boudewijn R. Haverkort
    Design and evaluation of a connection management mechanism for an ATM-based connectionless service. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1996, v:3, n:1, pp:53-67 [Journal]
  41. Alexander Bell, Boudewijn R. Haverkort
    Sequential and Distributed Model Checking of Petri Net Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  42. Alexander Bell, Boudewijn R. Haverkort
    Distributed disk-based algorithms for model checking very large Markov chains. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:2, pp:177-196 [Journal]
  43. Boudewijn R. Haverkort
    Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1993, v:18, n:1, pp:61-78 [Journal]
  44. Boudewijn R. Haverkort, Rick Harper
    Performance and dependability techniques and tools. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2001, v:44, n:1-4, pp:1-4 [Journal]
  45. Boudewijn R. Haverkort, Ignas G. Niemegeers
    Performability Modelling Tools and Techniques. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1996, v:25, n:1, pp:17-40 [Journal]
  46. Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort
    Fitting world-wide web request traces with the EM-algorithm. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2003, v:52, n:2-3, pp:175-191 [Journal]
  47. Rachid El Abdouni Khayari, Ramin Sadre, Boudewijn R. Haverkort, Alexander Ost
    The pseudo-self-similar traffic model: application and validation. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2004, v:56, n:1-4, pp:3-22 [Journal]
  48. Marko Schuba, Boudewijn R. Haverkort, Gaby Schneider
    Performance evaluation of multicast communication in packet-switched networks. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2000, v:39, n:1-4, pp:61-80 [Journal]
  49. Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort
    Composite Performance and Dependability Analysis. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1992, v:14, n:3-4, pp:197-215 [Journal]
  50. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model checking meets performance evaluation. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:10-15 [Journal]
  51. Boudewijn R. Haverkort, Joost-Pieter Katoen
    Performance and verification. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:3- [Journal]
  52. Alexander Ost, Boudewijn R. Haverkort
    Analysis of windowing mechanisms with infinite-state stochastic Petri nets. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 1998, v:26, n:2, pp:38-46 [Journal]
  53. Alexander Bell, Boudewijn R. Haverkort
    Sequential and distributed model checking of Petri nets. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:1, pp:43-60 [Journal]
  54. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort
    Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:2-26 [Journal]
  55. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2006, v:3, n:3, pp:169-171 [Journal]
  56. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model-Checking Algorithms for Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:6, pp:524-541 [Journal]
  57. Gianfranco Ciardo, Reinhard German, Boudewijn R. Haverkort
    Introduction to the Special Section on Petri Nets and Performance Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:10, pp:913-914 [Journal]
  58. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
    Model Checking Markov Chains with Actions and State Labels. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:4, pp:209-224 [Journal]
  59. Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort
    Computing Battery Lifetime Distributions. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:780-789 [Conf]
  60. Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt
    A Fixed-Point Algorithm for Closed Queueing Networks. [Citation Graph (0, 0)][DBLP]
    EPEW, 2007, pp:154-170 [Conf]
  61. Alexander Bell, Boudewijn R. Haverkort
    Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution. [Citation Graph (0, 0)][DBLP]
    EPEW, 2007, pp:2-17 [Conf]
  62. 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. [Citation Graph (0, 0)][DBLP]
    EPEW, 2007, pp:284-300 [Conf]
  63. Matthias Kuntz, Boudewijn R. Haverkort
    Faster SPDL Model Checking Through Property-Driven State Space Generation. [Citation Graph (0, 0)][DBLP]
    EPEW, 2007, pp:80-96 [Conf]
  64. Anne Remke, Boudewijn R. Haverkort
    CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:336-351 [Conf]
  65. Nicky D. van Foreest, Boudewijn R. Haverkort, Michel Mandjes, Werner R. W. Scheinhardt
    Versatile stochastic models for networks with asymmetric TCP sources. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2007, v:64, n:6, pp:507-523 [Journal]
  66. Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
    CSL model checking algorithms for QBDs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:382, n:1, pp:24-41 [Journal]

  67. 07101 Executive Summary -- Quantitative Aspects of Embedded Systems. [Citation Graph (, )][DBLP]


  68. 07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. [Citation Graph (, )][DBLP]


  69. Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. [Citation Graph (, )][DBLP]


  70. Architectural dependability evaluation with Arcade. [Citation Graph (, )][DBLP]


  71. Maximizing system lifetime by battery scheduling. [Citation Graph (, )][DBLP]


  72. Changes in the Web from 2000 to 2007. [Citation Graph (, )][DBLP]


  73. Performance and Dependability Evaluation: Successes, Failures and Challenges. [Citation Graph (, )][DBLP]


  74. A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. [Citation Graph (, )][DBLP]


  75. Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework. [Citation Graph (, )][DBLP]


  76. Time - It's time for a change. [Citation Graph (, )][DBLP]


  77. CSL model checking of Deterministic and Stochastic Petri Nets. [Citation Graph (, )][DBLP]


  78. Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. [Citation Graph (, )][DBLP]


  79. The Performability Tool P'ility. [Citation Graph (, )][DBLP]


  80. A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks. [Citation Graph (, )][DBLP]


  81. Mean-Field Analysis for the Evaluation of Gossip Protocols. [Citation Graph (, )][DBLP]


  82. Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. [Citation Graph (, )][DBLP]


  83. Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. [Citation Graph (, )][DBLP]


  84. Adaptive resource control in 2-hop ad-hoc networks. [Citation Graph (, )][DBLP]


  85. Preface. [Citation Graph (, )][DBLP]


  86. Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. [Citation Graph (, )][DBLP]


  87. A Massively Scalable Architecture For Instant Messaging & Presence. [Citation Graph (, )][DBLP]


Search in 0.249secs, Finished in 0.253secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002