Stéphane Messika

Julien Clément, Stéphane Messika, Brigitte Rozoy: Observer des algorithmes autostabilisants. Vers une valuation du co. Technique et Science Informatiques 30(1): 35-57 (2011)

Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stéphane Messika: The cost of probabilistic agreement in oblivious robot networks. Inf. Process. Lett. 110(11): 431-438 (2010)

Julien Clément, Thomas Hérault, Stéphane Messika, Olivier Peres: On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems. PRDC 2008: 48-55

Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Stéphane Messika: The cost of probabilistic gathering in oblivious robot networks. CoRR abs/0807.1753 (2008)

Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy: Self-stabilizing counting in mobile sensor networks. PODC 2007: 396-397

Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy: Self-stabilizing Counting in Mobile Sensor Networks with a Base Station. DISC 2007: 63-76

Laurent Fribourg, Stéphane Messika, Claudine Picaronny: Coupling and self-stabilization. Distributed Computing 18(3): 221-232 (2006)

Joffroy Beauquier, Colette Johnen, Stéphane Messika: All k -Bounded Policies Are Equivalent for Self-stabilization. SSS 2006: 82-94

Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin Parvédy: Fault-Tolerant and Self-stabilizing Mobile Robots Gathering. DISC 2006: 46-60

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

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)

Laurent Fribourg, Stéphane Messika: Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers. PODC 2005: 322

Laurent Fribourg, Stéphane Messika, Claudine Picaronny: Coupling and Self-stabilization.. DISC 2004: 201-215