Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. - Lucia Cloth; Henrik C. Bohnenkamp; Boudewijn R. Haverkort (PAPM-PROBMIV, 2001)

Model Checking Performability Properties. - Boudewijn R. Haverkort; Lucia Cloth; Holger Hermanns; Joost-Pieter Katoen; Christel Baier (DSN, 2002)

Model Checking Action- and State-Labelled Markov Chains. - Christel Baier; Lucia Cloth; Boudewijn R. Haverkort; Matthias Kuntz; Markus Siegle (DSN, 2004)

Model Checking Markov Reward Models with Impulse Rewards. - Lucia Cloth; Joost-Pieter Katoen; Maneesh Khattri; Reza Pulungan (DSN, 2005)

Model Checking for Survivability. - Lucia Cloth; Boudewijn R. Haverkort (QEST, 2005)

Model Checking Infinite-State Markov Chains. - Anne Remke; Boudewijn R. Haverkort; Lucia Cloth (TACAS, 2005)

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. - Anne Remke; Boudewijn R. Haverkort; Lucia Cloth (QEST, 2006)

Model checking algorithms for Markov reward models. - Lucia Cloth (2006)

07101 Working Group Report – Performance Measures Other Than Time. - Lucia Cloth; Pepijn Crouzen; Matthias Fruth; Tingting Han 001; David N. Jansen; Mark Kattenbelt; Gerard J. M. Smit; Lijun Zhang 001 (Quantitative Aspects of Embedded Systems, 2007)

Computing Battery Lifetime Distributions. - Lucia Cloth; Marijn R. Jongerden; Boudewijn R. Haverkort (DSN, 2007)

CSL model checking algorithms for QBDs. - Anne Remke; Boudewijn R. Haverkort; Lucia Cloth (Theor. Comput. Sci., 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)

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. - Anne Remke; Boudewijn R. Haverkort; Geert J. Heijenk; Lucia Cloth (ASMTA, 2008)

Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. - Lucia Cloth; Boudewijn R. Haverkort (DATE, 2008)

The Performability Tool P'ility. - Lucia Cloth; Boudewijn R. Haverkort (QEST, 2008)

MeanField analysis for the evaluation of gossip protocols. - Rena Bakhshi; Lucia Cloth; Wan J. Fokkink; Boudewijn R. Haverkort (SIGMETRICS Perform. Evaluation Rev., 2008)

Mean-Field Analysis for the Evaluation of Gossip Protocols. - Rena Bakhshi; Lucia Cloth; Wan J. Fokkink; Boudewijn R. Haverkort (QEST, 2009)

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)

Mean-field framework for performance evaluation of push-pull gossip protocols. - Rena Bakhshi; Lucia Cloth; Wan J. Fokkink; Boudewijn R. Haverkort (Perform. Evaluation, 2011)

Scalable Stochastic Modelling for Resilience. - Jeremy T. Bradley; Lucia Cloth; Richard A. Hayden; Leïla Kloul; Philipp Reinecke; Markus Siegle; Nigel Thomas; Katinka Wolter (Resilience Assessment and Evaluation of Computing Systems, 2012)