Terug naar zoekresultaat

Persoon

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

Pagina-navigatie:

Wijzig persoonsdata

Expertise	Communicatieprotocollen; Mobile en vaste netwerken; Internet technologie; Model-gebaseerde prestatie-analyse; Betrouwbaarheidsanalyse; Model checking; Systeem verificatie; Fout-tolerante computer/communicatiesystemen; Simulatie
Expertise (EN)	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
Digital Author ID	info:eu-repo/dai/nl/073757349

Werkzaam als

Hoogleraar
Organisatie	Leerstoel Design and Analysis of Communication Systems - DACS (UT)
Leeropdracht (NL)	Ontwerp en analyse van communicatiesystemen
Leeropdracht (EN)	Design and Analysis of Communication Systems
Telefoon	+31-53-4898041
Email	b. r. h. m. haverkort -at- utwente. nl
URL	http://dacs.ewi.utwente.nl/staff/brh/

Publicaties

A logic for model-checking of mean-field models
Lifetime Improvement by Battery Scheduling
Simulative and Analytical Evaluation for ASD-Based Embedded Software
Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study
Is Quantitative Analysis of Stuxnet Possible?

Alle publicaties

Verrijkte publicaties

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

Lopende onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Promotor	Dependable and survivable scada systems
Promotor	Model checking stochastic systems using rare event simulation
Promotor	Scalable Network Intrusion Detection
Promotor	Intrusion Detection in SCADA Systems
Projectleider	Mean-Field Approximation Techniques for Markov Models (MATMaM)

Alle lopende onderzoeksactiviteiten..

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Promotor	Model-based energy analysis of battery powered systems
Promotor	Flow-based intrusion detection
Promotor	Self-management of hybrid optical and packet switching networks
Projectleider	A Verification Grid for Enhanced Model Checking (veriGEM)
Projectleider	Quality of Service for Metropolitan Ethernet Networks

Alle afgesloten onderzoeksactiviteiten..

Classificatie

D14310	Telecommunicatietechniek
D16100	Computersystemen, architecturen, netwerken

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie