Lucia Cloth
|
Lucia Cloth is a researcher at the Faculty of Electrical Engineering, Mathematics, and Computer Science , Chair Design and Analysis of Communication Systems, of the University of Twente (UT). |
PhD Thesis
Publications
2008
A. Remke, B.R. Haverkort, G. Heijenk, and Cloth, L.
Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks
In Proceedings of Analytical and Stochastic Modeling Techniques and
Application (ASMTA'08), LNCS 5055, pages 279-294. Springer Verlag, 2008.
[doi]
Cloth, L. and Haverkort, B.R.
The performability tool P'ility.
In Proceedings of the 5th International Conference on the Quantitative
Evaluation of Systems (QEST'08), to appear.
2007
L. Cloth, B.R. Haverkort, and M. Jongerden.
Computing Battery Lifetime Distributions
In Proceedings of the International Conference on Dependable Systems and
Networks (DSN'07),
pages 780-789. IEEE Press, 2007.
[doi]
A. Remke, B.R. Haverkort, and L. Cloth.
CSL model checking algorithms for QBDs
Theoretical computer science, 382 (1), page 24-41.
Elsevier, 2007.
[doi]
C. Baier, L. Cloth, B.R. Haverkort, M. Kuntz, and M. Siegle.
Model Checking Markov Chains with Actions and State Labels
IEEE Transactions on Software Engineering, 33 (4). pages 209-224.
IEEE Press, 2007.
[doi]
2006
A. Remke, B.R. Haverkort, and L. Cloth.
Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way
.
In Proceedings of Stochastic Performance Models for Resource Allocation in
Communication Systems,
pages 23-26,2006.
A. Remke, B.R. Haverkort, and L. Cloth.
Uniformization with representatives - comprehensive transient analysis of infinite-state QBDs
.
In Proceedings of the First International Conference on Performance
Evaluation Methodologies and Tools. ACM, 2006.
[doi]
A. Remke, B.R. Haverkort, and L. Cloth
A versatile infinite-state Markov reward model to study bottlenecks
in 2-hop ad hoc networks.
In Proceedings of the 3nd International Conference on the Quantitative
Evaluation of Systems (QEST'06),
pages 63-72. IEEE Press, 2006.
[doi
L. Cloth and B.R. Haverkort
Five Performability Algorithms. A Comparison.
In Proceedings of the Markov Anniversary Meeting (MAM'06),
pages 39-54. Boson Books, 2006.
2005
L. Cloth and B.R. Haverkort.
Model checking for
survivability!
In Proceedings of the 2nd International Conference on the Quantitative
Evaluation of Systems (QEST'05), pages 145-154. IEEE Press, 2005.
L. Cloth and B.R. Haverkort.
Hyperbolic PDEs for CSRL model
checking: A deja vu.
In Proceedings of the 7th International Workshop on Peformability Modeling
of Computer and Communications Systems (PMCCS'05), pages 19-22, 2005.
L. Cloth, J.-P. Katoen, M. Khattri, and R. Pulungan.
Model checking Markov
reward models with impulse rewards. In International Conference on
Dependable Systems and Networks (DSN'05), pages 722-731. IEEE Press, 2005.
[doi]
L. Cloth and B.R. Haverkort.
Surviving survivability specifications
In Supplemental Volume of the International Conference of the International
Conference on Dependable Systems and Networks (DSN'05). IEEE Press, 2005.
A. Remke, B.R. Haverkort, and L. Cloth.
Model checking infinite-state Markov
chains.
In Proceedings of the 11th International Conference on Tools and
Algorithms for the Construction and Analysis of Systems (TACAS'05), LNCS
3440, pages 237-252. Springer Verlag, 2005.
[doi]
2004
C. Baier, L. Cloth, B.R. Haverkort, M. Kuntz, and M. Siegle.Model checking action- and
state-labelled Markov chains In Proceedings of the International
Conference on Dependable Systems and Networks (DSN'04), pages 701-710.
IEEE Press, 2004.
2003
L. Cloth, B.R. Haverkort, H. Hermanns, J.-P. Katoen, and C. Baier.Model checking pathCSL In
Proceedings of the 6th International Workshop on Performability Modeling of
Computer anc Communications Systems (PMCCS'03), pages 19-22, 2003.
2002
B.R. Haverkort, L.Cloth, H. Hermanns, J.-P. Katoen, and C. Baier. Model checking
performability properties. In Proceedings of the International Conference
on Dependable Systems and Networks (DSN'02), pages 102-112, IEEE Press,
2002.
[doi]
2001
L. Cloth, H. Bohnenkamp, and B.R. Haverkort.
Using max-plus algebra for the evaluation of stochastic process algebra
prefixes
In Proceedings of the Joint International Workshop on Process Algebra and
Probabilistic Methods, Performance Modeling and Verification
(PAPM-ProbMiv'01), LNCS 2165, pages 152-167. Springer Verlag, 2001.
[doi]
Contact
Lucia Cloth
University of Twente
Design and Analysis of Communication Systems
Faculty for Electrical Engineering, Mathematics and Computer Science
P.O. Box 217, 7500 AE Enschede, the Netherlands.
Phone: +31 53 489 2812
Email:
lucia [at] cs.utwente.nl
Room: Zilverling 5009