Haverkort, B.R.

• Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Kuntz, Matthias; Siegle, Markus:
  Model Checking Markov Chains with Actions and State Labels. 2007.

• Bell, Alexander; Haverkort, Boudewijn R.:
  Distributed disk-based algorithms for model checking very large Markov chains. 2006.

• Bell, Alexander; Haverkort, Boudewijn R.:
  Sequential and distributed model checking of Petri nets. 2005.

• Bell, Alexander; Haverkort, Boudewijn R.:
  Serial and Parallel Out-of-Core Solution of Linear Systems Arising from Generalised Stochastic Petri Nets. 2001.

• Haverkort, B.R.; Hermanns, H.; Katoen, J.-P.:
  On the use of model checking techniques for dependability evaluation. 2000.

• Haverkort, B.R.:
  Performance evaluation of polling-based communication systems using SPNs. 1999.

• Haverkort, B.R.; Bell, A.; Bohnenkamp, H.C.:
  On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. 1999.

• Haverkort, B.R.; Idzenga, H.P.:
  Structural decomposition and serial solution of SPN models of the ATM GAUSS switch. 1999.

• Ost, A.; Haverkort, B.R.:
  Modeling and Evaluation of Pseudo Self-Similar Traffic with Infinite-State Stochastic Petri Nets. 1999.

• Haverkort, Boudewijn R.:
  Performance of Computer-Communication Systems. 1998.

• Haverkort, Boudewijn R.; Bohnenkamp, Henrik; Bell, Alexander:
  Effiency Improvements in the Evaluation of Large Stochastic Petri Nets. 1998.

• Ost, A.; Haverkort, B.R.:
  Analysis of windowing mechanisms with infinite-state stochastic Petri nets. 1998.

• Haverkort, B.R.; Ost, A.:
  Steady-State Analysis of Infinite Stochastic Petri Nets: A Comparison between the Spectral Expansion and the Matrix-Geometric Method. 1997.

• Ost, A.; Frank, C.; Haverkort, B.R.:
  Untersuchungen zum Verbindungsmanagement bei Videoverkehr mit Matrix-Geometrischen Stochastischen Petrinetzen. 1997.

• Haverkort, Boudewijn R.; Ost, Alexander:
  Steady-State Analysis of Infinite Stochastic Petri Nets: Comparing the Spectral Expansion and the Matrix-Geometric Method. 1997.

• Coyle, A.; Haverkort, B.R.; Henderson, W.; Pearce, C.:
  A Mean-Value Analysis of Stochastic Petri Net Models of Slotted Rings. 1996.

• Haverkort, B.R.:
  SPN2MGM: Tool Support for Matrix Geometric Stochastic Petri Nets. 1996.

• Haverkort, B.R.; Niemegeers, I.G.:
  Performability Modelling Tools and Techniques. 1996.

• van Moorsel, A.P.A.; Haverkort, B.R.:
  Probabilistic Evaluation for the Analytical Solution of Large Markov Chains: Algorithms and Tool Support. 1996.

• Haverkort, B.R.:
  In Search for Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. 1995.

• Haverkort, B.R.:
  Performability Evaluation of Fault-Tolerant Computer Systems using DyQNtool⁺. 1995.

• Haverkort, B.R.; Idzenga, H.; Kim, B.G.:
  Performance Evaluation of Threshold-Based ATM Cell Scheduling Policies under Markov-Modulated Poisson Traffic using Stochastic Petri Nets. 1995.

• Haverkort, B.R.; Meeuwissen, A.M.H.:
  Sensitivity and Uncertainty Analysis of Markov Reward Models. 1995.

• Haverkort, B.R.; Moorsel, A.P.A. van:
  Using the Probabilistic Evaluation Tool for the Analytical Solution of Large Markov Models. 1995.

• Haverkort, Boudewijn R.; Trivedi, Kishor S.:
  Specification and Generation of Markov Reward Models. 1993.

• Haverkort, Boudewijn R.:
  Approximate Performability Analysis using Generalized Stochastic Petri Nets. 1991.

• Haverkort, B.R.; Veldhuyzenvanzanten, P.:
  DyQNtool: A Performability Modelling Tool Based on the Dynamic Queueing Network Concept. 1990.

• Haverkort, B.R.; Niemegeers, I.G.:
  Using Dynamic Queueing Networks as a Tool for Specifying Performability Models. 1989.

• Haverkort, B.R.; Niemegeers, I.G.:
  Transaction Throughput in Distributed Systems: A Modeling Study Using Dynamic Queueing Networks. 1989.

• Haverkort, B.R.; Niemegeers, I.G.:
  Extended Performability Modeling Using Dynamic Queing Networks. 1989.

• Haverkort, B.R.; Niemegeers, I.G.:
  Dynamic Queueing Networks. 1988.

• Haverkort, B.R.; Niemegeers, I.G.:
  Theory of Describing Performability Models. 1988.

Back to the Petri Nets Bibliography