Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. - Marie Duflot; Laurent Fribourg; Thomas Hérault; Richard Lassaigne; Frédéric Magniette; Stéphane Messika; Sylvain Peyronnet; Claudine Picaronny (AVoCS, 2004)

Méthodes probabilistes pour la vérification des systèmes distribués. (Probabilistic methods for the verification of distributed systems). - Stéphane Messika (2004)

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

All k -Bounded Policies Are Equivalent for Self-stabilization. - Joffroy Beauquier; Colette Johnen; Stéphane Messika (SSS, 2006)

Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. - Joffroy Beauquier; Colette Johnen; Stéphane Messika (DISC, 2006)

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

Coupling and self-stabilization. - Laurent Fribourg; Stéphane Messika; Claudine Picaronny (Distributed Comput., 2006)

Self-stabilizing counting in mobile sensor networks. - Joffroy Beauquier; Julien Clément 002; Stéphane Messika; Laurent Rosaz; Brigitte Rozoy (PODC, 2007)

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

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

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

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

Observer des algorithmes autostabilisants. Vers une valuation du co. - Julien Clément 002; Stéphane Messika; Brigitte Rozoy (Tech. Sci. Informatiques, 2011)

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -. - Xavier Défago; Maria Gradinariu Potop-Butucaru; Julien Clément 002; Stéphane Messika; Philippe Raipin Parvédy (CoRR, 2016)