Lucia Cloth

Publication Activity (10 Years)

Years Active: 2001-2011
Publications (10 Years): 0

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Evaluation 68 (2) (2011)
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performability assessment by model checking of Markov reward models. Formal Methods Syst. Des. 36 (1) (2010)
Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST (2009)
Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort
MeanField analysis for the evaluation of gossip protocols. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
Lucia Cloth, Boudewijn R. Haverkort
The Performability Tool P'ility. QEST (2008)
Lucia Cloth, Boudewijn R. Haverkort
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE (2008)
Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth
Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. ASMTA (2008)
Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang
07101 Working Group Report -- Performance Measures Other Than Time. Quantitative Aspects of Embedded Systems (2007)
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382 (1) (2007)
Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort
Computing Battery Lifetime Distributions. DSN (2007)
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. 33 (4) (2007)
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. QEST (2006)
Lucia Cloth, Boudewijn R. Haverkort
Model Checking for Survivability. QEST (2005)
Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan
Model Checking Markov Reward Models with Impulse Rewards. DSN (2005)
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
Model Checking Infinite-State Markov Chains. TACAS (2005)
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
Model Checking Action- and State-Labelled Markov Chains. DSN (2004)
Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
Model Checking Performability Properties. DSN (2002)
Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. PAPM-PROBMIV (2001)

Lucia Cloth.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Lucia Cloth