@InProceedings{CHALOPIN_2008_HAL-00332759_1, Author = {Chalopin, Jérémie and Godard, Emmanuel and Métivier, Yves}, Title = {{L}ocal terminations and distributed computability in anonymous networks}, BookTitle = {{D}istributed computing {I}nternational symposium on distributed computing ({DISC})}, Volume = {4218}, Pages = {47--62}, Series = {{L}ecture notes in computer science}, Publisher = {{S}pringer}, Address = {{A}rcachon {F}rance}, Year = {2008} } @InProceedings{CHALOPIN_2008_HAL-00332765_1, Author = {Chalopin, Jérémie and Mazurkiewicz, Antoni and Métivier, Yves}, Title = {{L}abelled (hyper)graphs, negotiations and the naming problem}, BookTitle = {{G}raph transformation {I}nternational conference on graph transformation ({ICGT})}, Volume = {5214}, Pages = {54--68}, Series = {{L}ecture notes in computer science}, Publisher = {{S}pringer}, Address = {{R}oyaume-{U}ni}, Year = {2008} } @InProceedings{CHALOPIN_2007_HAL-00308126_1, Author = {Chalopin, Jérémie and Godard, Emmanuel and Métivier, Yves and Tel, Gerard}, Title = {{A}bout the termination detection in the asynchronous message passing model}, BookTitle = {{T}heory and {P}ractice of {C}omputer {S}cience 33rd {I}nternational conference on {C}urrent trends in theory and practice of computer science ({SOFSEM} 2007)}, Volume = {4362}, Pages = {200--211}, Series = {{L}ecture notes in computer science}, Publisher = {springer}, Address = {{T}ch{č}que, {R}{é}publique}, Year = {2007} } @article{CHALOPIN_2007_HAL-00308125_1, Author = {Chalopin, Jérémie and Métivier, Yves}, Title = {{A}n efficient message passing algorithm based on {M}azurkiewicz s algorithm}, Journal = {{F}undamenta {I}nformaticae}, Volume = {80}, Number = {1}, Pages = {221--246}, Year = {2007} } @InProceedings{DBLP_conf-icdcn-HaddarKMMJ08, Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed}, Title = {Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks}, BookTitle = {Distributed Computing and Networking}, Volume = {904}, Pages = {286--291}, Publisher = {Springer Berlin / Heidelberg}, Year = {2008} } @InProceedings{1544376, Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed}, Title = {Electing a leader in the local computation model using mobile agents}, BookTitle = {AICCSA '08: Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications}, Pages = {473--480}, Publisher = {IEEE Computer Society}, Address = {Washington, DC, USA}, Year = {2008} } @article{1534033, Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed}, Title = {A Distributed Computational Model for Mobile Agents}, Journal = {Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers}, Pages = {416--421}, Publisher = {Springer-Verlag}, Address = {Berlin, Heidelberg}, Year = {2007} } @InProceedings{CHALOPIN_2004-Election, Author = {Chalopin, Jérémie and Métivier, Yves}, Title = {Election and Local Computations on Edges}, BookTitle = {Foundations of Software Science and Computation Structures}, Volume = {2987}, Pages = {90--104}, Publisher = {Springer Berlin / Heidelberg}, Year = {2004} } @InProceedings{CHALOPIN_2004_HAL-00308119_1, Author = {Chalopin, Jérémie and Métivier, Yves and Zielonka, Wieslaw}, Title = {{E}lection, {N}aming and {C}ellular {E}dge {L}ocal {C}omputations}, BookTitle = {{G}raph transformation {I}nternational {C}onference on {G}raph {T}ransformation ({ICGT} 2004) ({EATCS} best paper award)}, Volume = {3256}, Pages = {242--256}, Series = {{L}ecture notes in computer science}, Publisher = {{S}pringer}, Address = {{I}talie}, Year = {2004} } @InProceedings{METIVIER_2004-Synchronizers, Author = {Métivier, Yves and Mosbah, Mohamed and Ossamy, Rodrigue and Sellami, Affif}, Title = {Synchronizers for Local Computations}, BookTitle = {Graph Transformations}, Volume = {3256}, Pages = {271--86}, Publisher = {Springer Berlin / Heidelberg}, Year = {2004} } @InProceedings{GODARD_2004-Characterizations, Author = {Godard, Emmanuel and Métivier, Yves and Muscholl, Anca}, Title = {Characterizations of Classes of Graphs Recognizable by Local Computations}, BookTitle = {Theory of Computing Systems}, Volume = {37(2)}, Pages = {249--93}, Publisher = {Springer}, Year = {2004} } @article{873925, Author = {Métivier, Yves and Saheb, Nasser and Zemmari, Akka}, Title = {Analysis of a randomized rendezvous algorithm}, Journal = {Inf. Comput}, Volume = {184}, Number = {1}, Pages = {109--128}, Publisher = {Academic Press, Inc}, Address = {Duluth, MN, USA}, Year = {2003} } @InProceedings{METIVIER_2003-AUniformRandomizedElection, Author = {Métivier, Yves and Saheb, Nasser and Zemmari, Akka}, Title = {A uniform randomized election in trees}, BookTitle = {10th International Colloquium on Structural Information and Communication Complexity}, Pages = {261--74}, Publisher = {Carleton Scientific Press}, Year = {2003} } @Misc{Bauderon02fromlocal, Author = {Bauderon, Michel and Métivier, Yves and Mosbah, Mohamed and Sellami, Affif}, Title = {From Local Computations to Asynchronous Message Passing Systems}, Year = {2002} } @InProceedings{GODARD_2002_HAL-00307375_1, Author = {Godard, Emmanuel and Métivier, Yves}, Title = {{A} characterization of families of graphs in which election is possible}, BookTitle = {{F}oundations of {S}oftware {S}cience and {C}omputation {S}tructures {F}oundations of {S}ystem {S}pecification and {C}omputation {S}tructures ({F}o{SS}a{CS}) ({EATCS} best paper award)}, Volume = {2303}, Pages = {159--171}, Series = {{L}ecture notes in computer science}, Publisher = {{S}pringer}, Address = {{E}spagne}, Year = {2002} } @InProceedings{GODARD_2003-DeducibleAndEquivalent, Author = {Godard, Emmanuel and Métivier, Yves}, Title = {Deducible and Equivalent Structural Knowledges in Distributed Algorithms}, BookTitle = {Theory of Computing Systems}, Pages = {631--54}, Publisher = {Springer New York}, Year = {2003} } @InProceedings{GODARD_2002-EquivalenceOfStructural, Author = {Godard, Emmanuel and Métivier, Yves}, Title = {Equivalence of structural knowledges in distributed algorithms}, BookTitle = {9th International Colloquium on Structural Information and Communication Complexity}, Pages = {149--64}, Publisher = {Carleton Scientific Press}, Year = {2002} } @InProceedings{730798, Author = {Godard, Emmanuel and Métivier, Yves and Mosbah, Mohamed and Sellami, Afif}, Title = {Termination Detection of Distributed Algorithms by Graph Relabelling Systems}, BookTitle = {ICGT '02: Proceedings of the First International Conference on Graph Transformation}, Pages = {106--119}, Publisher = {Springer-Verlag}, Address = {London, UK}, Year = {2002} } @InProceedings{METIVIER_2002-ProvingDistributed, Author = {Métivier, Yves and Mosbah, Mohamed and Sellami, Affif}, Title = {Proving Distributed Algorithms by Graph Relabelling Systems: Examples of Trees in Networks with Processor Identities}, BookTitle = {AGT2002, ETAPS}, Address = {Grenoble, France}, Month = {April}, Year = {2002} } @article{513310, Author = {Métivier, Yves and Saheb, Nasser and Zemmari, Akka}, Title = {Randomized local elections}, Journal = {Inf. Process. Lett}, Volume = {82}, Number = {6}, Pages = {313--320}, Publisher = {Elsevier North-Holland, Inc}, Address = {Amsterdam, The Netherlands, The Netherlands}, Year = {2002} } @InProceedings{BAUDERON_2001-Visualization, Author = {Bauderon, Michel and Gruner, Stefan and Métivier, Yves and Mosbah, Mohamed and Sellami, Affif}, Title = {Visualization of Distributed Algorithms Based on Labeled Rewriting Systems}, BookTitle = {Second International Workshop on Graph Transformation and Visual Modeling Techniques}, Volume = {50(3)}, Pages = {229--39}, Address = {Crete, Greece}, Month = {July}, Year = {2001} } @article{Bauderon200293, Author = {Bauderon, Michel and Métivier, Yves and Mosbah, Mohamed and Sellami, Affif}, Title = {Graph Relabelling Systems: A Tool for Encoding, Proving, Studying and Visualizing Distributed Algorithms}, Journal = {Electronic Notes in Theoretical Computer Science}, Volume = {51}, Number = {0}, Pages = {93--107}, Year = {2002} } @InProceedings{GRUNER_2001-DistributedAlgorithm, Author = {Gruner, Stefan and Métivier, Yves and Mosbah, Mohamed and Wacrenier, Pierre-André}, Title = {Distributed Algorithm for Computing a Spanning Tree in Anonymous T-prime Graphs}, BookTitle = {OPODIS'2001, International Conference On Principles of DIstributed Systems}, Address = {Manzanillo, Mexico}, Month = {December}, Year = {2001} } @InProceedings{MRSZ09a, Author = {Métivier, Yves and Robson, John-Michael and Saheb-Djahromi, Nasser and Zemmari, Akka}, Title = {A Bit Complexity Efficient Randomized Distributed MIS Algorithm}, BookTitle = {16th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009)}, Year = {2009} } @InProceedings{MRSZ09b, Author = {Métivier, Yves and Robson, John-Michael and Saheb-Djahromi, Nasser and Zemmari, Akka}, Title = {Analysis of an Optimal Bit Complexity Randomised Distributed Vertex Colouring Algorithm}, BookTitle = {13th International Conference On Principles Of DIstributed Systems (OPODIS 2009)}, Year = {2009} } @article{HMRSZ08, Author = {ElHibaoui, Abdelaziz and Métivier, Yves and Robson, John-Michael and Saheb-Djahromi, Nasser and Zemmari, Akka}, Title = {Analysis of a Randomized Dynamic Timetable Handshake Algorithm}, Journal = {Pure Mathematics and Applications (PuMA)}, Year = {0} } @TechReport{GODARD-2009-448749, Author = {Godard, Emmanuel and Métivier, Yves and Tel, Gerard}, Title = {Termination Detection of Local Computations}, Month = {December}, Year = {2009} } @article{METIVIER-2010-675423, Author = {Métivier, Yves and Robson, John Michael and Saheb-Djahromi, Nasser and Zemmari, Akka}, Title = {About Randomised Distributed Graph Colouring and Graph Partition Algorithms}, Journal = {Information and Computation}, Volume = {208}, Number = {11}, Pages = {1296--1304}, Month = {September}, Year = {2010} } @article{METIVIER-2010-527102, Author = {Métivier, Yves and Chalopin, Jérémie}, Title = {On the power of synchronization between two adjacent processes}, Journal = {Distributed Computing}, Volume = {23}, Number = {3}, Pages = {177--196}, Month = {November}, Year = {2010} } @article{METIVIER-2011-370970, Author = {Métivier, Yves and Robson, John Michael and Saheb-Djahromi, Nasser and Zemmari, Akka}, Title = {An optimal bit complexity randomised distributed MIS algorithm}, Journal = {Distributed Computing}, Volume = {23}, Number = {5}, Pages = {331--340}, Month = {January}, Year = {2011} } @InProceedings{METIVIER-2009-517361, Author = {Métivier, Yves and Robson, John Michael and Saheb-Djahromi, Nasser and Zemmari, Akka}, Title = {An Optimal Bit Complexity Randomized Distributed MIS Algorithm}, BookTitle = {SIROCCO 2009}, Volume = {5869}, Number = {5}, Pages = {323--337}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer}, Address = {Piran, Slov{é}nie}, Year = {2009} } @article{METIVIER-2010-515904, Author = {Métivier, Yves and Robson, John Michael and Saheb-Djahromi, Nasser and Zemmari, Akka}, Title = {About Randomised Distributed Graph Colouring and Graph Partition Algorithms}, Journal = {Information and Computation}, Volume = {208}, Number = {2}, Pages = {1296--1304}, Year = {2010} } @article{metivier:hal-00695983, Author = {Métivier, Yves and Robson, J.M. and Saheb-Djahromi, Nasser and Zemmari, Akka}, Title = {{On the Time and the Bit Complexity of Distributed Randomised Anonymous Ring Colouring}}, Journal = {Theoretical Computer Science}, Volume = {445}, Pages = {1--12}, Month = {May}, Year = {2012} } @InProceedings{chalopin:hal-00687146, Author = {Chalopin, Jérémie and Métivier, Yves and Morsellino, Thomas}, Title = {{Snapshots et D{é}tection de Propri{é}t{é}s Stables dans les Syst{č}mes Distribu{é}s Anonymes}}, BookTitle = {{14{č}mes Rencontres Francophones sur les Aspects Algorithmiques de T{é}l{é}communications (AlgoTel)}}, editor = {Mathieu, Fabien et Hanusse, Nicolas}, Address = {La Grande Motte, France}, Year = {2012} } @article{chalopin:hal-00695944, Author = {Chalopin, Jérémie and Godard, Emmanuel and Métivier, Yves}, Title = {{Election in Partially Anonymous Networks with Arbitrary Knowledge in Message Passing Systems}}, Journal = {Distributed Computing}, Volume = {25}, Number = {4}, Pages = {297--311}, Month = {July}, Year = {2012} } @article{chalopin:hal-00710328, Author = {Chalopin, Jérémie and Métivier, Yves and Morsellino, Thomas}, Title = {{Enumeration and Leader Election in Partially Anonymous and Multi-hop Broadcast Networks}}, Journal = {Fundamenta Informaticae}, Volume = {120}, Number = {1}, Pages = {1--27}, Month = {June}, Year = {2012} } @InProceedings{chalopin:hal-00695582, Author = {Chalopin, Jérémie and Métivier, Yves and Morsellino, Thomas}, Title = {{On snapshots and stable properties detection in anonymous fully distributed systems (Extended abstract)}}, BookTitle = {{19th International Colloquium on Structural Information and Communication Complexity}}, editor = {Even, G. and M. Halldorsson, M.}, Volume = {7355}, Pages = {207--218}, Series = {Lecture notes in computer science}, Publisher = {Springer-Verlag}, Address = {Islande}, Month = {May}, Year = {2012} }