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
Article
2018

An integrated testbed for locally monitoring SCADA systems in smart grids

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 6 Nov 2018, In : Energy Informatics. 1, p. 1-29 56.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
45 Downloads (Pure)

Evaluation of Advanced Data Centre Power Management Strategies

Postema, B. F. & Haverkort, B. R., 9 May 2018, In : Electronic notes in theoretical computer science. 337, p. 173-191 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
62 Downloads (Pure)
2017

Smart Industry: How ICT Will Change the Game!

Haverkort, B. R. & Zimmermann, A., 2017, In : IEEE internet computing. 21, 1, p. 8-10

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)
2016

Does Your Domestic Photovoltaic Energy System Survive Grid Outages?

Jongerden, M. R., Hüls, J., Remke, A. & Haverkort, B. R., 9 Sep 2016, In : Energies. 9, 9, 17 p., 736.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
6 Citations (Scopus)
73 Downloads (Pure)

Survivability analysis of a sewage treatment facility using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Mar 2016, In : Performance evaluation. 97, p. 36-56 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
2015

Energie besparen in datacentra

Postema, B. F. & Haverkort, B. R. H. M., 20 Nov 2015, In : Bits en chips. 9, p. 44-45 2 p.

Research output: Contribution to journalArticlePopular

On hypothesis testing for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Aug 2015, In : International journal on software tools for technology transfer. 17, 4, p. 377-395 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

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

Model checking for performability

Baier, C., Hahn, E. M., Haverkort, B. R., Hermanns, H. & Katoen, J-P., Aug 2013, In : Mathematical structures in computer science. 23, Special Issue 04, p. 751-795 45 p.

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)

Networking for the Cloud: Challenges and Trends

Drago, I., de Oliveira Schmidt, R., Hofstede, R. J., Sperotto, A., Karimzadeh Motallebi Azar, M., Haverkort, B. R. H. M. & Pras, A., 11 Dec 2013, In : PIK: Praxis der Informationsverarbeitung und Kommunikation. 36, 4, p. 207-214 8 p.

Research output: Contribution to journalArticleAcademic

The Dependable Systems-of-Systems Design Challenge

Haverkort, B. R. H. M., Sep 2013, In : IEEE security & privacy. 11, 5, p. 62-65 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
2012

Rare event simulation for highly dependable systems with fast repairs

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Jul 2012, In : Performance evaluation. 69, 7-8, p. 336-355 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
7 Citations (Scopus)
70 Downloads (Pure)
2011

Mean-field framework for performance evaluation of push–pull gossip protocols

Bakhshi, R., Cloth, L., Fokkink, W. & Haverkort, B. R. H. M., Feb 2011, In : Performance evaluation. 68, 2, p. 157-179 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

19 Citations (Scopus)

Parallel and Distributed Methods in Verification

Cerná, I. & Haverkort, B. R. H. M., Feb 2011, In : Journal of logic and computation. 21, 1, p. 1-3 3 p.

Research output: Contribution to journalArticleAcademic

1 Citation (Scopus)

Time-bounded reachability in tree-structured QBDs by abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Feb 2011, In : Performance evaluation. 68, 2, p. 105-125 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
4 Citations (Scopus)
15 Downloads (Pure)
2010

A Massively Scalable Architecture for Instant Messaging & Presence

Schippers, J., Remke, A., Punt, H., Wegdam, M. & Haverkort, B. R. H. M., 13 Feb 2010, In : Electronic notes in theoretical computer science. 261, p. 109-130 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Citations (Scopus)
31 Downloads (Pure)

Computing Optimal Schedules of Battery Usage in Embedded Systems

Jongerden, M. R., Mereacre, A., Bohnenkamp, H. C., Haverkort, B. R. H. M. & Katoen, J. P., 2010, In : IEEE transactions on industrial informatics. 6, 3, p. 276-286 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
31 Citations (Scopus)
106 Downloads (Pure)

Performability assessment by model checking of Markov reward models

Baier, C., Cloth, L., Haverkort, B. R., Hermanns, H. & Katoen, J. P., 2010, In : Formal methods in system design. 36, 1, p. 1-36 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

21 Citations (Scopus)

Performance Evaluation and Model Checking Join Forces

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Sep 2010, In : Communications of the ACM. 53, 9, p. 76-85 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
59 Citations (Scopus)
56 Downloads (Pure)
2009

A Database Approach to Distributed State-Space Generation

Blom, S., Cerna, I. (ed.), Haverkort, B. R. H. M. (ed.), Lisser, B., van de Pol, J. C. & Weber, M., 5 Mar 2009, In : Journal of logic and computation. Advance Ac, 1, p. 45-62 18 p., 10.1093/logcom/exp004.

