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

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