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

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

9 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 journalArticle

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 journalArticle

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 journalArticle

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

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

49 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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

File
125 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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

File
53 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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

File
2005
89 Citations
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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

Self-similarity
EM Algorithm
World Wide Web
Trace
Statistics
502 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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

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 journalArticle

File
3 Citations
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 journalArticle

File

Model-Gebaseerde Prestatie-Analyse van Communicatienetwerken

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

Research output: Contribution to journalArticle

27 Citations

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 journalArticle

File