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

Research output: Book/ReportReportOther research output

Open Access
File
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
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
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. TR-CTIT-15-06)

Research output: Book/ReportReportProfessional

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

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

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

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

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

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

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

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

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

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

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