Lucia Cloth

	2011
18		Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Eval. 68(2): 157-179 (2011)
	2010
17		Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen: Performability assessment by model checking of Markov reward models. Formal Methods in System Design 36(1): 1-36 (2010)
	2009
16		Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST 2009: 247-256
	2008
15		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
14		Lucia Cloth, Boudewijn R. Haverkort: Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. DATE 2008: 90-91
13		Lucia Cloth, Boudewijn R. Haverkort: The Performability Tool P'ility. QEST 2008: 117-118
12		Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: MeanField analysis for the evaluation of gossip protocols. SIGMETRICS Performance Evaluation Review 36(3): 31-39 (2008)
	2007
11		Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort: Computing Battery Lifetime Distributions. DSN 2007: 780-789
10		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		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		Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382(1): 24-41 (2007)
	2006
7		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		Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan: Model Checking Markov Reward Models with Impulse Rewards. DSN 2005: 722-731
5		Lucia Cloth, Boudewijn R. Haverkort: Model Checking for Survivability. QEST 2005: 145-154
4		Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: Model Checking Infinite-State Markov Chains. TACAS 2005: 237-252
	2004
3		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		Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier: Model Checking Performability Properties. DSN 2002: 103-112
	2001
1		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] [17]
2	Rena Bakhshi	[12] [16] [18]
3	Henrik C. Bohnenkamp	[1]
4	Pepijn Crouzen	[10]
5	Wan Fokkink	[12] [16] [18]
6	Matthias Fruth	[10]
7	Tingting Han	[10]
8	Boudewijn R. Haverkort	[1] [2] [3] [4] [5] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [18]
9	Geert J. Heijenk	[15]
10	Holger Hermanns	[2] [17]
11	David N. Jansen	[10]
12	Marijn R. Jongerden	[11]
13	Joost-Pieter Katoen	[2] [6] [17]
14	Mark Kattenbelt	[10]
15	Maneesh Khattri	[6]
16	Matthias Kuntz	[3] [9]
17	Reza Pulungan	[6]
18	Anne Remke	[4] [7] [8] [15]
19	Markus Siegle	[3] [9]
20	Gerard J. M. Smit	[10]
21	Lijun Zhang	[10]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page