Joffroy Beauquier

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

2019

Space-Optimal Naming in Population Protocols.

[BibT_eX]

[DOI]

Devan Sohier

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Optimal Multi-broadcast with Beeps Using Group Testing.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2019

2018

Beeping a Deterministic Time-Optimal Leader Election.

[BibT_eX]

[DOI]

Fabien Dufoulon

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Brief Announcement: Time Efficient Self-stabilizing Stable Marriage.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Brief Announcement: Beeping a Time-Optimal Leader Election.

[BibT_eX]

[DOI]

Fabien Dufoulon

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Brief Announcement: Space-Optimal Naming in Population Protocols.

[BibT_eX]

[DOI]

Devan Sohier

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Fast Beeping Protocols for Deterministic MIS and (Δ + 1)-Coloring in Sparse Graphs.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

2017

Self-stabilizing Distributed Stable Marriage.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Power-Aware Population Protocols.

[BibT_eX]

[DOI]

Chuan Xu

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

On the Power of Oracle \varOmega ? for Self-Stabilizing Leader Election in Population Protocols.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

Time and Space Optimal Counting in Population Protocols.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

2015

Space-Optimal Counting in Population Protocols.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 29th International Symposium, 2015

The Benefits of Entropy in Population Protocols.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

The Weakest Oracle for Symmetric Consensus in Population Protocols.

[BibT_eX]

[DOI]

Proceedings of the Algorithms for Sensor Systems, 2015

2014

Practically Self-stabilizing Paxos Replicated State-Machine.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - Second International Conference, 2014

2013

Tight complexity analysis of population protocols with cover times - The ZebraNet example.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Self-Stabilizing Paxos

[BibT_eX]

[DOI]

CoRR, 2013

Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs.

[BibT_eX]

[DOI]

Peva Blanchard

Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

2012

Non-deterministic Population Protocols.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

2011

A self-stabilizing transformer for population protocols with covering.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

2010

On utilizing speed in networks of mobile agents.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Self-stabilizing Synchronization in Mobile Sensor Networks with Covering.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2010

2009

Making Population Protocols Self-stabilizing.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

Brief announcement: non-self-stabilizing and self-stabilizing gathering in networks of mobile agents--the notion of speed.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

2008

Analyze of Probabilistic Algorithms under Indeterministic Scheduler.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

2007

Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings.

[BibT_eX]

[DOI]

Distributed Comput., 2007

Transient fault detectors.

[BibT_eX]

[DOI]

Distributed Comput., 2007

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

[BibT_eX]

[DOI]

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

Self-stabilizing counting in mobile sensor networks.

[BibT_eX]

[DOI]

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

A Model for Large Scale Self-Stabilization.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

Observing Locally Self-Stabilization in a Probabilistic Way.

[BibT_eX]

[DOI]

Laurence Pilard

Brigitte Rozoy

J. Aerosp. Comput. Inf. Commun., 2006

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

[BibT_eX]

[DOI]

Stéphane Messika

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

Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2006

All k -Bounded Policies Are Equivalent for Self-stabilization.

[BibT_eX]

[DOI]

Stéphane Messika

Proceedings of the Stabilization, 2006

A 1-Strong Self-stabilizing Transformer.

[BibT_eX]

[DOI]

Sylvie Delaët

Sammy Haddad

Proceedings of the Stabilization, 2006

Necessary and sufficient conditions for 1-adaptivity.

[BibT_eX]

[DOI]

Sylvie Delaët

Sammy Haddad

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Observing locally self-stabilization.

[BibT_eX]

[DOI]

Laurence Pilard

Brigitte Rozoy

J. High Speed Networks, 2005

2003

Group Mutual Exclusin in Tree Networks.

[BibT_eX]

[DOI]

Sébastien Cantarell

Ajoy Kumar Datta

J. Inf. Sci. Eng., 2003

2002

Token-Based Self-Stabilizing Uniform Algorithms.

[BibT_eX]

[DOI]

Jérôme Olivier Durand-Lose

J. Parallel Distributed Comput., 2002

Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.

[BibT_eX]

[DOI]

Chic. J. Theor. Comput. Sci., 2002

Fault-Local Stabilization: The Shortest Path Tree.

[BibT_eX]

[DOI]

Thomas Hérault

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Group Mutual Exclusion In Tree Networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

2001

Proving convergence of self-stabilizing systems using first-order rewriting and regular languages.

[BibT_eX]

[DOI]

Distributed Comput., 2001

Easy Stabilization with an Agent.

[BibT_eX]

[DOI]

Thomas Hérault

Elad Schiller

Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

Cross-Over Composition - Enforcement of Fairness under Unfair Adversary.

[BibT_eX]

[DOI]

Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

1999

Self-stabilizing census with cut-through constraint.

[BibT_eX]

Ajoy Kumar Datta

Sébastien Tixeuil

Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

A New Rewrite Method for Convergence of Self-Stabilizing Systems.

[BibT_eX]

[DOI]

Béatrice Bérard

Laurent Fribourg

