Boudewijn R.H.M. Haverkort

prof.dr.ir.

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

Research Output 1990 2019

Filter
Report
2018
28 Downloads (Pure)

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 othersvan 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
2017
64 Downloads (Pure)

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
2016
495 Downloads (Pure)

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
2015
22 Downloads (Pure)

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
2012
59 Downloads (Pure)

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
2008
11820 Downloads (Pure)

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
22 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
2007
17 Downloads (Pure)

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
2006
16 Downloads (Pure)

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
2005
13 Downloads (Pure)

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
2004
7 Citations (Scopus)
38 Downloads (Pure)

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
255 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
13 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
2003
6 Downloads (Pure)

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
2002
33 Downloads (Pure)

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

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

Repair
Availability
Queueing networks
Random variables