Lucia Cloth

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