Joffroy Beauquier

Joffroy Beauquier, Janna Burman, Laurent Rosaz, Brigitte Rozoy: Non-deterministic Population Protocols. OPODIS 2012: 61-75

Joffroy Beauquier, Janna Burman, Shay Kutten: A self-stabilizing transformer for population protocols with covering. Theor. Comput. Sci. 412(33): 4247-4259 (2011)

Joffroy Beauquier, Janna Burman: Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering. OPODIS 2011: 235-250

Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët: Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example. SSS 2011: 47-61

Joffroy Beauquier, Janna Burman: Self-stabilizing Synchronization in Mobile Sensor Networks with Covering. DCOSS 2010: 362-378

Joffroy Beauquier, Janna Burman, Julien Clément, Shay Kutten: On utilizing speed in networks of mobile agents. PODC 2010: 305-314

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: 286-287

Joffroy Beauquier, Janna Burman, Shay Kutten: Making Population Protocols Self-stabilizing. SSS 2009: 90-104

Joffroy Beauquier, Colette Johnen: Analyze of Probabilistic Algorithms under Indeterministic Scheduler. ISPA 2008: 553-558

Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil: Transient fault detectors. Distributed Computing 20(1): 39-51 (2007)

Joffroy Beauquier, Maria Gradinariu, Colette Johnen: Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. Distributed Computing 20(1): 75-93 (2007)

Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier: A Model for Large Scale Self-Stabilization. IPDPS 2007: 1-10

Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy: Self-stabilizing counting in mobile sensor networks. PODC 2007: 396-397

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: 63-76

Joffroy Beauquier, Sylvie Delaët, Sammy Haddad: Necessary and sufficient conditions for 1-adaptivity. IPDPS 2006

Joffroy Beauquier, Colette Johnen, Stéphane Messika: All k -Bounded Policies Are Equivalent for Self-stabilization. SSS 2006: 82-94

Joffroy Beauquier, Sylvie Delaët, Sammy Haddad: A 1-Strong Self-stabilizing Transformer. SSS 2006: 95-109

Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier: Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems. SSS 2006: 574-575

Joffroy Beauquier, Colette Johnen, Stéphane Messika: Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. DISC 2006: 543-547

Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy: Observing locally self-stabilization. J. High Speed Networks 14(1): 3-19 (2005)

Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy: Observing Locally Self-stabilization in a Probabilistic Way. DISC 2005: 399-413

Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta: Group Mutual Exclusin in Tree Networks. J. Inf. Sci. Eng. 19(3): 415-432 (2003)

Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette: Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. Chicago J. Theor. Comput. Sci. 2002 (2002)

Joffroy Beauquier, Maria Gradinariu, Colette Johnen, Jérôme Olivier Durand-Lose: Token-Based Self-Stabilizing Uniform Algorithms. J. Parallel Distrib. Comput. 62(5): 899-921 (2002)

Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit: Group Mutual Exclusion In Tree Networks. ICPADS 2002: 111-116

Joffroy Beauquier, Thomas Hérault: Fault-Local Stabilization: The Shortest Path Tree. SRDS 2002: 62-69

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 Computing 14(2): 83-95 (2001)

Joffroy Beauquier, Maria Gradinariu, Colette Johnen: Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. WSS 2001: 19-34

Joffroy Beauquier, Thomas Hérault, Elad Schiller: Easy Stabilization with an Agent. WSS 2001: 35-50

Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette: Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. DISC 2000: 223-237

Joffroy Beauquier, Maria Gradinariu, Colette Johnen: Memory Space Requirements for Self-Stabilizing Leader Election Protocols. PODC 1999: 199-207

Joffroy Beauquier, Christophe Genolini, Shay Kutten: Optimal Reactive k-Stabilization: The Case of Mutual Exclusion. PODC 1999: 209-218

Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg: A New Rewrite Method for Convergence of Self-Stabilizing Systems. DISC 1999: 240-253

Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil: Self-stabilizing census with cut-through constraint. WSS 1999: 70-77

Luc Onana Alima, Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil: Self-Stabilization with Global Rooted Synchronizers. ICDCS 1998: 102-109

Joffroy Beauquier, Christophe Genolini, Shay Kutten: k-Stabilization of Reactive Tasks. PODC 1998: 318

Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil: Transient Fault Detectors. DISC 1998: 62-74

Joffroy Beauquier, Synnöve Kekkonen-Moneta: Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors. Int. J. Systems Science 28(11): 1177-1187 (1997)

Joffroy Beauquier: Proving SelfStabilizing Randomized Protocols. OPODIS 1997: 279-284

Joffroy Beauquier, Synnöve Kekkonen-Moneta: On FTSS-Solvable Distributed Problems. PODC 1997: 290

