Brigitte Rozoy

According to our database, Brigitte Rozoy authored at least 31 papers between 1985 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Locality Optimization on a NUMA Architecture for Hybrid LU Factorization.

Adrien Rémy, Marc Baboulin, Masha Sosonkina, Brigitte Rozoy

Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

2012

Non-deterministic Population Protocols.

Joffroy Beauquier, Janna Burman, Laurent Rosaz, Brigitte Rozoy

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

Boost.SIMD: generic programming for portable SIMDization.

Pierre Estérie, Mathias Gaunard, Joel Falcou, Jean-Thierry Lapresté, Brigitte Rozoy

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011

Observer des algorithmes autostabilisants. Vers une valuation du co.

Julien Clément, Stéphane Messika, Brigitte Rozoy

Tech. Sci. Informatiques, 2011

2007

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

Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy

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

Self-stabilizing counting in mobile sensor networks.

Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy

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

2006

Observing Locally Self-Stabilization in a Probabilistic Way.

Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy

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

2005

Observing locally self-stabilization.

Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy

J. High Speed Networks, 2005

2003

Deadlock Detection in Distributed Systems.

Dominique Ambroise, Brigitte Rozoy, Jean Saquet

Proceedings of the ISCA 18th International Conference Computers and Their Applications, 2003

2001

MARRELLA and the Verification of an Embedded System.

Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy

Proceedings of the Foundations of Software Science and Computation Structures, 2001

Simulation and verification of an embedded system.

Patrick Augé, Brigitte Rozoy, Thierry Maurin, Roger Reynaud, Kamel Bouchefra

Proceedings of the ISCA 16th International Conference Computers and Their Applications, 2001

1999

A General Categorical Connection between Local Event Structures and Local Traces.

H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

On the Semantics of Place/Transition Nets.

Rémi Morin, Brigitte Rozoy

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Event Structures for Local Traces.

H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

1997

Reliable Generalized and Context Dependent Commutation Relations.

Iabelle Biermann, Brigitte Rozoy

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Marrella: a Tool to Analyse the Graph of States.

Dominique Ambroise, Brigitte Rozoy

Parallel Process. Lett., 1996

Using Events Structures for the Efficient Analysis of State Graphs (Abstract).

Dominique Ambroise, Brigitte Rozoy

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Marella: A Tool for Simulation and Verification.

Dominique Ambroise, Brigitte Rozoy

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Graphs for Generalized Traces.

Iabelle Biermann, Brigitte Rozoy

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1994

Finite Labelling Problem in Event Structures.

Marc Roland Assous, Vincent Bouchitté, Christine Charretton, Brigitte Rozoy

Theor. Comput. Sci., 1994

1993

The Poset of Infinitary Traces.

Paul Gastin, Brigitte Rozoy

Theor. Comput. Sci., 1993

1992

Decidability of the Star Problem in A* x {b}*.

Paul Gastin, Edward Ochmanski, Antoine Petit, Brigitte Rozoy

Inf. Process. Lett., 1992

On distributed languages and models for concurrency.

Brigitte Rozoy

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

Event Structures and Trace Monoids.

Brigitte Rozoy, P. S. Thiagarajan

Theor. Comput. Sci., 1991

On the Star Operation in Free Partially Commutative Monoids.

Yves Métivier, Brigitte Rozoy

Int. J. Found. Comput. Sci., 1991

1990

On Distributed Languages and Models for Distributed Computation.

Brigitte Rozoy

Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1987

The Dyck Language D'_1^* Is Not Generated by Any Matric Grammar of Finite Index

Brigitte Rozoy

Inf. Comput., July, 1987

Solutions for the Distributed Termination Problem.

Didier Ferment, Brigitte Rozoy

Proceedings of the Parallel Algorithms and Architectures, 1987

1986

Outils et Résultats Pour Les Transducteurs Boustrophedons.

Brigitte Rozoy

RAIRO Theor. Informatics Appl., 1986

Model and Complexity of Termination for Distributed Computations.

Brigitte Rozoy

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

1985

About two-way transducers.

Brigitte Rozoy

Proceedings of the Fundamentals of Computation Theory, 1985