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
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
SCADA systems
Testbeds
Monitoring
Simulators
Intrusion detection

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
Power Management
Data Center
Evaluation
Specification languages
Servers
2017
4 Citations

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

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
Outages
Survivability
Grid
Battery
Energy
1 Citations

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

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

10 Citations

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
2013
10 Citations

Model checking for performability

Baier, C., Hahn, E. M., Haverkort, B. R. H. M., 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

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

2 Citations

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

Systems analysis
Industry
industry
System of systems
Society
2012
5 Citations

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
2011
17 Citations

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

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

4 Citations

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
2010
3 Citations

A Massively Scalable Architecture for Instant Messaging & Presence

Schippers, J., Remke, A. K. I., 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
Instant
Scalability
Queueing
Social Networks
Architecture
29 Citations

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

Performability assessment by model checking of Markov reward models

Baier, C., Cloth, L., Haverkort, B. R. H. M., 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

52 Citations

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
2009
4 Citations

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

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

13 Citations

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

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
2008

A centralized feedback control model for resource management in wireless networks

Yang, Y., Haverkort, B. R. H. M. & Heijenk, G., Mar 2008, In : PIK: Praxis der Informationsverarbeitung und Kommunikation. 31, 1, p. 51-56 6 p., 10.1515/piko.2008.010.

Research output: Contribution to journalArticleAcademicpeer-review

File

Applying Formal Methods to Gossiping Networks with mCRL and Groove

Haverkort, B. R. H. M. (ed.), Crouzen, P., Siegle, M. (ed.), van de Pol, J. C., van Steen, M. R. (ed.), Rensink, A. & van Steen, M. (ed.), Dec 2008, In : SIGMETRICS performance evaluation review. 36, CFP08545-D/3, p. 7-16 10 p., 10.1145/1481506.1481510.

Research output: Contribution to journalArticleAcademicpeer-review

File

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

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
2007
18 Citations

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

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

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
Stochastic Petri Nets
Stochastic models
Stochastic Model
Petri nets
Buffer
2006
10 Citations

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

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
2005
90 Citations

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

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

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

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

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
2004
15 Citations

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
Traffic Model
Traffic Modeling
Network Traffic
Network Modeling
Self-similarity
2003
83 Citations

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

Self-similarity
EM Algorithm
World Wide Web
Trace
Statistics
508 Citations

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

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

5 Citations

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

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

2000
2 Citations

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

1996

A Mean-Value Analysis of Stochastic Petri Net Models of Slotted Rings

Coyle, A., Haverkort, B. R. H. M., Henderson, W. & Pearce, C. E. M., 1996, In : Telecommunication systems. 6, 2, p. 203-227 25 p., 10.1007/BF02114294.

Research output: Contribution to journalArticleAcademicpeer-review

File
3 Citations

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

Performability Modelling Tools and Techniques

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

Research output: Contribution to journalArticleAcademicpeer-review

File
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