Stéphane Messika

15 papers A* 2A 4C 2Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2016 J jnl
Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -.
CoRR
Xavier Défago, Maria Gradinariu Potop-Butucaru, Julien Clément, Stéphane Messika, Philippe Raipin Parvédy
2011 J jnl
Observer des algorithmes autostabilisants. Vers une valuation du co.
Tech. Sci. Informatiques
Julien Clément, Stéphane Messika, Brigitte Rozoy
2010 J jnl
The cost of probabilistic agreement in oblivious robot networks.
Inf. Process. Lett.
Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stéphane Messika
2008 C conf
On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems.
PRDC
Julien Clément, Thomas Hérault, Stéphane Messika, Olivier Peres
2008 J jnl
The cost of probabilistic gathering in oblivious robot networks
CoRR
Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Stéphane Messika
2007 A conf
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station.
DISC
Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
2007 A* conf
Self-stabilizing counting in mobile sensor networks.
PODC
Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
2006 C conf
All
SSS
Joffroy Beauquier, Colette Johnen, Stéphane Messika
2006 A conf
Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules.
DISC
Joffroy Beauquier, Colette Johnen, Stéphane Messika
2006 J jnl
Coupling and self-stabilization.
Distributed Comput.
Laurent Fribourg, Stéphane Messika, Claudine Picaronny
2006 A conf
Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.
DISC
Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin Parvédy
2005 A* conf
Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers.
PODC
Laurent Fribourg, Stéphane Messika
2004 A conf
Coupling and Self-stabilization..
DISC
Laurent Fribourg, Stéphane Messika, Claudine Picaronny
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 — conf
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
AVoCS
Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny