Lucia Cloth

According to our database, Lucia Cloth authored at least 20 papers between 2001 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Scalable Stochastic Modelling for Resilience.

Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

Mean-field framework for performance evaluation of push-pull gossip protocols.

Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort

Perform. Evaluation, 2011

2010

Performability assessment by model checking of Markov reward models.

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen

Formal Methods Syst. Des., 2010

2009

Mean-Field Analysis for the Evaluation of Gossip Protocols.

Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort

Proceedings of the QEST 2009, 2009

2008

MeanField analysis for the evaluation of gossip protocols.

Rena Bakhshi, Lucia Cloth, Wan J. Fokkink, Boudewijn R. Haverkort

SIGMETRICS Perform. Evaluation Rev., 2008

The Performability Tool P'ility.

Lucia Cloth, Boudewijn R. Haverkort

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices.

Lucia Cloth, Boudewijn R. Haverkort

Proceedings of the Design, Automation and Test in Europe, 2008

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks.

Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008

2007

Model Checking Markov Chains with Actions and State Labels.

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle

IEEE Trans. Software Eng., 2007

CSL model checking algorithms for QBDs.

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth

Theor. Comput. Sci., 2007

Computing Battery Lifetime Distributions.

Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

07101 Working Group Report -- Performance Measures Other Than Time.

Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang

Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

2006

Model checking algorithms for Markov reward models.

Lucia Cloth

PhD thesis, 2006

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

Model Checking Infinite-State Markov Chains.

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Model Checking for Survivability.

Lucia Cloth, Boudewijn R. Haverkort

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Model Checking Markov Reward Models with Impulse Rewards.

Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Model Checking Action- and State-Labelled Markov Chains.

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2002

Model Checking Performability Properties.

Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.

Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort

Proceedings of the Process Algebra and Probabilistic Methods, 2001