dblp.uni-trier.dewww.uni-trier.de

Lucia Cloth

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
14EEAnne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth: Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. ASMTA 2008: 279-294
13EELucia Cloth, Boudewijn R. Haverkort: Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE 2008: 90-91
12EELucia Cloth, Boudewijn R. Haverkort: The Performability Tool P'ility. QEST 2008: 117-118
2007
11EELucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort: Computing Battery Lifetime Distributions. DSN 2007: 780-789
10EELucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang: 07101 Working Group Report -- Performance Measures Other Than Time. Quantitative Aspects of Embedded Systems 2007
9EEChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. 33(4): 209-224 (2007)
8EEAnne Remke, Boudewijn R. Haverkort, Lucia Cloth: CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007)
2006
7EEAnne Remke, Boudewijn R. Haverkort, Lucia Cloth: A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. QEST 2006: 63-72
2005
6EELucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan: Model Checking Markov Reward Models with Impulse Rewards. DSN 2005: 722-731
5EELucia Cloth, Boudewijn R. Haverkort: Model Checking for Survivability. QEST 2005: 145-154
4EEAnne Remke, Boudewijn R. Haverkort, Lucia Cloth: Model Checking Infinite-State Markov Chains. TACAS 2005: 237-252
2004
3EEChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
2002
2EEBoudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
2001
1EELucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort: Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. PAPM-PROBMIV 2001: 152-167

Coauthor Index

1Christel Baier [2] [3] [9]
2Henrik C. Bohnenkamp [1]
3Pepijn Crouzen [10]
4Matthias Fruth [10]
5Tingting Han [10]
6Boudewijn R. Haverkort [1] [2] [3] [4] [5] [7] [8] [9] [11] [12] [13] [14]
7Geert J. Heijenk [14]
8Holger Hermanns [2]
9David N. Jansen [10]
10Marijn R. Jongerden [11]
11Joost-Pieter Katoen [2] [6]
12Mark Kattenbelt [10]
13Maneesh Khattri [6]
14Matthias Kuntz [3] [9]
15Reza Pulungan [6]
16Anne Remke [4] [7] [8] [14]
17Markus Siegle [3] [9]
18Gerard J. M. Smit [10]
19Lijun Zhang [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)