Back to search results

Person

Prof.dr.ir. B.R.H.M. Haverkort

Pagina-navigatie:

Update Persondata

Expertise	Communication protocols; Mobile and fixed networks; Internet technology; Model-based performance analysis; Dependability evaluation Model checking; System verification; Fault-tolerant computer communication systems; Discrete-event simulation
Expertise (NL)	Communicatieprotocollen; Mobile en vaste netwerken; Internet technologie; Model-gebaseerde prestatie-analyse; Betrouwbaarheidsanalyse; Model checking; Systeem verificatie; Fout-tolerante computer/communicatiesystemen; Simulatie
Digital Author ID	info:eu-repo/dai/nl/073757349

Active as

Professor
Organisation	Researchgroup Design and Analysis of Communication Systems (UT)
Chair (EN)	Design and Analysis of Communication Systems
Chair (NL)	Ontwerp en analyse van communicatiesystemen
Phone	+31-53-4898041
Email	b. r. h. m. haverkort -at- utwente. nl
URL	http://dacs.ewi.utwente.nl/staff/brh/

Publications

Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study
Is Quantitative Analysis of Stuxnet Possible?
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?
Lifetime improvement by battery scheduling
Context discovery in ad-hoc networks

All publications..

Enhanced publications

Doctoral Thesis: Self-management of hybrid optical and packet switching networks
Doctoral Thesis: Flow-based intrusion detection

Current research

(the most recent research is at the top)
Supervisor	Dependable and survivable scada systems
Supervisor	Model checking stochastic systems using rare event simulation
Supervisor	Scalable Network Intrusion Detection
Supervisor	Intrusion Detection in SCADA Systems
Project leader	Mean-Field Approximation Techniques for Markov Models (MATMaM)

All current research..

Completed research projects

(the most recent research is at the top)
Supervisor	Model-based energy analysis of battery powered systems
Supervisor	Flow-based intrusion detection
Supervisor	Self-management of hybrid optical and packet switching networks
Project leader	A Verification Grid for Enhanced Model Checking (veriGEM)
Project leader	Quality of Service for Metropolitan Ethernet Networks

All completed research..

Classification

D14310	Telecommunication engineering
D16100	Computer systems, architectures, networks

Go to page top
Go back to contents
Go back to site navigation