Travelled to:1 × Germany
1 × Spain
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:L.Cloth C.Baier H.Hermanns J.Katoen A.Remke Freek van den Berg Björn F. Postema
Talks about:markov (3) time (3) perform (2) continu (2) effici (2) model (2) evalu (2) check (2) chain (2) characteris (1)
Person: Boudewijn R. Haverkort
DBLP: Haverkort:Boudewijn_R=
Contributed to:
2008
20052004
2000
2000
2016Wrote 6 papers:
- DATE-2008-ClothH #design #embedded #evaluation #mobile #predict
- Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices (LC, BRH), pp. 90–91.
- TACAS-2005-RemkeHC #infinity #markov #model checking
- Model Checking Infinite-State Markov Chains (AR, BRH, LC), pp. 237–252.
- TACAS-2004-BaierHHK #bound #markov #performance #process #reachability
- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (CB, BRH, HH, JPK), pp. 61–76.
- CAV-2000-BaierHHK #analysis #markov #model checking
- Model Checking Continuous-Time Markov Chains by Transient Analysis (CB, BRH, HH, JPK), pp. 358–372.
- ICALP-2000-BaierHHK #logic #on the
- On the Logical Characterisation of Performability Properties (CB, BRH, HH, JPK), pp. 780–792.
- QAPL-2016-BergPH #energy #performance #policy
- Evaluating load balancing policies for performance and energy-efficiency (FvdB, BFP, BRH), pp. 98–117.