B. 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
Sequential and distributed model checking of Petri net specifications	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
A Fixed-Point Algorithm for Closed Queueing Networks	2008-08-28	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
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

This page was built for person: B. R. Haverkort