Lucia Cloth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2002–2008
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | DATE | Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. | Lucia Cloth, Boudewijn R. Haverkort |
| 2007 | DSN | Computing Battery Lifetime Distributions. | Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort |
| 2005 | DSN | Model Checking Markov Reward Models with Impulse Rewards. | Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan |
| 2005 | TACAS | Model Checking Infinite-State Markov Chains. | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth |
| 2004 | DSN | Model Checking Action- and State-Labelled Markov Chains. | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
| 2002 | DSN | Model Checking Performability Properties. | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier |