 | 2008 |
|---|
| 10 |       | Najla Chamseddine,
Marie Duflot,
Laurent Fribourg,
Claudine Picaronny,
Jeremy Sproston:
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.
QEST 2008: 254-263 |
| 2006 |
|---|
| 9 | | Laurent Fribourg,
Stéphane Messika,
Claudine Picaronny:
Coupling and self-stabilization.
Distributed Computing 18(3): 221-232 (2006) |
| 2005 |
|---|
| 8 | | 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 |
|---|
| 7 | | Laurent Fribourg,
Stéphane Messika,
Claudine Picaronny:
Coupling and Self-stabilization..
DISC 2004: 201-215 |
| 6 | | Marie Duflot,
Laurent Fribourg,
Claudine Picaronny:
Randomized dining philosophers without fairness assumption.
Distributed Computing 17(1): 65-76 (2004) |
| 5 | | Alain Finkel,
Pierre McKenzie,
Claudine Picaronny:
A well-structured framework for analysing petri net extensions.
Inf. Comput. 195(1-2): 1-29 (2004) |
| 2002 |
|---|
| 4 |  | Marie Duflot,
Laurent Fribourg,
Claudine Picaronny:
Randomized Dining Philosophers without Fairness Assumption.
IFIP TCS 2002: 169-180 |
| 2001 |
|---|
| 3 | | Marie Duflot,
Laurent Fribourg,
Claudine Picaronny:
Randomized Finite-State Distributed Algorithms as Markov Chains.
DISC 2001: 240-254 |
| 2000 |
|---|
| 2 | | Béatrice Bérard,
Claudine Picaronny:
Accepting Zeno words: a way toward timed refinements.
Acta Inf. 37(1): 45-81 (2000) |
| 1997 |
|---|
| 1 | | Béatrice Bérard,
Claudine Picaronny:
Accepting Zeno Words Without Making Time Stand Still.
MFCS 1997: 149-158 |
