Lucia Cloth

2008
14	EE	Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth: Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. ASMTA 2008: 279-294
13	EE	Lucia Cloth, Boudewijn R. Haverkort: Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE 2008: 90-91
12	EE	Lucia Cloth, Boudewijn R. Haverkort: The Performability Tool P'ility. QEST 2008: 117-118
2007
11	EE	Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort: Computing Battery Lifetime Distributions. DSN 2007: 780-789
10	EE	Lucia 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
9	EE	Christel 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)
8	EE	Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007)
2006
7	EE	Anne 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
6	EE	Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan: Model Checking Markov Reward Models with Impulse Rewards. DSN 2005: 722-731
5	EE	Lucia Cloth, Boudewijn R. Haverkort: Model Checking for Survivability. QEST 2005: 145-154
4	EE	Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: Model Checking Infinite-State Markov Chains. TACAS 2005: 237-252
2004
3	EE	Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
2002
2	EE	Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
2001
1	EE	Lucia 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

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