Search the dblp DataBase

Publications of Author

1. Laurent Fribourg, Stéphane Messika
   Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers. [Citation Graph (0, 0)][DBLP]
   PODC, 2005, pp:322- [Conf]
   
2. Laurent Fribourg, Stéphane Messika, Claudine Picaronny
   Coupling and Self-stabilization.. [Citation Graph (0, 0)][DBLP]
   DISC, 2004, pp:201-215 [Conf]
   
3. Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin Parvédy
   Fault-Tolerant and Self-stabilizing Mobile Robots Gathering. [Citation Graph (0, 0)][DBLP]
   DISC, 2006, pp:46-60 [Conf]
   
4. Joffroy Beauquier, Colette Johnen, Stéphane Messika
   Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. [Citation Graph (0, 0)][DBLP]
   DISC, 2006, pp:543-547 [Conf]
   
5. Laurent Fribourg, Stéphane Messika, Claudine Picaronny
   Coupling and self-stabilization. [Citation Graph (0, 0)][DBLP]
   Distributed Computing, 2006, v:18, n:3, pp:221-232 [Journal]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:195-214 [Journal]
   
7. Joffroy Beauquier, Julien Clement, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
   Self-stabilizing counting in mobile sensor networks. [Citation Graph (0, 0)][DBLP]
   PODC, 2007, pp:396-397 [Conf]
   
8. Joffroy Beauquier, Colette Johnen, Stéphane Messika
   All k -Bounded Policies Are Equivalent for Self-stabilization. [Citation Graph (0, 0)][DBLP]
   SSS, 2006, pp:82-94 [Conf]
   
9. Joffroy Beauquier, Julien Clement, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
   Self-stabilizing Counting in Mobile Sensor Networks with a Base Station. [Citation Graph (0, 0)][DBLP]
   DISC, 2007, pp:63-76 [Conf]
   
10. 
    On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    The cost of probabilistic gathering in oblivious robot networks [Citation Graph (, )][DBLP]