Research output: Contribution to journalArticleAcademicpeer-review

File
5 Citations (Scopus)
66 Downloads (Pure)

Betere beveiliging Scada-systemen vitaal voor Nederlandse infrastructuren

Haverkort, B. R. H. M., Remke, A. K. I. & Hartel, P. H., 16 Oct 2009, In : Bits en chips. 11, 16, p. 23-23 1 p.

Research output: Contribution to journalArticlePopular

Distributed Algorithms for SCC Decomposition

Cerna, I. (ed.), Barnat, J., Chaloupka, J., Haverkort, B. R. H. M. (ed.) & van de Pol, J. C., 17 Feb 2009, In : Journal of logic and computation. Advance Ac, 1, p. 23-44 22 p., 10.1093/logcom/exp003.

Research output: Contribution to journalArticleAcademicpeer-review

File
16 Citations (Scopus)
172 Downloads (Pure)

Which battery model to use?

Jongerden, M. R. & Haverkort, B. R. H. M., Dec 2009, In : IET software. 3, 6, p. 445-457 13 p., 10.1049/iet-sen.2009.0001.

Research output: Contribution to journalArticleAcademicpeer-review

File
168 Citations (Scopus)
2637 Downloads (Pure)
2008

A centralized feedback control model for resource management in wireless networks

Yang, Y., Haverkort, B. R. & Heijenk, G. J., Mar 2008, In : PIK: Praxis der Informationsverarbeitung und Kommunikation. 31, 1, p. 51-56 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
56 Downloads (Pure)

Formal analysis techniques for gossiping protocols

Bakhshi, R., Bonnet, F., Fokkink, W. & Haverkort, B. R. H. M., 2008, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. p. 34-46

Research output: Contribution to journalArticleAcademic

File
67 Downloads (Pure)

Mean-field analysis for the evaluation of gossip protocols

Bakhshi, R., Cloth, L., Fokkink, W. & Haverkort, B. R. H. M., Dec 2008, In : SIGMETRICS performance evaluation review. 36, WP 08-02/3, p. 32-39 8 p., 10.1145/1481506.1481513.

Research output: Contribution to journalArticleAcademicpeer-review

File
5 Citations (Scopus)
53 Downloads (Pure)
2007

CSL model checking algorithms for QBDs

Di Pierro, A. (ed.), Remke, A. K. I., Haverkort, B. R. H. M., Wiklicky, H. (ed.) & Cloth, L., 28 Aug 2007, In : Theoretical computer science. 382, LNCS4549/1, p. 24-41 18 p., 10.1016/j.tcs.2007.05.007.

Research output: Contribution to journalArticleAcademicpeer-review

File
19 Citations (Scopus)
40 Downloads (Pure)

Model Checking Markov Chains with Actions and State Labels

Baier, C., Cloth, L., Haverkort, B. R. H. M., Kuntz, G. W. M. & Siegle, M., 2007, In : IEEE transactions on software engineering. 33, 1/4, p. 209-224 16 p., 10.1109/TSE.2007.36.

Research output: Contribution to journalArticleAcademicpeer-review

File
56 Citations (Scopus)
72 Downloads (Pure)

Versatile Stochastic Models for Networks with Asymmetric TCP Sources

van Foreest, N. D., Haverkort, B. R. H. M., Mandjes, M. R. H. & Scheinhardt, W. R. W., 2007, In : Performance evaluation. 64, 1, p. 507-523 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
2 Citations (Scopus)
29 Downloads (Pure)
2006

Distributed Disk-Based Solution of Very Large Markov Chains

Bell, A. & Haverkort, B. R. H. M., 2006, In : Formal methods in system design. 29, 2/2, p. 177-196 20 p., 10.1007/s10703-006-0007-0.

Research output: Contribution to journalArticleAcademicpeer-review

File
11 Citations (Scopus)
54 Downloads (Pure)

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

Arlat, J. (ed.), Arlat, J., Bondavalli, A., Bondavalli, A. (ed.), Haverkort, B. R. H. M. (ed.), Verissimo, P. & Verissimo, P. (ed.), 2006, In : IEEE transactions on dependable and secure computing. 3, 2/3, p. 169-171 3 p., 10.1109/TDSC.2006.36.

Research output: Contribution to journalArticleAcademicpeer-review

File
44 Downloads (Pure)
2005

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

Baier, C., Hermanns, H., Katoen, J. P. & Haverkort, B. R. H. M., 2005, In : Theoretical computer science. 345, 1, p. 2-26 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
93 Citations (Scopus)
51 Downloads (Pure)

