Boudewijn Remigius Heinrich Maria Haverkort

prof.dr.ir.

1990 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Paper
2017

Context-aware local Intrusion Detection in SCADA systems: a testbed and two showcases

Chromik, J. J., Haverkort, B. R. H. M., Remke, A. K. I., Pilch, C., Brackmann, P., Duhme, C., Everinghoff, F., Giberlein, A., Teodorowicz, T. & Wieland, J., 2017. 6 p.

Research output: Contribution to conferencePaper

2016

Fitting a code-red virus spread model: An account of putting theory into practice

Kolesnichenko, A. V., Haverkort, B. R. H. M., Remke, A. K. I. & de Boer, P-T., Mar 2016, p. 39-46. 8 p.

Research output: Contribution to conferencePaper

File
2 Citations (Scopus)
28 Downloads (Pure)
2014

Hybrid Petri nets with multiple stochastic transition firings

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., 9 Dec 2014, p. 217-224. 8 p.

Research output: Contribution to conferencePaper

File
7 Citations (Scopus)
135 Downloads (Pure)
2013

Recent advances in importance sampling for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sep 2013, p. -. 4 p.

Research output: Contribution to conferencePaper

File
11 Downloads (Pure)

Reliable sequential testing for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sep 2013, p. -. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
8 Downloads (Pure)
2012

Lifetime Improvement by Battery Scheduling

Jongerden, M. R., Schmitt, J. B. (ed.) & Haverkort, B. R. H. M., Mar 2012, p. 106-120. 15 p.

Research output: Contribution to conferencePaper

File
54 Downloads (Pure)
2009

Time-It's time for a change

Haverkort, B. R. H. M., 2009, p. 569-569. 1 p.

Research output: Contribution to conferencePaper

File
1 Citation (Scopus)
8 Downloads (Pure)
2006

Can we quantitatively assess security?

Haverkort, B. R. H. M., Jun 2006, p. 125-128. 4 p.

Research output: Contribution to conferencePaper

File
12 Downloads (Pure)
2005

Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards

Remke, A. & Haverkort, B. R., 23 Sep 2005, p. 23-26. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
10 Downloads (Pure)

Hyperbolic PDE's for CSRL Model Checking: A Deja Vu

Cloth, L. & Haverkort, B. R. H. M., 23 Sep 2005, p. 19-22. 4 p.

Research output: Contribution to conferencePaper

2004

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Jensen, K. (ed.), Baier, C., Haverkort, B. R. H. M., Podelski, A. (ed.), Hermanns, H. & Katoen, J. P., 2004, p. 61-76. 16 p.

Research output: Contribution to conferencePaper

File
6 Downloads (Pure)
2002

Model-checking performability properties

Haverkort, B. R. H. M., Cloth, L., Hermanns, H., Katoen, J. P. & Baier, C., 2002, p. 103-112. 10 p.

Research output: Contribution to conferencePaper

File
14 Downloads (Pure)

Simulation for continuous-time Markov chains

Brim, J. (ed.), Baier, C., Katoen, J. P., Jancar, P. (ed.), Hermanns, H., Kretnsk, M. (ed.), Haverkort, B. R. H. M. & Kucera, A. (ed.), 2002, p. 473-489. 15 p.

Research output: Contribution to conferencePaper

File
17 Citations (Scopus)
18 Downloads (Pure)
2001

Fitting World-Wide Web Request Traces with the EM-Algorithm

El Abdouni Khayari, R., Sadre, R. & Haverkort, B. R. H. M., 2001, p. 211-220. 10 p.

Research output: Contribution to conferencePaper

File
10 Citations (Scopus)
13 Downloads (Pure)

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes

Cloth, L., de Alfaro, L. (ed.), Gilmore, S. (ed.), Bohnenkamp, H. C. & Haverkort, B. R. H. M., 2001, p. 152-167. 16 p.

Research output: Contribution to conferencePaper

File
57 Downloads (Pure)
2000

Model Checking Continuous-Time Markov Chains by Transient Analysis

Baier, C., Haverkort, B., Hermanns, H. & Katoen, J. P., 2000, p. 358-372. 15 p.

Research output: Contribution to conferencePaper

Open Access
File
97 Citations (Scopus)
54 Downloads (Pure)

On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2000, p. 228-237. 10 p.

Research output: Contribution to conferencePaper

File
43 Downloads (Pure)
1995

Using the probabilistic evaluation tool for the analytical solution of large Markov models

Haverkort, B. R. H. M. & van Moorsel, A. P. A., 1995, p. 206-207.

Research output: Contribution to conferencePaper

File
3 Citations (Scopus)
40 Downloads (Pure)
1994

XMGM: performance modeling using matrix geometric techniques

Haverkort, B. R. H. M., van Moorsel, A. P. A. & Speelman, D-J., 1994, p. 152-157.

Research output: Contribution to conferencePaper

File
6 Citations (Scopus)
90 Downloads (Pure)
1993

Open Service Architecture within Integrated Service Engineering

Widya, I. A., Michiels, E. F., Huis in t veld, R. J., Haverkort, B. R. H. M. & Quartel, D., 14 Feb 1993, p. -.

Research output: Contribution to conferencePaper