Marie Duflot

	2009
12		Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault: Measuring Permissivity in Finite Games. CONCUR 2009: 196-210
	2008
11		Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston: Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. QEST 2008: 254-263
	2007
10		Danièle Beauquier, Marie Duflot, Yury Lifshits: Decidability of Parameterized Probabilistic Information Flow. CSR 2007: 82-91
9		Myrto Arapinis, Marie Duflot: Bounding Messages for Free in Security Protocols. FSTTCS 2007: 376-387
	2006
8		Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A formal analysis of bluetooth device discovery. STTT 8(6): 621-632 (2006)
	2005
7		Danièle Beauquier, Marie Duflot, Marius Minea: A Probabilistic Property-Specific Approach to Information Flow. MMM-ACNS 2005: 206-220
6		Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny: Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electr. Notes Theor. Comput. Sci. 128(6): 195-214 (2005)
	2004
5		Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) 2004: 268-275
4		Marie Duflot, Laurent Fribourg, Claudine Picaronny: Randomized dining philosophers without fairness assumption. Distributed Computing 17(1): 65-76 (2004)
	2002
3		Marie Duflot, Laurent Fribourg, Claudine Picaronny: Randomized Dining Philosophers without Fairness Assumption. IFIP TCS 2002: 169-180
	2001
2		Marie Duflot, Laurent Fribourg, Ulf Nilsson: Unavoidable Configurations of Parameterized Rings of Processes. CONCUR 2001: 472-486
1		Marie Duflot, Laurent Fribourg, Claudine Picaronny: Randomized Finite-State Distributed Algorithms as Markov Chains. DISC 2001: 240-254

Coauthor Index

1	Myrto Arapinis	[9]
2	Danièle Beauquier	[7] [10]
3	Patricia Bouyer	[12]
4	Najla Chamseddine	[11]
5	Laurent Fribourg	[1] [2] [3] [4] [6] [11]
6	Thomas Hérault	[6]
7	Marta Z. Kwiatkowska	[5] [8]
8	Richard Lassaigne	[6]
9	Yury Lifshits	[10]
10	Frédéric Magniette	[6]
11	Nicolas Markey	[12]
12	Stéphane Messika	[6]
13	Marius Minea	[7]
14	Ulf Nilsson	[2]
15	Gethin Norman	[5] [8]
16	David Parker	[5] [8]
17	Sylvain Peyronnet	[6]
18	Claudine Picaronny	[1] [3] [4] [6] [11]
19	Gabriel Renault	[12]
20	Jeremy Sproston	[11]

Colors in the list of coauthors