Model checking meets performance evaluation

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 10-16 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
59 Downloads (Pure)

Performance and verification

Haverkort, B. R. H. M. & Katoen, J. P., 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 3-3 1 p.

Research output: Contribution to journalArticleAcademic

File
23 Citations (Scopus)
10 Downloads (Pure)

QoS modelling and analysis with UML-statecharts: the StoCharts approach

Jansen, D. N., Haverkort, B. R. H. M. (ed.), Hermanns, H. & Katoen, J. P. (ed.), Mar 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 28-33 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
29 Downloads (Pure)

Sequential and distributed model checking of Petri nets

Bell, A. & Haverkort, B. R. H. M., 2005, In : International journal on software tools for technology transfer. 7, 1, p. 43-60 18 p., 10.1007/s10009-003-0129-2.

Research output: Contribution to journalArticleAcademicpeer-review

File
23 Citations (Scopus)
19 Downloads (Pure)
2004

The Pseudo-Self-Similar Traffic Model: Application and Validation

El Abdouni Khayari, R., Haverkort, B. R. H. M., Sadre, R. & Ost, A., 2004, In : Performance evaluation. 56, 1-4, p. 3-22 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
15 Citations (Scopus)
92 Downloads (Pure)
2003

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

El Abdouni Khayari, R., Sadre, R. & Haverkort, B. R. H. M., Apr 2003, In : Performance evaluation. 52, 2-3, p. 175-191 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

88 Citations (Scopus)
11 Downloads (Pure)

Model-checking algorithms for continuous-time Markov chains

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Jun 2003, In : IEEE transactions on software engineering. 29, 6, p. 524-541 18 p., 10.1109/TSE.2003.1205180.

Research output: Contribution to journalArticleAcademicpeer-review

533 Citations (Scopus)
2002

Simulation for continuous-time Markov chains

Baier, C., Katoen, J. P., Hermanns, H. & Haverkort, B. R. H. M., 2002, In : Lecture notes in artificial intelligence. 2421, p. -

Research output: Contribution to journalArticleAcademicpeer-review

The Mean Value of the Maximum

Bohnenkamp, H. C. & Haverkort, B. R. H. M., 2002, In : Lecture notes in artificial intelligence. 2399, p. 37-56

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
2001

Performance and Dependability Modelling Techniques and Tools

Haverkort, B. R. H. M. (ed.) & Harper, R., 2001, In : Performance evaluation. 44, 1-4, p. 1-4 4 p., 10.1016/S0166-5316(00)00067-5.

Research output: Contribution to journalArticleAcademicpeer-review

8 Downloads (Pure)
2000

Performance Evaluation of Multicast Communication in Packet-Switched Networks

Schuba, M., Haverkort, B. R. H. M. & Schneider, G., Feb 2000, In : Performance evaluation. 39, 1/4, p. 61-80 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1996

A mean-value analysis of slotted-ring network models

Coyle, A. J., Haverkort, B. R., Henderson, W. & Pearce, C. E. M., 1996, In : Telecommunication systems. 6, 1, p. 203-227 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
17 Downloads (Pure)

Design and evaluation of a connection management mechanism for an ATM-based connectionless service

Heijenk, G. & Haverkort, B. R. H. M., Mar 1996, In : Distributed Systems Engineering. 3, 1, p. 53-67 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
3 Citations (Scopus)
69 Downloads (Pure)

Performability Modelling Tools and Techniques

Haverkort, B. R. & Niemegeers, I. G., 1996, In : Performance evaluation. 25, 1, p. 17-40 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
30 Citations (Scopus)
140 Downloads (Pure)
1995

In Search for Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models

Haverkort, B. R. H. M., 1995, In : Computer journal. 38, 7, p. 521-529

Research output: Contribution to journalArticleAcademicpeer-review

Model-Gebaseerde Prestatie-Analyse van Communicatienetwerken

Haverkort, B. R. H. M., 1995, In : Automatisering gids. p. -

Research output: Contribution to journalArticleProfessional

Probabilistic Evaluation for the Analytical Solution of Large Markov Chains: Algorithms and Tool Support

van Moorsel, A. P. A. & Haverkort, B. R. H. M., 1995, In : Microelectronics reliability. p. -

Research output: Contribution to journalArticleAcademicpeer-review

Sensitivity and Uncertainty Analysis of Markov Reward Models

Haverkort, B. R. H. M. & Meeuwissen, A. M. H., 1995, In : IEEE transactions on reliability. 44, 1, p. 147-154 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
30 Citations (Scopus)
70 Downloads (Pure)