Stéphane Messika

According to our database, Stéphane Messika authored at least 14 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -.

Xavier Défago, Maria Gradinariu Potop-Butucaru, Julien Clément, Stéphane Messika, Philippe Raipin Parvédy

CoRR, 2016

2011

Observer des algorithmes autostabilisants. Vers une valuation du co.

Julien Clément, Stéphane Messika, Brigitte Rozoy

Tech. Sci. Informatiques, 2011

2010

The cost of probabilistic agreement in oblivious robot networks.

Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stéphane Messika

Inf. Process. Lett., 2010

2008

The cost of probabilistic gathering in oblivious robot networks

Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Stéphane Messika

CoRR, 2008

On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems.

Julien Clément, Thomas Hérault, Stéphane Messika, Olivier Peres

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

2007

Self-stabilizing Counting in Mobile Sensor Networks with a Base Station.

Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy

Proceedings of the Distributed Computing, 21st International Symposium, 2007

Self-stabilizing counting in mobile sensor networks.

Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

2006

Coupling and self-stabilization.

Laurent Fribourg, Stéphane Messika, Claudine Picaronny

Distributed Comput., 2006

Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.

Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin Parvédy

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules.

Joffroy Beauquier, Colette Johnen, Stéphane Messika

Proceedings of the Distributed Computing, 20th International Symposium, 2006

All <i>k</i> -Bounded Policies Are Equivalent for Self-stabilization.

Joffroy Beauquier, Colette Johnen, Stéphane Messika

Proceedings of the Stabilization, 2006

2005

Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers.

Laurent Fribourg, Stéphane Messika

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

2004

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

Stéphane Messika

PhD thesis, 2004

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

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004