Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:B.R.Haverkort A.Remke
Talks about:quantit (1) predict (1) lifetim (1) infinit (1) batteri (1) system (1) markov (1) design (1) state (1) model (1)
Person: Lucia Cloth
DBLP: Cloth:Lucia
Contributed to:
2008
2005Wrote 2 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.