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
PhD Thesis - Research UT, graduation UT
2017

Analysis of hybrid Petri nets with random discrete events

Ghasemieh, H. 3 Feb 2017 Enschede. 196 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
Petri nets
Critical infrastructures
Intelligent buildings
Sewage treatment
Electric power distribution
2 Citations

Automated performance evaluation of service-oriented systems

van den Berg, F. G. B. 14 Jun 2017 Enschede. 266 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Computer systems
Embedded systems
Model checking
Gain measurement
Biomedical equipment

Energy-efficient medium access control for transmit reference modulation

Morshed, S. 2 Nov 2017 Enschede. 199 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Medium access control
Modulation
Network protocols
Energy efficiency
Wireless sensor networks
2014

Anomaly detection in SCADA systems: a network based approach

Barbosa, R. R. R. 2 Apr 2014 Enschede: Universiteit Twente. 194 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
SCADA systems
Data acquisition
Water treatment
Network protocols
Critical infrastructures

Anomaly Detection in SCADA Systems - A Network Based Approach

Barbosa, R. R. R. 2 Apr 2014 Enschede: Centre for Telematics and Information Technology (CTIT). 194 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Model-Checking Mean-Field Models: Algorithms & Applications

Kolesnichenko, A. V. 17 Dec 2014 Enschede: Centre for Telematics and Information Technology (CTIT). 194 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2013

Efficient simulation techniques for stochastic model checking

Reijsbergen, D. P. 6 Dec 2013 Enschede: Universiteit Twente. 175 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Internet Bad Neighborhoods

Moreira Moura, G. 1 Mar 2013 Enschede: Centre for Telematics and Information Technology (CTIT). 215 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Scalable Beaconing for Cooperative Adaptive Cruise Control

van Eenennaam, M. 20 Nov 2013 Enschede: Centre for Telematics and Information Technology (CTIT). 260 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Understanding and Monitoring Cloud Services

Drago, I. 13 Dec 2013 Enschede. 162 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2011

Context discovery in ad-hoc networks

Liu, F. 9 Jun 2011 Enschede. 252 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2010
191 Citations

Flow-based intrusion detection

Sperotto, A. 14 Oct 2010 Zutphen. 166 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Model-based energy analysis of battery powered systems

Jongerden, M. R. 10 Dec 2010 Enschede. 129 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Model-based energy analysis of battery powered systems

Jongerden, M. R. 10 Dec 2010 129 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Self-Management of Hybrid Optical and Packet Switching Networks

Fioreze, T. 17 Feb 2010 Zutphen: Wöhrmann Print Service. 155 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Task distribution based adaptation in mobile patient monitoring systems

Mei, H. 2 Jun 2010 Enschede: Twente University Press (TUP). 150 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2009

A Security Architecture for Personal Networks

Jehangir, A. 9 Apr 2009 Enschede. 166 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2008

Efficient heuristics for simulating rare events in queuing networks

Zaburnenko, T. S. 25 Jan 2008 Enschede: Centre for Telematics and Information Technology (CTIT). 172 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File

Model Checking Structured Infinite Markov Chains

Remke, A. K. I. 20 Jun 2008 Zutphen: Woermann Printing Service. 154 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
2007

Decomposition-Based Analysis of Queueing Networks

Sadre, R. 10 Jan 2007 Enschede: Centre for Telematics and Information Technology (CTIT). 209 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
2006

Model Checking Algorithms for Markov Reward Models

Cloth, L. 13 Jan 2006 Enschede. 146 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Model checking
Formal methods
Disasters
Large scale systems
Communication systems
2004

Intra-piconet scheduling in Bluetooth

Ait Yaiz, R. 8 Jul 2004 Apeldoorn, Netherlands. 177 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Bluetooth
Scheduling
Quality of service
Personal communication systems
Specifications

Mobile internet traffic measurement and modeling based on data from commercial GPRS networks

Kalden, R. A. 2004 Enschede: Druck und Verlaghaus Mainz GmbH Aachen. 200 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
1990

Performability Modelling Tools, Evaluation Techniques and Applications

Haverkort, B. R. H. M. Dec 1990 Enschede, The Netherlands. 180 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT