Boudewijn R.H.M. Haverkort

prof.dr.ir.

1990 …2018
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Engineering & Materials Science

Model checking
SCADA systems
Markov processes
Stochastic models
Intrusion detection
Petri nets
Testbeds
World Wide Web
Specifications
Systems analysis
Charging (batteries)
Communication systems
Importance sampling
Embedded software
HTTP
Fault tolerance
Servers
Simulators
Software design
Reliability analysis
Ad hoc networks
Queueing networks
Outages
Availability
Quality of service
Transient analysis
Disasters
Algebra
Feedback control
Scalability
Monitoring
Numerical analysis
Electric power distribution
Wireless networks
Industry
Energy conservation
Image processing
Aging of materials
Kinetics
Semantics
Scheduling
Statistics
Acoustic waves
Formal logic
Network protocols
Planning
X rays
Energy utilization
Mobile computing
Fibers

Mathematics

Performability
Power Management
Data Center
Reward
Logic
Self-similarity
Stochastic Petri Nets
Domain-specific Languages
Traffic Model
Performance Evaluation
Model Checking
Network Traffic
EM Algorithm
Evaluation
Specification
Instant
Stochastic Model
Trace
Buffer
Survivability
Traffic Modeling
Grid
Network Planning
Capacity Planning
Path
Heavy-tailed Distribution
Expectation Maximization
Process Algebra
Queuing
Empirical Distribution
Energy
Traffic
Battery
Service-oriented
Exponential distribution
Model
Latency
Strategy
Continuous-time Markov Chain
Intuitive
Fluid Model
Scalability
Simulation Framework
Performance Measurement
Distribution Function
Fairness
Calibration
Dependability