Marie Duflot

	2011
14		Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin: Petri nets compositional modeling and verification of Flexible Manufacturing Systems. CASE 2011: 588-593
13		Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin: COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. QEST 2011: 143-144
	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	Paolo Ballarini	[13] [14]
3	Danièle Beauquier	[7] [10]
4	Patricia Bouyer (Patricia Bouyer-Decitre)	[12]
5	Najla Chamseddine	[11]
6	Hilal Djafri	[13] [14]
7	Laurent Fribourg	[1] [2] [3] [4] [6] [11]
8	Serge Haddad	[13] [14]
9	Thomas Hérault	[6]
10	Marta Z. Kwiatkowska	[5] [8]
11	Richard Lassaigne	[6]
12	Yury Lifshits	[10]
13	Frédéric Magniette	[6]
14	Nicolas Markey	[12]
15	Stéphane Messika	[6]
16	Marius Minea	[7]
17	Ulf Nilsson	[2]
18	Gethin Norman	[5] [8]
19	David Parker	[5] [8]
20	Nihal Pekergin	[13] [14]
21	Sylvain Peyronnet	[6]
22	Claudine Picaronny	[1] [3] [4] [6] [11]
23	Gabriel Renault	[12]
24	Jeremy Sproston	[11]

Colors in the list of coauthors

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