| 2008 |
|---|
| 10 | EE | Julien Clement,
Xavier Défago,
Maria Gradinariu Potop-Butucaru,
Stéphane Messika:
The cost of probabilistic gathering in oblivious robot networks
CoRR abs/0807.1753: (2008) |
| 2007 |
|---|
| 9 | EE | Joffroy Beauquier,
Julien Clement,
Stéphane Messika,
Laurent Rosaz,
Brigitte Rozoy:
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station.
DISC 2007: 63-76 |
| 8 | EE | Joffroy Beauquier,
Julien Clement,
Stéphane Messika,
Laurent Rosaz,
Brigitte Rozoy:
Self-stabilizing counting in mobile sensor networks.
PODC 2007: 396-397 |
| 2006 |
|---|
| 7 | EE | Xavier Défago,
Maria Gradinariu,
Stéphane Messika,
Philippe Raipin Parvédy:
Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.
DISC 2006: 46-60 |
| 6 | EE | Joffroy Beauquier,
Colette Johnen,
Stéphane Messika:
Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules.
DISC 2006: 543-547 |
| 5 | EE | Joffroy Beauquier,
Colette Johnen,
Stéphane Messika:
All k -Bounded Policies Are Equivalent for Self-stabilization.
SSS 2006: 82-94 |
| 4 | EE | Laurent Fribourg,
Stéphane Messika,
Claudine Picaronny:
Coupling and self-stabilization.
Distributed Computing 18(3): 221-232 (2006) |
| 2005 |
|---|
| 3 | EE | Laurent Fribourg,
Stéphane Messika:
Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers.
PODC 2005: 322 |
| 2 | 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 |
|---|
| 1 | EE | Laurent Fribourg,
Stéphane Messika,
Claudine Picaronny:
Coupling and Self-stabilization..
DISC 2004: 201-215 |
