Brigitte Rozoy

33 papers A* 3A 2B 7Misc 2Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2013 — conf
Locality Optimization on a NUMA Architecture for Hybrid LU Factorization.
PARCO
Adrien Rémy, Marc Baboulin, Masha Sosonkina, Brigitte Rozoy
2012 B conf
Boost.SIMD: generic programming for portable SIMDization.
PACT
Pierre Estérie, Mathias Gaunard, Joel Falcou, Jean-Thierry Lapresté, Brigitte Rozoy
2012 B conf
Non-deterministic Population Protocols.
OPODIS
Joffroy Beauquier, Janna Burman, Laurent Rosaz, Brigitte Rozoy
2011 J jnl
Observer des algorithmes autostabilisants. Vers une valuation du co.
Tech. Sci. Informatiques
Julien Clément, Stéphane Messika, Brigitte Rozoy
2007 A conf
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station.
DISC
Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
2007 A* conf
Self-stabilizing counting in mobile sensor networks.
PODC
Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
2006 J jnl
Observing Locally Self-Stabilization in a Probabilistic Way.
J. Aerosp. Comput. Inf. Commun.
Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy
2005 A conf
Observing Locally Self-stabilization in a Probabilistic Way.
DISC
Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy
2005 J jnl
Observing locally self-stabilization.
J. High Speed Networks
Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy
2003 Misc conf
Deadlock Detection in Distributed Systems.
CATA
Dominique Ambroise, Brigitte Rozoy, Jean Saquet
2001 B conf
MARRELLA and the Verification of an Embedded System.
FoSSaCS
Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy
2001 — ed.
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
MOVEP
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan
2001 Misc conf
Simulation and verification of an embedded system.
CATA
Patrick Augé, Brigitte Rozoy, Thierry Maurin, Roger Reynaud, Kamel Bouchefra
1999 B conf
A General Categorical Connection between Local Event Structures and Local Traces.
FCT
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
1999 B conf
On the Semantics of Place/Transition Nets.
CONCUR
Rémi Morin, Brigitte Rozoy
1998 — conf
Event Structures for Local Traces.
EXPRESS
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
1997 — conf
Reliable Generalized and Context Dependent Commutation Relations.
TAPSOFT
Iabelle Biermann, Brigitte Rozoy
1996 A* conf
Marella: A Tool for Simulation and Verification.
CAV
Dominique Ambroise, Brigitte Rozoy
1996 J jnl
Marrella: a Tool to Analyse the Graph of States.
Parallel Process. Lett.
Dominique Ambroise, Brigitte Rozoy
1996 A* conf
Using Events Structures for the Efficient Analysis of State Graphs (Abstract).
PODC
Dominique Ambroise, Brigitte Rozoy
1995 — conf
Graphs for Generalized Traces.
STRICT
Iabelle Biermann, Brigitte Rozoy
1994 J jnl
Finite Labelling Problem in Event Structures.
Theor. Comput. Sci.
Marc Roland Assous, Vincent Bouchitté, Christine Charretton, Brigitte Rozoy
1993 J jnl
The Poset of Infinitary Traces.
Theor. Comput. Sci.
Paul Gastin, Brigitte Rozoy
1992 J jnl
Decidability of the Star Problem in A* x {b}*.
Inf. Process. Lett.
Paul Gastin, Edward Ochmanski, Antoine Petit, Brigitte Rozoy
1992 — ch.
On distributed languages and models for concurrency.
Advances in Petri Nets: The DEMON Project
Brigitte Rozoy
1991 J jnl
Event Structures and Trace Monoids.
Theor. Comput. Sci.
Brigitte Rozoy, P. S. Thiagarajan
1991 J jnl
On the Star Operation in Free Partially Commutative Monoids.
Int. J. Found. Comput. Sci.
Yves Métivier, Brigitte Rozoy
1990 — conf
On Distributed Languages and Models for Distributed Computation.
Semantics of Systems of Concurrent Processes
Brigitte Rozoy
1987 — conf
Solutions for the Distributed Termination Problem.
Parallel Algorithms and Architectures
Didier Ferment, Brigitte Rozoy
1987 J jnl
The Dyck Language D'_1^* Is Not Generated by Any Matric Grammar of Finite Index
Inf. Comput.
Brigitte Rozoy
1986 B conf
Model and Complexity of Termination for Distributed Computations.
MFCS
Brigitte Rozoy
1986 J jnl
Outils et Résultats Pour Les Transducteurs Boustrophedons.
RAIRO Theor. Informatics Appl.
Brigitte Rozoy
1985 B conf
About two-way transducers.
FCT
Brigitte Rozoy