BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Haverkort:Boudewijn_R=

Contributed to:

DATE 20082008
TACAS 20052005
TACAS 20042004
CAV 20002000
ICALP 20002000
QAPL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.