The following pages link to Boudewijn R. Haverkort (Q686333):
Displaying 36 items.
- Specification techniques for Markov reward models (Q686334) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- CSL model checking algorithms for QBDs (Q995462) (← links)
- (Q1317019) (redirect page) (← links)
- Comments on duality of queues with finite buffer size (Q1317020) (← links)
- Approximate analysis of networks of PH\(|\)PH\(| 1| K\) queues with customer losses: Test results (Q1385367) (← links)
- Distributed disk-based algorithms for model checking very large Markov chains (Q2431769) (← links)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes (Q2575731) (← links)
- (Q2729025) (← links)
- (Q2754096) (← links)
- (Q2754196) (← links)
- (Q2842854) (← links)
- Model checking for performability (Q2843861) (← links)
- Decomposition-Based Queueing Network Analysis with FiFiQueues (Q2997692) (← links)
- (Q3086919) (← links)
- CSL Model Checking Algorithms for Infinite-State Structured Markov Chains (Q3510851) (← links)
- Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution (Q3522085) (← links)
- Faster SPDL Model Checking Through Property-Driven State Space Generation (Q3522090) (← links)
- A Fixed-Point Algorithm for Closed Queueing Networks (Q3522093) (← links)
- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks (Q3543298) (← links)
- Composite performance and dependability analysis (Q4004640) (← links)
- Approximate performability and dependability analysis using generalized stochastic Petri nets (Q4272468) (← links)
- Product forms for availability models (Q4299534) (← links)
- Performability modelling tools and techniques (Q4332102) (← links)
- (Q4411090) (← links)
- (Q4484497) (← links)
- Performance and dependability techniques and tools (Q4538472) (← links)
- (Q4547764) (← links)
- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition (Q4649392) (← links)
- (Q4738795) (← links)
- Performance evaluation of multicast communication in packet-switched networks (Q4779365) (← links)
- (Q4798040) (← links)
- (Q4813197) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308389) (← links)
- Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking (Q5415660) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703762) (← links)
