Brigitte Rozoy

Pierre Esterie, Mathias Gaunard, Joel Falcou, Jean-Thierry Lapresté, Brigitte Rozoy: Boost.SIMD: generic programming for portable SIMDization. PACT 2012: 431-432

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

Julien Clément, Stéphane Messika, Brigitte Rozoy: Observer des algorithmes autostabilisants. Vers une valuation du co. Technique et Science Informatiques 30(1): 35-57 (2011)

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, 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

Dominique Ambroise, Brigitte Rozoy, Jean Saquet: Deadlock Detection in Distributed Systems. Computers and Their Applications 2003: 210-213

Patrick Augé, Brigitte Rozoy, T. Maurin, Roger Reynaud, Kamel Bouchefra: Simulation and verification of an embedded system. Computers and Their Applications 2001: 272-275

Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy: MARRELLA and the Verification of an Embedded System. FoSSaCS 2001: 409-412

Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (Eds.): Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Lecture Notes in Computer Science 2067, Springer 2001, isbn 3-540-42787-2

Rémi Morin, Brigitte Rozoy: On the Semantics of Place/Transition Nets. CONCUR 1999: 447-462

H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy: A General Categorical Connection between Local Event Structures and Local Traces. FCT 1999: 338-349

H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy: Event Structures for Local Traces. Electr. Notes Theor. Comput. Sci. 16(2): 98-113 (1998)

Iabelle Biermann, Brigitte Rozoy: Reliable Generalized and Context Dependent Commutation Relations. TAPSOFT 1997: 165-176

Dominique Ambroise, Brigitte Rozoy: Marrella: a Tool to Analyse the Graph of States. Parallel Processing Letters 6(4): 583-594 (1996)

Dominique Ambroise, Brigitte Rozoy: Marella: A Tool for Simulation and Verification. CAV 1996: 458-461

Dominique Ambroise, Brigitte Rozoy: Using Events Structures for the Efficient Analysis of State Graphs (Abstract). PODC 1996: 123

Marc Roland Assous, Vincent Bouchitté, Christine Charretton, Brigitte Rozoy: Finite Labelling Problem in Event Structures. Theor. Comput. Sci. 123(1): 9-19 (1994)

Paul Gastin, Brigitte Rozoy: The Poset of Infinitary Traces. Theor. Comput. Sci. 120(1): 101-121 (1993)

Paul Gastin, Edward Ochmanski, Antoine Petit, Brigitte Rozoy: Decidability of the Star Problem in A* x {b}*. Inf. Process. Lett. 44(2): 65-71 (1992)

Brigitte Rozoy: On distributed languages and models for concurrency. Advances in Petri Nets: The DEMON Project 1992: 267-291

Yves Métivier, Brigitte Rozoy: On the Star Operation in Free Partially Commutative Monoids. Int. J. Found. Comput. Sci. 2(3): 257-265 (1991)

Brigitte Rozoy, P. S. Thiagarajan: Event Structures and Trace Monoids. Theor. Comput. Sci. 91(2): 285-313 (1991)

Brigitte Rozoy: On Distributed Languages and Models for Distributed Computation. Semantics of Systems of Concurrent Processes 1990: 434-456

Brigitte Rozoy: The Dyck Language D'_1^* Is Not Generated by Any Matric Grammar of Finite Index. Inf. Comput. 74(1): 64-89 (1987)

Didier Ferment, Brigitte Rozoy: Solutions for the Distributed Termination Problem. Parallel Algorithms and Architectures 1987: 114-121

Brigitte Rozoy: Outils et Résultats Pour Les Transducteurs Boustrophedons. ITA 20(3): 221-249 (1986)

Brigitte Rozoy: Model and Complexity of Termination for Distributed Computations. MFCS 1986: 564-572

Brigitte Rozoy: About two-way transducers. FCT 1985: 371-379