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

Smart Industry roadmap: Onderzoeksagenda voor HTSM en ICT en routekaart voor de NWA

Habraken, M. M. P., Ahsmann, B., van den Akker, E., van Baars, G., Baartmans, R., Blankendaal, J., Bossert, R., Burghardt, P., Duisterwinkel, A., van Eijk, D., van den Eijnde, W., Endhoven, W., Gijsbers, G., Ten Have, K., Haverkort, B. R. H. M., van der Horst, T., Jayawardhana, B., Jansson, M., Karelse, F., van Keulen, F. & 10 others, van Kranenburg, H., van Lente, H., van Lier, B., Meinders, T., Post, J., Puik, E., Renders, W., Snijder, P. L., Sol, E-J. & Thuis, B., 5 Feb 2018, Smart Industry.

Research output: Book/ReportReportOther research output

Open Access
File
44 Downloads (Pure)
2017

Verkenning doelrealisatie communicatiemiddelen Caribisch Nederland

van der Molen, I., Berendsen, J., Gerardts, R., Haverkort, B. R. H. M., Meijerink, B. J., Misana-Ter Huurne, E. F. J., Rojer, G., Schoop, R. & Torenvlied, R., 2017, University of Twente. 96 p.

Research output: Book/ReportReportProfessional

Open Access
File
97 Downloads (Pure)
2016

Battery Aging and the Kinetic Battery Model

Jongerden, M. R. & Haverkort, B. R. H. M., Nov 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT technical report; no. TR-CTIT-2016-11)

Research output: Book/ReportReportOther research output

File
631 Downloads (Pure)
2015

A Score Function for State of Charge Profiles for Rechargeable Batteries

Ramsgaard Wognsen, E., Jongerden, M. R. & Haverkort, B. R. H. M., Oct 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. 15-06)

Research output: Book/ReportReportProfessional

Open Access
File
32 Downloads (Pure)
2012

A logic for model-checking of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., 30 Mar 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-12-11)

Research output: Book/ReportReportProfessional

File
76 Downloads (Pure)
2009
216 Downloads (Pure)
2008

Battery Modeling

Jongerden, M. R. & Haverkort, B. R. H. M., 9 Jan 2008, Enschede: Design and Analysis of Communication Systems (DACS). 18 p. (CTIT Technical Report Series; no. TR-CTIT-08-01)

Research output: Book/ReportReportProfessional

File
15221 Downloads (Pure)

Formal Dependability Engineering with MIOA

Kuntz, G. W. M. & Haverkort, B. R. H. M., 4 Jun 2008, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. 274/TR-CTIT-08-39)

Research output: Book/ReportReportProfessional

File
25 Downloads (Pure)
2007

Extending the Logic IM-SPDL with Impulse and State Rewards

Kuntz, G. W. M. & Haverkort, B. R. H. M., Sep 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 22 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-58)

Research output: Book/ReportReportProfessional

File
22 Downloads (Pure)

SPDL Model Checking via Property-Driven State Space Generation

Kuntz, G. W. M. & Haverkort, B. R. H. M., Sep 2007, Enschede: Design and Analysis of Communication Systems (DACS). 27 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-59)

Research output: Book/ReportReportProfessional

File
25 Downloads (Pure)
2006

Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models

Cloth, L., Haverkort, B. R. H. M. & Jongerden, M. R., 10 Oct 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 9 p. (CTIT Technical Report Series; no. 06-58)

Research output: Book/ReportReportProfessional

File
22 Downloads (Pure)
2005

CSL Model Checking of Deterministic and Stochastic Petri Nets

Martinez Verdugo, J. M. & Haverkort, B. R. H. M., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT Technical Report Series; no. TR-CTIT-05-63)

Research output: Book/ReportReportProfessional

File
22 Downloads (Pure)
2004

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

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2004, Enschede: Elektrotechniek, Wiskunde & Informatica. 30 p. (1381-3625; no. 03-50)

Research output: Book/ReportReportProfessional

File
7 Citations (Scopus)
55 Downloads (Pure)

Model Checking Infinite-State Markov Chains

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., Dec 2004, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT technical report series; no. TR-CTIT-04-49)

Research output: Book/ReportReportOther research output

File
520 Downloads (Pure)

Versatile Markovian models for networks with asymmetric TCP sources

van Foreest, N. D., Haverkort, B. R. H. M., Mandjes, M. R. H. & Scheinhardt, W. R. W., 2004, Enschede: University of Twente, Department of Applied Mathematics. 28 p. (Memorandum Faculty of Mathematical Sciences; no. 1734)

Research output: Book/ReportReportProfessional

File
18 Downloads (Pure)
2003

An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Oct 2003, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTI)

Research output: Book/ReportReportOther research output

File
7 Downloads (Pure)
2002

