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

Research output: Book/ReportReport

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 96 p.

Research output: Book/ReportReport

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

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

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

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

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

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

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

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

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

File
2004
7 Citations
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/ReportReport

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

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

File
1995

UNI Signalling Requirements and Signalling System

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

Research output: Book/ReportReport