Boudewijn R.H.M. Haverkort

prof.dr.ir.

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

Research Output 1990 2019

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 conferencePaperAcademicpeer-review

SCADA systems
Intrusion detection
Testbeds
Electric power distribution
2016
22 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
2014
7 Citations (Scopus)
106 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
2013
7 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
Importance sampling
Model checking
Markov processes
Statistical Models
5 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 conferencePaperAcademicpeer-review

Open Access
File
Model checking
Testing
Statistical Models
2012
28 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
Scheduling
Mobile devices
Recovery
Kinetics
2009
1 Citation (Scopus)
4 Downloads (Pure)

Time-It's time for a change

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

Research output: Contribution to conferencePaperAcademicpeer-review

File
2006
9 Downloads (Pure)

Can we quantitatively assess security?

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

Research output: Contribution to conferencePaperAcademicpeer-review

File
2005
6 Downloads (Pure)

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 conferencePaperAcademicpeer-review

Open Access
File
Model checking

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 conferencePaperAcademic

2004
5 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
2002
13 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
Model checking
Formal logic
Mobile computing
Computational complexity
17 Citations (Scopus)
9 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 conferencePaperAcademicpeer-review

File
2001
10 Citations (Scopus)
10 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
54 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 conferencePaperAcademicpeer-review

File
2000
95 Citations (Scopus)
31 Downloads (Pure)

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 conferencePaperAcademicpeer-review

Open Access
File
Model checking
Transient analysis
Markov processes
Specifications
Temporal logic
32 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 conferencePaperAcademicpeer-review

File
1995
3 Citations (Scopus)
19 Downloads (Pure)

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 conferencePaperAcademic

File
Petri nets
Software packages
Telecommunication networks
Computer systems
1994
6 Citations (Scopus)
36 Downloads (Pure)

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 conferencePaperAcademic

File
Markov processes
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 conferencePaperAcademic