Proceedings of the Distributed Computing, 1999

Optimal Reactive k-Stabilization: The Case of Mutual Exclusion.

[BibT_eX]

[DOI]

Christophe Genolini

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Memory Space Requirements for Self-Stabilizing Leader Election Protocols.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

1998

k-Stabilization of Reactive Tasks.

[BibT_eX]

[DOI]

Christophe Genolini

Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

Self-Stabilization with Global Rooted Synchronizers.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1997

Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors.

[BibT_eX]

[DOI]

Synnöve Kekkonen-Moneta

Int. J. Syst. Sci., 1997

On FTSS-solvable distributed problems.

[BibT_eX]

Synnöve Kekkonen-Moneta

Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997

Self-Stabilizing Depth-First Token Passing on Rooted Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

Proving SelfStabilizing Randomized Protocols.

[BibT_eX]

Proceedings of the On Principles Of Distributed Systems, 1997

1996

Fault-Tolerant and Self-Stabilizing Ring Orientation.

[BibT_eX]

Oliver Debas

Synnöve Kekkonen-Moneta

Proceedings of the SIROCCO'96, 1996

1994

Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings.

[BibT_eX]

[DOI]

Sylvie Delaët

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1992

Two Distributed Problems Involving Byzantine Processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

1991

Detection of Deadlocks in an Infinite Family of Nets.

[BibT_eX]

[DOI]

Proceedings of the STACS 91, 1991

1990

A Linear Fault-Tolerant Naming Algorithm.

[BibT_eX]

[DOI]

Paul Gastin

Vincent Villain

Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

Fault-Tolerant Naming and Mutual Exclusion.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1989

Syntactical Properties of Unbounded Nets of Processors.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1988

Distribution of Sequential Processes.

[BibT_eX]

[DOI]

Antoine Petit

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1987

Une Note sur le Théorème de Caractérisation des Générateurs Algébriques.

[BibT_eX]

[DOI]

Françoise Gire

Theor. Comput. Sci., 1987

On Commutative Context-Free Languages.

[BibT_eX]

[DOI]

Meera Blattner

Michel Latteux

J. Comput. Syst. Sci., 1987

1986

On the Equivalence of Synchronization Sets.

[BibT_eX]

[DOI]

Béatrice Bérard

Proceedings of the CAAP '86, 1986

1985

On formal languages, probabilities, paging and decoding algorithms.

[BibT_eX]

[DOI]

Loÿs Thimonier

Proceedings of the Fundamentals of Computation Theory, 1985

1984

Remarques sur les Langages de Parenthèses.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Bicentres de langages algébriques.

[BibT_eX]

[DOI]

Acta Informatica, 1984

Computability of Probabilistic Parameters for Some Classes of Formal Languages.

[BibT_eX]

[DOI]

Loÿs Thimonier

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1983

On Context-Free Generators

[BibT_eX]

[DOI]

Françoise Gire

Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

Prefix and Perfect Languages.

[BibT_eX]

[DOI]

Proceedings of the CAAP'83, 1983

1982

Indécidabilité de la Condition IRS.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1982

Formes de langages et de grammaires.

[BibT_eX]

[DOI]

Jean-Michel Autebert

Luc Boasson

Acta Informatica, 1982

Substitution of Bounded Rational Cone

[BibT_eX]

[DOI]

Michel Latteux

Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982

1981

More about the "Geography" of Context-Free Languages

[BibT_eX]

[DOI]

Jean Berstel

Inf. Control., May, 1981

Languages albébriques dominés par des langages unaires

[BibT_eX]

[DOI]

Inf. Control., January, 1981

Substitution of Semi-AFL'S.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1981

A Remark About a Substitution Property.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1981

A New Operation Between Languages.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1981

1980

Langages sur des alphabets infinis.

[BibT_eX]

[DOI]

Jean-Michel Autebert

Luc Boasson

Discret. Appl. Math., 1980

1979

Deux Familles de Langages Incomparables

[BibT_eX]

[DOI]

Inf. Control., November, 1979

Generateurs Algebriques et Systemes de Paires Iterantes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1979

Quelques problèmes ouverts en théorie des langages algébriques.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1979

Strong Non-Deterministic Context-Free Languages.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 1979

Independence of linear and one-counter generators (extended abstract).

[BibT_eX]

Proceedings of the Fundamentals of Computation Theory, 1979

1978

Un générateur inhéremment ambigu du cône des languages algébiques.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1978

Ambiguite Forte.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1978

1977

Contribution a l'etude de la complexite structurelle des langages algebriques.

[BibT_eX]

PhD thesis, 1977

1976

Générateurs algébriques non-ambigus.

[BibT_eX]

Proceedings of the Third International Colloquium on Automata, 1976

1974

Une caractérisation des générateurs standard.

[BibT_eX]

[DOI]

Jean-Michel Autebert

RAIRO Theor. Informatics Appl., 1974

1973

Une caractérisation des langages quasi-rationnels standards.

[BibT_eX]

[DOI]