| 2008 |
|---|
| 11 | EE | 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 | EE | Danièle Beauquier,
Marie Duflot,
Yury Lifshits:
Decidability of Parameterized Probabilistic Information Flow.
CSR 2007: 82-91 |
| 9 | EE | Myrto Arapinis,
Marie Duflot:
Bounding Messages for Free in Security Protocols.
FSTTCS 2007: 376-387 |
| 2006 |
|---|
| 8 | EE | Marie Duflot,
Marta Z. Kwiatkowska,
Gethin Norman,
David Parker:
A formal analysis of bluetooth device discovery.
STTT 8(6): 621-632 (2006) |
| 2005 |
|---|
| 7 | EE | Danièle Beauquier,
Marie Duflot,
Marius Minea:
A Probabilistic Property-Specific Approach to Information Flow.
MMM-ACNS 2005: 206-220 |
| 6 | EE | 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 | EE | 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 | EE | Marie Duflot,
Laurent Fribourg,
Ulf Nilsson:
Unavoidable Configurations of Parameterized Rings of Processes.
CONCUR 2001: 472-486 |
| 1 | EE | Marie Duflot,
Laurent Fribourg,
Claudine Picaronny:
Randomized Finite-State Distributed Algorithms as Markov Chains.
DISC 2001: 240-254 |
