Boudewijn R.H.M. Haverkort

prof.dr.ir.

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

Research Output 1990 2018

Filter
Paper
2018

A Tool for Generating Automata of IEC60870-5-104 Implementations

Kerkers, M., Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 2018.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Specifications
Network protocols
Finite automata
Electric power distribution
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

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
6 Citations

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

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

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

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 Citations

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

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

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

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

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

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

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

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
93 Citations

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

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

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

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