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
PhD Thesis - Research UT, graduation UT
2019
38 Downloads (Pure)

Process-aware SCADA traffic monitoring: A local approach

Chromik, J. J., 12 Jul 2019, Enschede: University of Twente. 231 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
SCADA systems
Data acquisition
Monitoring
Remote control
Testbeds
30 Downloads (Pure)

Rare event simulation for non-Markovian tandem queues

Buijsrogge, A., 21 Jun 2019, Enschede: University of Twente. 182 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Rare Event Simulation
Tandem Queues
Change of Measure
Importance Sampling
Efficient Estimator
2018
48 Downloads (Pure)

Energy-efficient data centres: model-based analysis of power-performance trade-offs

Postema, B. F., 21 Dec 2018, Enschede: University of Twente. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Energy conservation
Energy utilization
Greenhouse gases
Ecosystems
Energy efficiency
2017
95 Downloads (Pure)

Analysis of hybrid Petri nets with random discrete events

Ghasemieh, H., 3 Feb 2017, Enschede: University of Twente. 196 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
Petri nets
Critical infrastructures
Intelligent buildings
Sewage treatment
Electric power distribution
2 Citations (Scopus)
125 Downloads (Pure)

Automated performance evaluation of service-oriented systems

van den Berg, F. G. B., 14 Jun 2017, Enschede: University of Twente. 266 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Computer systems
Embedded systems
Model checking
Gain measurement
Biomedical equipment
58 Downloads (Pure)

Energy-efficient medium access control for transmit reference modulation

Morshed, S., 2 Nov 2017, Enschede: University of Twente. 199 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Medium access control
Modulation
Network protocols
Energy efficiency
Wireless sensor networks
2014
347 Downloads (Pure)

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 UTAcademic

Open Access
File
SCADA systems
Data acquisition
Water treatment
Network protocols
Critical infrastructures
57 Downloads (Pure)

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 UTAcademic

File
2013
125 Downloads (Pure)

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 UTAcademic

File
1211 Downloads (Pure)

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 UTAcademic

File
158 Downloads (Pure)

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 UTAcademic

File
100 Downloads (Pure)

Understanding and Monitoring Cloud Services

Drago, I., 13 Dec 2013, Enschede: University of Twente. 162 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2011
46 Downloads (Pure)

Context discovery in ad-hoc networks

Liu, F., 9 Jun 2011, Enschede: University of Twente. 252 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2010
227 Citations (Scopus)
655 Downloads (Pure)

Flow-based intrusion detection

Sperotto, A., 14 Oct 2010, Zutphen: University of Twente. 166 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
66 Downloads (Pure)

Model-based energy analysis of battery powered systems

Jongerden, M. R., 10 Dec 2010, Enschede: University of Twente. 129 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
70 Downloads (Pure)

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 UTAcademic

File
70 Downloads (Pure)

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 UTAcademic

File
2009
60 Downloads (Pure)

A Security Architecture for Personal Networks

Jehangir, A., 9 Apr 2009, Enschede: University of Twente. 166 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2008
61 Downloads (Pure)

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 UTAcademic

File
49 Downloads (Pure)

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 UTAcademic

File
2007
14 Downloads (Pure)

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 UTAcademic

Open Access
File
2006
64 Downloads (Pure)

Model Checking Algorithms for Markov Reward Models

Cloth, L., 13 Jan 2006, Enschede: University of Twente. 146 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Formal methods
Disasters
Large scale systems
Communication systems
2004
57 Downloads (Pure)

Intra-piconet scheduling in Bluetooth

Ait Yaiz, R., 8 Jul 2004, Apeldoorn, Netherlands: University of Twente. 177 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Bluetooth
Scheduling
Quality of service
Personal communication systems
Specifications
38 Downloads (Pure)

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 UTAcademic

Open Access
File
1990

Performability Modelling Tools, Evaluation Techniques and Applications

Haverkort, B. R. H. M., Dec 1990, Enschede, The Netherlands: University of Twente. 180 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Queueing networks
Distributed computer systems
Communication systems
Fault tolerant computer systems
Flexible manufacturing systems