2007 |
26 | EE | Joffroy Beauquier,
Julien Clement,
Stéphane Messika,
Laurent Rosaz,
Brigitte Rozoy:
Self-stabilizing Counting in Mobile Sensor Networks with a Base Station.
DISC 2007: 63-76 |
25 | EE | Joffroy Beauquier,
Julien Clement,
Stéphane Messika,
Laurent Rosaz,
Brigitte Rozoy:
Self-stabilizing counting in mobile sensor networks.
PODC 2007: 396-397 |
2005 |
24 | EE | Joffroy Beauquier,
Laurence Pilard,
Brigitte Rozoy:
Observing Locally Self-stabilization in a Probabilistic Way.
DISC 2005: 399-413 |
23 | EE | Joffroy Beauquier,
Laurence Pilard,
Brigitte Rozoy:
Observing locally self-stabilization.
J. High Speed Networks 14(1): 3-19 (2005) |
2003 |
22 | | Dominique Ambroise,
Brigitte Rozoy,
Jean Saquet:
Deadlock Detection in Distributed Systems.
Computers and Their Applications 2003: 210-213 |
2001 |
21 | | Franck Cassez,
Claude Jard,
Brigitte Rozoy,
Mark Dermot Ryan:
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
Springer 2001 |
20 | | Patrick Augé,
Brigitte Rozoy,
T. Maurin,
Roger Reynaud,
Kamel Bouchefra:
Simulation and verification of an embedded system.
Computers and Their Applications 2001: 272-275 |
19 | EE | Dominique Ambroise,
Patrick Augé,
Kamel Bouchefra,
Brigitte Rozoy:
MARRELLA and the Verification of an Embedded System.
FoSSaCS 2001: 409-412 |
1999 |
18 | EE | Rémi Morin,
Brigitte Rozoy:
On the Semantics of Place/Transition Nets.
CONCUR 1999: 447-462 |
17 | EE | H. C. M. Kleijn,
Rémi Morin,
Brigitte Rozoy:
A General Categorical Connection between Local Event Structures and Local Traces.
FCT 1999: 338-349 |
1998 |
16 | EE | H. C. M. Kleijn,
Rémi Morin,
Brigitte Rozoy:
Event Structures for Local Traces.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
1997 |
15 | | Iabelle Biermann,
Brigitte Rozoy:
Reliable Generalized and Context Dependent Commutation Relations.
TAPSOFT 1997: 165-176 |
1996 |
14 | | Dominique Ambroise,
Brigitte Rozoy:
Marella: A Tool for Simulation and Verification.
CAV 1996: 458-461 |
13 | | Dominique Ambroise,
Brigitte Rozoy:
Using Events Structures for the Efficient Analysis of State Graphs (Abstract).
PODC 1996: 123 |
1994 |
12 | | Marc Roland Assous,
Vincent Bouchitté,
Christine Charretton,
Brigitte Rozoy:
Finite Labelling Problem in Event Structures.
Theor. Comput. Sci. 123(1): 9-19 (1994) |
1993 |
11 | | Paul Gastin,
Brigitte Rozoy:
The Poset of Infinitary Traces.
Theor. Comput. Sci. 120(1): 101-121 (1993) |
1992 |
10 | | Brigitte Rozoy:
On distributed languages and models for concurrency.
Advances in Petri Nets: The DEMON Project 1992: 267-291 |
9 | | 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) |
1991 |
8 | | Yves Métivier,
Brigitte Rozoy:
On the Star Operation in Free Partially Commutative Monoids.
Int. J. Found. Comput. Sci. 2(3): 257-265 (1991) |
7 | | Brigitte Rozoy,
P. S. Thiagarajan:
Event Structures and Trace Monoids.
Theor. Comput. Sci. 91(2): 285-313 (1991) |
1990 |
6 | | Brigitte Rozoy:
On Distributed Languages and Models for Distributed Computation.
Semantics of Systems of Concurrent Processes 1990: 434-456 |
1987 |
5 | | Didier Ferment,
Brigitte Rozoy:
Solutions for the Distributed Termination Problem.
Parallel Algorithms and Architectures 1987: 114-121 |
4 | | Brigitte Rozoy:
The Dyck Language D'_1^* Is Not Generated by Any Matric Grammar of Finite Index
Inf. Comput. 74(1): 64-89 (1987) |
1986 |
3 | | Brigitte Rozoy:
Model and Complexity of Termination for Distributed Computations.
MFCS 1986: 564-572 |
2 | | Brigitte Rozoy:
Outils et Résultats Pour Les Transducteurs Boustrophedons.
ITA 20(3): 221-249 (1986) |
1985 |
1 | | Brigitte Rozoy:
About two-way transducers.
FCT 1985: 371-379 |