Model-Checking Algorithms for Continuous-Time Markov Chains

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Apr 2002, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTI)

Research output: Book/ReportReportOther research output

File
50 Downloads (Pure)
1995

UNI Signalling Requirements and Signalling System

Vervuurt, F. E. W., Haverkort, B. R. H. M. & Hoeksema, F. W., 1 Feb 1995, Enschede: University of Twente. (Deliverable Architecture, Platinum; no. O1.1.1.)

Research output: Book/ReportReportProfessional

1994

Dynamic routation in distributed environments

Franken, L. J. N., Janssen, P., Haverkort, B. R. H. M. & van Liempd, G., 1994, Enschede: University of Twente. 31 p. (Memoranda Informatica; no. 94-62)(Memorandum TIOS; no. 94-20)

Research output: Book/ReportReportProfessional

Efficient solution of a class of infinite stochastic petri nets: theory and applications

Haverkort, B. R., 1994, Enschede: University of Twente. 20 p. (Memoranda Informatica; no. 94-60)(Memorandum TIOS; no. 94-18)

Research output: Book/ReportReportProfessional

Performance evaluation of ATM cell scheduling policies using stochastic Petri nets

Haverkort, B. R. H. M., Idzenga, H. P. & Kim, B. G., 1994, Enschede: University of Twente. 18 p. (Memoranda Informatica; no. 94-61)(Memorandum TIOS; no. 94-19)

Research output: Book/ReportReportProfessional

Polling models: theory and applications

Haverkort, B. R. H. M., 1994, Enschede: University of Twente. 30 p. (Memoranda Informatica; no. 94-16)(Memorandum TIOS; no. 94-02)

Research output: Book/ReportReportProfessional

1993

A unified performability evaluation framework for computer and communication systems

van Moorsel, A. P. A. & Haverkort, B. R., 1993, Enschede: University of Twente. 20 p. (Memoranda Informatica; no. 93-21)(Memorandum TIOS; no. 93-12)

Research output: Book/ReportReportProfessional

Open Access
File
4 Downloads (Pure)

Mean-value of product-form stochastic petri net models of slotted-ring systems

Coyle, A. J., Haverkort, B. R., Henderson, W. & Pearce, C. E. M., 1993, Enschede: University of Twente. 21 p. (Memoranda Informatica; no. 93-37)(Memorandum TIOS; no. 93-22)

Research output: Book/ReportReportProfessional

MGMtool: a performance modelling tool based on matrix geomatric techniques

Haverkort, B. R. H. M., van Moorsel, A. P. A. & Dijkstra, A., 1993, Enschede: University of Twente. 20 p. (Memoranda Informatica; no. 92-35)(Memorandum TIOS; no. 92-15)

Research output: Book/ReportReportAcademic

Open Access
File
6 Downloads (Pure)

Performability Modelling Using DyQNtool+

Haverkort, B. R. & Maass, A., 1993, 45 ed. Enschede: University of Twente. 13 p. (Memoranda Informatica; no. 93-45)(Memorandum TIOS; no. 93-27)

Research output: Book/ReportReportProfessional

Performance evaluation of intelligent network services

Leever, P. J. E., Vermeer, G. S., Reijmerink, R. A. J., Franken, L. J. N. & Haverkort, B. R., 1993, Enschede: University of Twente. 8 p. (Memoranda Informatica; no. 93-20)(Memorandum TIOS; no. 93-11)

Research output: Book/ReportReportProfessional

1992

Approximate performability and dependability analysis using generalized stochastic Petri nets

Haverkort, B. R., 1992, Enschede: University of Twente. 18 p. (Memoranda informatica; no. 92-11)

Research output: Book/ReportReportProfessional

Sensitivity and uncertainty analysis of Markov Reward Models

Haverkort, B. R. & Meeuwissen, A. M. H., 1992, Enschede: University of Twente. 38 p. (Memoranda Informatica; no. 92-89)(Memorandum TIOS; no. 92-34)

Research output: Book/ReportReportProfessional

Specification and generation of Markov reward models

Haverkort, B. R. H. M. & Trivedi, K. S., 1992, Enschede: University of Twente. 34 p. (Memoranda Informatica; no. 92-60)(Memorandum TIOS; no. 92-27)

Research output: Book/ReportReportProfessional

1991

Composite performance and dependability analysis

Trivedi, K. S., Muppala, J. K., Woolet, S. P. & Haverkort, B. R., 1991, Enschede: University of Twente. 30 p. (Memoranda Informatica; no. 91-50)(Memorandum TIOS; no. 91-019)

Research output: Book/ReportReportProfessional

1990

Product forms for availability

Smeitink, E., van Dijk, N. M. & Haverkort, B. R., 1990, University of Twente. 18 p. (Memoranda informatica; vol. 37)

Research output: Book/ReportReportProfessional