Colette Johnen, Gianluigi Alari, Joffroy Beauquier, Ajoy Kumar Datta: Self-Stabilizing Depth-First Token Passing on Rooted Networks. WDAG 1997: 260-274

Joffroy Beauquier, Synnöve Kekkonen-Moneta: On FTSS-solvable distributed problems. WSS 1997: 64-79

Joffroy Beauquier, Oliver Debas, Synnöve Kekkonen-Moneta: Fault-Tolerant and Self-Stabilizing Ring Orientation. SIROCCO 1996: 59-72

Joffroy Beauquier, Sylvie Delaët: Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings. PODC 1994: 378

Joffroy Beauquier: Two Distributed Problems Involving Byzantine Processes. Theor. Comput. Sci. 95(1): 169-185 (1992)

Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet: Detection of Deadlocks in an Infinite Family of Nets. STACS 1991: 334-347

Joffroy Beauquier: Fault-Tolerant Naming and Mutual Exclusion. Semantics of Systems of Concurrent Processes 1990: 50-61

Joffroy Beauquier, Paul Gastin, Vincent Villain: A Linear Fault-Tolerant Naming Algorithm. WDAG 1990: 57-70

Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet: Syntactical Properties of Unbounded Nets of Processors. TAPSOFT, Vol.1 1989: 119-133

Joffroy Beauquier, Antoine Petit: Distribution of Sequential Processes. MFCS 1988: 180-189

Joffroy Beauquier, Meera Blattner, Michel Latteux: On Commutative Context-Free Languages. J. Comput. Syst. Sci. 35(3): 311-320 (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: 117-127 (1987)

Joffroy Beauquier, Béatrice Bérard: On the Equivalence of Synchronization Sets. CAAP 1986: 17-29

Joffroy Beauquier, Loÿs Thimonier: On formal languages, probabilities, paging and decoding algorithms. FCT 1985: 44-52

Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Françoise Gire: Bicentres de langages algébriques. Acta Inf. 21: 209-227 (1984)

Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Géraud Sénizergues: Remarques sur les Langages de Parenthèses. Theor. Comput. Sci. 31: 337-349 (1984)

Joffroy Beauquier, Loÿs Thimonier: Computability of Probabilistic Parameters for Some Classes of Formal Languages. MFCS 1984: 194-204

Joffroy Beauquier: Prefix and Perfect Languages. CAAP 1983: 129-140

Joffroy Beauquier, Françoise Gire: On Context-Free Generators. FOCS 1983: 215

Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson: Formes de langages et de grammaires. Acta Inf. 17: 193-213 (1982)

Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux: Indécidabilité de la Condition IRS. ITA 16(2): 129-138 (1982)

Joffroy Beauquier, Michel Latteux: Substitution of Bounded Rational Cone. FOCS 1982: 236-243

Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux: Languages albébriques dominés par des langages unaires. Information and Control 48(1): 49-53 (1981)

Joffroy Beauquier, Jean Berstel: More about the ``Geography'' of Context-Free Languages. Information and Control 49(2): 91-108 (1981)

Joffroy Beauquier: A Remark About a Substitution Property. Mathematical Systems Theory 14: 189-191 (1981)

Joffroy Beauquier: Substitution of Semi-AFL'S. Theor. Comput. Sci. 14: 187-193 (1981)

Joffroy Beauquier: A New Operation Between Languages. FCT 1981: 400-409

Joffroy Beauquier, Jean Berstel: More about the ``Geography'' of Context-Free Languages. MFCS 1981: 183-192

Joffroy Beauquier: Deux Familles de Langages Incomparables. Information and Control 43(2): 101-122 (1979)

Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Maurice Nivat: Quelques problèmes ouverts en théorie des langages algébriques. ITA 13(4) (1979)

Joffroy Beauquier: Generateurs Algebriques et Systemes de Paires Iterantes. Theor. Comput. Sci. 8: 293-323 (1979)

Joffroy Beauquier: Independence of linear and one-counter generators (extended abstract). FCT 1979: 45-51

Joffroy Beauquier: Strong Non-Deterministic Context-Free Languages. Theoretical Computer Science 1979: 47-57

Joffroy Beauquier: Un générateur inhéremment ambigu du cône des languages algébiques. ITA 12(2) (1978)

Joffroy Beauquier: Ambiguite Forte. ICALP 1978: 52-62

Joffroy Beauquier: Contribution a l'etude de la complexite structurelle des langages algebriques. Univ. Paris VII 1977, pp. 1-161

Joffroy Beauquier: Générateurs algébriques non-ambigus. ICALP 1976: 66-73

Joffroy Beauquier: Une caractérisation des langages quasi-rationnels standards. Automatentheorie und Formale Sprachen 1973: 132-138