Boudewijn R. Haverkort

Available identifiers

zbMath Open haverkort.boudewijn-rMaRDI QIDQ686333

List of research outcomes

Publication	Date of Publication	Type
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking	2014-05-13	Paper
Model checking for performability	2013-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q2842854	2013-08-16	Paper
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition	2012-11-21	Paper
Decomposition-Based Queueing Network Analysis with FiFiQueues	2011-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q3086919	2011-03-30	Paper
Performability assessment by model checking of Markov reward models	2010-05-05	Paper
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks	2008-12-02	Paper
Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution	2008-08-28	Paper
Faster SPDL Model Checking Through Property-Driven State Space Generation	2008-08-28	Paper
A Fixed-Point Algorithm for Closed Queueing Networks	2008-08-28	Paper
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains	2008-07-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
CSL model checking algorithms for QBDs	2007-09-03	Paper
Distributed disk-based algorithms for model checking very large Markov chains	2006-10-24	Paper
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes	2005-12-06	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4813197	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4738795	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4411090	2003-07-07	Paper
Performance evaluation of multicast communication in packet-switched networks	2003-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4484497	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4798040	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4547764	2002-08-21	Paper
Performance and dependability techniques and tools	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q2754096	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754196	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2729025	2001-10-23	Paper
Approximate analysis of networks of PH\(|\)PH\(| 1| K\) queues with customer losses: Test results	1998-07-01	Paper
Performability modelling tools and techniques	1997-02-27	Paper
Product forms for availability models	1994-09-08	Paper
Approximate performability and dependability analysis using generalized stochastic Petri nets	1994-01-09	Paper
Specification techniques for Markov reward models	1993-10-13	Paper
Composite performance and dependability analysis	1992-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Boudewijn R. Haverkort