Brigitte Rozoy

Publication Activity (10 Years)

Years Active: 1985-2013
Publications (10 Years): 0

Top Topics

Programming Concepts

Population Size

Stochastic Methods

Communication Protocols

Top Venues

Publications

Adrien Rémy, Marc Baboulin, Masha Sosonkina, Brigitte Rozoy
Locality Optimization on a NUMA Architecture for Hybrid LU Factorization. PARCO (2013)
Joffroy Beauquier, Janna Burman, Laurent Rosaz, Brigitte Rozoy
Non-deterministic Population Protocols. OPODIS (2012)
Pierre Estérie, Mathias Gaunard, Joel Falcou, Jean-Thierry Lapresté, Brigitte Rozoy
Boost.SIMD: generic programming for portable SIMDization. PACT (2012)
Julien Clément, Stéphane Messika, Brigitte Rozoy
Observer des algorithmes autostabilisants. Vers une valuation du co. Tech. Sci. Informatiques 30 (1) (2011)
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, Laurence Pilard, Brigitte Rozoy
Observing Locally Self-Stabilization in a Probabilistic Way. J. Aerosp. Comput. Inf. Commun. 3 (10) (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)
Dominique Ambroise, Brigitte Rozoy, Jean Saquet
Deadlock Detection in Distributed Systems. CATA (2003)
Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy
MARRELLA and the Verification of an Embedded System. FoSSaCS (2001)
Patrick Augé, Brigitte Rozoy, Thierry Maurin, Roger Reynaud, Kamel Bouchefra
Simulation and verification of an embedded system. CATA (2001)
Rémi Morin, Brigitte Rozoy
On the Semantics of Place/Transition Nets. CONCUR (1999)
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
A General Categorical Connection between Local Event Structures and Local Traces. FCT (1999)
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
Event Structures for Local Traces. EXPRESS (1998)
Iabelle Biermann, Brigitte Rozoy
Reliable Generalized and Context Dependent Commutation Relations. TAPSOFT (1997)
Dominique Ambroise, Brigitte Rozoy
Marella: A Tool for Simulation and Verification. CAV (1996)
Dominique Ambroise, Brigitte Rozoy
Marrella: a Tool to Analyse the Graph of States. Parallel Process. Lett. 6 (4) (1996)
Dominique Ambroise, Brigitte Rozoy
Using Events Structures for the Efficient Analysis of State Graphs (Abstract). PODC (1996)
Iabelle Biermann, Brigitte Rozoy
Graphs for Generalized Traces. STRICT (1995)
Marc Roland Assous, Vincent Bouchitté, Christine Charretton, Brigitte Rozoy
Finite Labelling Problem in Event Structures. Theor. Comput. Sci. 123 (1) (1994)
Paul Gastin, Brigitte Rozoy
The Poset of Infinitary Traces. Theor. Comput. Sci. 120 (1) (1993)
Paul Gastin, Edward Ochmanski, Antoine Petit, Brigitte Rozoy
Decidability of the Star Problem in A* x {b}*. Inf. Process. Lett. 44 (2) (1992)
Brigitte Rozoy, P. S. Thiagarajan
Event Structures and Trace Monoids. Theor. Comput. Sci. 91 (2) (1991)
Yves Métivier, Brigitte Rozoy
On the Star Operation in Free Partially Commutative Monoids. Int. J. Found. Comput. Sci. 2 (3) (1991)
Brigitte Rozoy
On Distributed Languages and Models for Distributed Computation. Semantics of Systems of Concurrent Processes (1990)
Brigitte Rozoy
The Dyck Language D'_1^* Is Not Generated by Any Matric Grammar of Finite Index Inf. Comput. 74 (1) (1987)
Didier Ferment, Brigitte Rozoy
Solutions for the Distributed Termination Problem. Parallel Algorithms and Architectures (1987)
Brigitte Rozoy
Outils et Résultats Pour Les Transducteurs Boustrophedons. RAIRO Theor. Informatics Appl. 20 (3) (1986)
Brigitte Rozoy
Model and Complexity of Termination for Distributed Computations. MFCS (1986)
Brigitte Rozoy
About two-way transducers. FCT (1985)