Joffroy Beauquier

Publication Activity (10 Years)

Years Active: 1973-2023
Publications (10 Years): 19

Top Venues

DISC

PODC

OPODIS

SSS

Univ. Paris VII (PHD)

Education History

Univ. Paris VII

PHD

Publications

Evangelos Bampas, Joffroy Beauquier, Janna Burman, William Guy-Obé
Treasure Hunt with Volatile Pheromones. DISC (2023)
Chuan Xu, Joffroy Beauquier, Janna Burman, Shay Kutten, Thomas Nowak
Data collection in population protocols with non-uniformly random scheduler. Theor. Comput. Sci. 806 (2020)
Fabien Dufoulon, Janna Burman, Joffroy Beauquier
Can Uncoordinated Beeps tell Stories? PODC (2020)
Janna Burman, Joffroy Beauquier, Devan Sohier
Space-Optimal Naming in Population Protocols. DISC (2019)
Joffroy Beauquier, Janna Burman, Peter Davies, Fabien Dufoulon
Optimal Multi-broadcast with Beeps Using Group Testing. SIROCCO (2019)
Joffroy Beauquier, Thibault Bernard, Janna Burman, Shay Kutten, Marie Laveau
Brief Announcement: Time Efficient Self-stabilizing Stable Marriage. SSS (2018)
Fabien Dufoulon, Janna Burman, Joffroy Beauquier
Beeping a Deterministic Time-Optimal Leader Election. DISC (2018)
Joffroy Beauquier, Janna Burman, Fabien Dufoulon, Shay Kutten
Fast Beeping Protocols for Deterministic MIS and (Δ + 1)-Coloring in Sparse Graphs. INFOCOM (2018)
Fabien Dufoulon, Janna Burman, Joffroy Beauquier
Brief Announcement: Beeping a Time-Optimal Leader Election. PODC (2018)
Janna Burman, Joffroy Beauquier, Devan Sohier
Brief Announcement: Space-Optimal Naming in Population Protocols. PODC (2018)
Joffroy Beauquier, Janna Burman, Shay Kutten, Thomas Nowak, Chuan Xu
Data Collection in Population Protocols with Non-uniformly Random Scheduler. ALGOSENSORS (2017)
Chuan Xu, Janna Burman, Joffroy Beauquier
Power-Aware Population Protocols. ICDCS (2017)
Marie Laveau, George Manoussakis, Joffroy Beauquier, Thibault Bernard, Janna Burman, Johanne Cohen, Laurence Pilard
Self-stabilizing Distributed Stable Marriage. SSS (2017)
James Aspnes, Joffroy Beauquier, Janna Burman, Devan Sohier
Time and Space Optimal Counting in Population Protocols. OPODIS (2016)
Joffroy Beauquier, Peva Blanchard, Janna Burman, Oksana Denysyuk
On the Power of Oracle \varOmega ? for Self-Stabilizing Leader Election in Population Protocols. SSS (2016)
James Aspnes, Joffroy Beauquier, Janna Burman, Devan Sohier
Time and Space Optimal Counting in Population Protocols. CoRR (2016)
Joffroy Beauquier, Peva Blanchard, Janna Burman, Shay Kutten
The Weakest Oracle for Symmetric Consensus in Population Protocols. ALGOSENSORS (2015)
Joffroy Beauquier, Peva Blanchard, Janna Burman, Rachid Guerraoui
The Benefits of Entropy in Population Protocols. OPODIS (2015)
Joffroy Beauquier, Janna Burman, Simon Clavière, Devan Sohier
Space-Optimal Counting in Population Protocols. DISC (2015)
Peva Blanchard, Shlomi Dolev, Joffroy Beauquier, Sylvie Delaët
Practically Self-stabilizing Paxos Replicated State-Machine. NETYS (2014)
Joffroy Beauquier, Peva Blanchard, Janna Burman
Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs. OPODIS (2013)
Peva Blanchard, Shlomi Dolev, Joffroy Beauquier, Sylvie Delaët
Self-Stabilizing Paxos CoRR (2013)
Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët
Tight complexity analysis of population protocols with cover times - The ZebraNet example. Theor. Comput. Sci. 512 (2013)
Joffroy Beauquier, Janna Burman, Laurent Rosaz, Brigitte Rozoy
Non-deterministic Population Protocols. OPODIS (2012)
Joffroy Beauquier, Janna Burman, Shay Kutten
A self-stabilizing transformer for population protocols with covering. Theor. Comput. Sci. 412 (33) (2011)
Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët
Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example. SSS (2011)
Joffroy Beauquier, Janna Burman
Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering. OPODIS (2011)
Joffroy Beauquier, Janna Burman
Self-stabilizing Synchronization in Mobile Sensor Networks with Covering. DCOSS (2010)
Joffroy Beauquier, Janna Burman, Julien Clément, Shay Kutten
On utilizing speed in networks of mobile agents. PODC (2010)
Joffroy Beauquier, Janna Burman, Julien Clément, Shay Kutten
Brief announcement: non-self-stabilizing and self-stabilizing gathering in networks of mobile agents--the notion of speed. PODC (2009)
Joffroy Beauquier, Janna Burman, Shay Kutten
Making Population Protocols Self-stabilizing. SSS (2009)
Joffroy Beauquier, Colette Johnen
Analyze of Probabilistic Algorithms under Indeterministic Scheduler. ISPA (2008)
Joffroy Beauquier, Maria Gradinariu, Colette Johnen
Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. Distributed Comput. 20 (1) (2007)
Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier
A Model for Large Scale Self-Stabilization. IPDPS (2007)
Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil
Transient fault detectors. Distributed Comput. 20 (1) (2007)
Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station. DISC (2007)
Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
Self-stabilizing counting in mobile sensor networks. PODC (2007)
Joffroy Beauquier, Sylvie Delaët, Sammy Haddad
Necessary and sufficient conditions for 1-adaptivity. IPDPS (2006)
Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy
Observing Locally Self-Stabilization in a Probabilistic Way. J. Aerosp. Comput. Inf. Commun. 3 (10) (2006)
Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier
Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems. SSS (2006)
Joffroy Beauquier, Colette Johnen, Stéphane Messika
-Bounded Policies Are Equivalent for Self-stabilization. SSS (2006)
Joffroy Beauquier, Colette Johnen, Stéphane Messika
Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. DISC (2006)
Joffroy Beauquier, Sylvie Delaët, Sammy Haddad
A 1-Strong Self-stabilizing Transformer. SSS (2006)
Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy
Observing Locally Self-stabilization in a Probabilistic Way. DISC (2005)
Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy
Observing locally self-stabilization. J. High Speed Networks 14 (1) (2005)
Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta
Group Mutual Exclusin in Tree Networks. J. Inf. Sci. Eng. 19 (3) (2003)
Joffroy Beauquier, Maria Gradinariu, Colette Johnen, Jérôme Olivier Durand-Lose
Token-Based Self-Stabilizing Uniform Algorithms. J. Parallel Distributed Comput. 62 (5) (2002)
Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. Chic. J. Theor. Comput. Sci. 2002 (2002)
Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit
Group Mutual Exclusion In Tree Networks. ICPADS (2002)
Joffroy Beauquier, Thomas Hérault
Fault-Local Stabilization: The Shortest Path Tree. SRDS (2002)
Joffroy Beauquier, Maria Gradinariu, Colette Johnen
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. WSS (2001)
Joffroy Beauquier, Thomas Hérault, Elad Schiller
Easy Stabilization with an Agent. WSS (2001)
Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, Frédéric Magniette
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages. Distributed Comput. 14 (2) (2001)
Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. DISC (2000)
Joffroy Beauquier, Maria Gradinariu, Colette Johnen
Memory Space Requirements for Self-Stabilizing Leader Election Protocols. PODC (1999)
Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil
Self-stabilizing census with cut-through constraint. WSS (1999)
Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg
A New Rewrite Method for Convergence of Self-Stabilizing Systems. DISC (1999)
Joffroy Beauquier, Christophe Genolini, Shay Kutten
-Stabilization: The Case of Mutual Exclusion. PODC (1999)
Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil
Transient Fault Detectors. DISC (1998)
Luc Onana Alima, Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil
Self-Stabilization with Global Rooted Synchronizers. ICDCS (1998)
Joffroy Beauquier, Christophe Genolini, Shay Kutten
-Stabilization of Reactive Tasks. PODC (1998)
Joffroy Beauquier, Synnöve Kekkonen-Moneta
On FTSS-solvable distributed problems. WSS (1997)
Colette Johnen, Gianluigi Alari, Joffroy Beauquier, Ajoy Kumar Datta
Self-Stabilizing Depth-First Token Passing on Rooted Networks. WDAG (1997)
Joffroy Beauquier
Proving SelfStabilizing Randomized Protocols. OPODIS (1997)
Joffroy Beauquier, Synnöve Kekkonen-Moneta
Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors. Int. J. Syst. Sci. 28 (11) (1997)
Joffroy Beauquier, Synnöve Kekkonen-Moneta
On FTSS-Solvable Distributed Problems. PODC (1997)
Joffroy Beauquier, Oliver Debas, Synnöve Kekkonen-Moneta
Fault-Tolerant and Self-Stabilizing Ring Orientation. SIROCCO (1996)
Joffroy Beauquier, Sylvie Delaët
Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings. PODC (1994)
Joffroy Beauquier
Two Distributed Problems Involving Byzantine Processes. Theor. Comput. Sci. 95 (1) (1992)
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
Detection of Deadlocks in an Infinite Family of Nets. STACS (1991)
Joffroy Beauquier
Fault-Tolerant Naming and Mutual Exclusion. Semantics of Systems of Concurrent Processes (1990)
Joffroy Beauquier, Paul Gastin, Vincent Villain
A Linear Fault-Tolerant Naming Algorithm. WDAG (1990)
Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
Syntactical Properties of Unbounded Nets of Processors. TAPSOFT, Vol.1 (1989)
Joffroy Beauquier, Antoine Petit
Distribution of Sequential Processes. MFCS (1988)
Joffroy Beauquier, Meera Blattner, Michel Latteux
On Commutative Context-Free Languages. J. Comput. Syst. Sci. 35 (3) (1987)
Joffroy Beauquier, Françoise Gire
Une Note sur le Théorème de Caractérisation des Générateurs Algébriques. Theor. Comput. Sci. 51 (1987)
Joffroy Beauquier, Béatrice Bérard
On the Equivalence of Synchronization Sets. CAAP (1986)
Joffroy Beauquier, Loÿs Thimonier
On formal languages, probabilities, paging and decoding algorithms. FCT (1985)
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Géraud Sénizergues
Remarques sur les Langages de Parenthèses. Theor. Comput. Sci. 31 (1984)
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Françoise Gire
Bicentres de langages algébriques. Acta Informatica 21 (1984)
Joffroy Beauquier, Loÿs Thimonier
Computability of Probabilistic Parameters for Some Classes of Formal Languages. MFCS (1984)
Joffroy Beauquier
Prefix and Perfect Languages. CAAP (1983)
Joffroy Beauquier, Françoise Gire
On Context-Free Generators FOCS (1983)
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson
Formes de langages et de grammaires. Acta Informatica 17 (1982)
Joffroy Beauquier, Michel Latteux
Substitution of Bounded Rational Cone FOCS (1982)
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux
Indécidabilité de la Condition IRS. RAIRO Theor. Informatics Appl. 16 (2) (1982)
Joffroy Beauquier
Substitution of Semi-AFL'S. Theor. Comput. Sci. 14 (1981)
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux
Languages albébriques dominés par des langages unaires Inf. Control. 48 (1) (1981)
Joffroy Beauquier
A Remark About a Substitution Property. Math. Syst. Theory 14 (1981)
Joffroy Beauquier, Jean Berstel
More about the "Geography" of Context-Free Languages Inf. Control. 49 (2) (1981)
Joffroy Beauquier, Jean Berstel
More about the "Geography" of Context-Free Languages. MFCS (1981)
Joffroy Beauquier
A New Operation Between Languages. FCT (1981)
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson
Langages sur des alphabets infinis. Discret. Appl. Math. 2 (1) (1980)
Joffroy Beauquier
Strong Non-Deterministic Context-Free Languages. Theoretical Computer Science (1979)
Joffroy Beauquier
Generateurs Algebriques et Systemes de Paires Iterantes. Theor. Comput. Sci. 8 (1979)
Joffroy Beauquier
Deux Familles de Langages Incomparables Inf. Control. 43 (2) (1979)
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Maurice Nivat
Quelques problèmes ouverts en théorie des langages algébriques. RAIRO Theor. Informatics Appl. 13 (4) (1979)
Joffroy Beauquier
Independence of linear and one-counter generators (extended abstract). FCT (1979)
Joffroy Beauquier
Un générateur inhéremment ambigu du cône des languages algébiques. RAIRO Theor. Informatics Appl. 12 (2) (1978)
Joffroy Beauquier
Ambiguite Forte. ICALP (1978)

Joffroy Beauquier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joffroy Beauquier