author-photo

Boudewijn R. Haverkort

8

Papers

366

Citations

Citation Trend

Filter By

Papers (7) Sort By

Journal Conference Others

Performance of computer communications systems : a model-based approach

2014
- Boudewijn R. Haverkort
Show All
- Source
- Cite
- Save
Citations (0)
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

2006 IEEE Transactions on Dependable and Secure Computing
Show All
- Source
- Cite
- Save
Citations (0)
Model checking infinite-state Markov chains

2005 Lecture Notes in Computer Science
Show All
- Source
- Cite
- Save
Citations (28)
Model Checking CSRL-Specified Performability Properties

2001
Show All
- Source
- Cite
- Save
Citations (5)
Performability Modelling : Techniques and Tools

2001
Show All
- Source
- Cite
- Save
Citations (88)
Approximate analysis of networks of PH|PH|1|K queues with customer losses: Test results

1998 Annals of Operations Research
- Boudewijn R. Haverkort
Show All
- Source
- Cite
- Save
Citations (12)
QNA,UT: Approximately Analyzing Netwo'rks of PH I PH 11 I K Queues

1996
- Boudewijn R. Haverkort
Show All
- Source
- Cite
- Save
Citations (0)