Lucia Cloth

发表

Model checking performability properties

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2002, Proceedings International Conference on Dependable Systems and Networks.

Five Performability Algorithms. A Comparison

Boudewijn R. Haverkort, Lucia Cloth, B. Haverkort, 2006 .

Model Checking Markov Chains with Actions and State Labels

Christel Baier, Matthias Kuntz, Boudewijn R. Haverkort, 2007, IEEE Transactions on Software Engineering.

Mean-Field Analysis for the Evaluation of Gossip Protocols

Boudewijn R. Haverkort, Wan Fokkink, Lucia Cloth, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Model checking action- and state-labelled Markov chains

Christel Baier, Matthias Kuntz, Boudewijn R. Haverkort, 2004, International Conference on Dependable Systems and Networks, 2004.

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

Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2008, ASMTA.

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

Boudewijn R. Haverkort, Lucia Cloth, Henrik C. Bohnenkamp, 2001, PAPM-PROBMIV.

Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models

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

Scalable Stochastic Modelling for Resilience

Philipp Reinecke, Katinka Wolter, Lucia Cloth, 2012, Resilience Assessment and Evaluation of Computing Systems.

Model Checking Infinite-State Markov Chains

Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2005, TACAS.

Performability assessment by model checking of Markov reward models

Christel Baier, Joost-Pieter Katoen, Boudewijn R. Haverkort, 2010, Formal Methods Syst. Des..

CSL model checking algorithms for QBDs

Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2007, Theor. Comput. Sci..

The Performability Tool P'ility

Boudewijn R. Haverkort, Lucia Cloth, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Model checking for survivability!

Boudewijn R. Haverkort, Lucia Cloth, B. Haverkort, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

Mean-Field Analysis for the Evaluation of Gossip Protocols

Boudewijn R. Haverkort, Wan Fokkink, Lucia Cloth, 2009, QEST.

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

Boudewijn R. Haverkort, Lucia Cloth, 2008, 2008 Design, Automation and Test in Europe.

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

Boudewijn R. Haverkort, Wan Fokkink, Lucia Cloth, 2011, Perform. Evaluation.

Model checking algorithms for Markov reward models

Lucia Cloth, L. Cloth, 2006 .

07101 Working Group Report -- Performance Measures Other Than Time

Lijun Zhang, Gerard J. M. Smit, Lucia Cloth, 2007, Quantitative Aspects of Embedded Systems.

Model Checking pathCSL

Christel Baier, Lucia Cloth, Holger Hermanns, 2003 .

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

Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Computing Battery Lifetime Distributions

Boudewijn R. Haverkort, Lucia Cloth, Marijn R. Jongerden, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

Model checking Markov reward models with impulse rewards

Joost-Pieter Katoen, Reza Pulungan, Lucia Cloth, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

Hyperbolic PDE's for CSRL Model Checking: A Deja Vu

Boudewijn R. Haverkort, Lucia Cloth, B. Haverkort, 2005 .

Uniformization with representatives: comprehensive transient analysis of infinite-state QBDs

Boudewijn R. Haverkort, Lucia Cloth, Anne Remke, 2006, SMCtools '06.