Brigitte Rozoy - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Observer des algorithmes autostabilisants. Vers une valuation du coJulien Clément, Stéphane Messika, Brigitte Rozoy. tsi, 30(1):35-57, 2011. [doi]

2007

Self-stabilizing counting in mobile sensor networksJoffroy Beauquier, Julien Clement, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy. podc 2007: 396-397 [doi]

Self-stabilizing Counting in Mobile Sensor Networks with a Base StationJoffroy Beauquier, Julien Clement, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy. wdag 2007: 63-76 [doi]

2005

Observing locally self-stabilizationJoffroy Beauquier, Laurence Pilard, Brigitte Rozoy. jhsn, 14(1):3-19, 2005. [doi]

Observing Locally Self-stabilization in a Probabilistic WayJoffroy Beauquier, Laurence Pilard, Brigitte Rozoy. wdag 2005: 399-413 [doi]

2003

Deadlock Detection in Distributed SystemsDominique Ambroise, Brigitte Rozoy, Jean Saquet. cata 2003: 210-213

2001

MARRELLA and the Verification of an Embedded SystemDominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy. fossacs 2001: 409-412 [doi]

Simulation and verification of an embedded systemPatrick Augé, Brigitte Rozoy, T. Maurin, Roger Reynaud, Kamel Bouchefra. cata 2001: 272-275

Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan, editors, Volume 2067 of Lecture Notes in Computer Science, Springer, 2001.

1999

A General Categorical Connection between Local Event Structures and Local TracesH. C. M. Kleijn, Rémi Morin, Brigitte Rozoy. fct 1999: 338-349 [doi]

On the Semantics of Place/Transition NetsRémi Morin, Brigitte Rozoy. concur 1999: 447-462 [doi]

1998

Event Structures for Local TracesH. C. M. Kleijn, Rémi Morin, Brigitte Rozoy. ENTCS, 16(2), 1998. [doi]

1997

Reliable Generalized and Context Dependent Commutation RelationsIabelle Biermann, Brigitte Rozoy. tapsoft 1997: 165-176

1996

Marella: A Tool for Simulation and VerificationDominique Ambroise, Brigitte Rozoy. cav 1996: 458-461

Marrella: a Tool to Analyse the Graph of StatesDominique Ambroise, Brigitte Rozoy. ppl, 6(4):583-594, 1996. [doi]

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

1994

Finite Labelling Problem in Event StructuresMarc Roland Assous, Vincent Bouchitté, Christine Charretton, Brigitte Rozoy. TCS, 123(1):9-19, 1994.

1993

The Poset of Infinitary TracesPaul Gastin, Brigitte Rozoy. TCS, 120(1):101-121, 1993.

1992

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

On distributed languages and models for concurrencyBrigitte Rozoy. apn 1992: 267-291

1991

On the Star Operation in Free Partially Commutative MonoidsYves Métivier, Brigitte Rozoy. ijfcs, 2(3):257-265, 1991.

Event Structures and Trace MonoidsBrigitte Rozoy, P. S. Thiagarajan. TCS, 91(2):285-313, 1991.

1990

On Distributed Languages and Models for Distributed ComputationBrigitte Rozoy. litp 1990: 434-456

1987

Solutions for the Distributed Termination ProblemDidier Ferment, Brigitte Rozoy. paa 1987: 114-121

The Dyck Language D _1^* Is Not Generated by Any Matric Grammar of Finite IndexBrigitte Rozoy. iandc, 74(1):64-89, July 1987.

1986

Outils et Résultats Pour Les Transducteurs BoustrophedonsBrigitte Rozoy. ita, 20(3):221-249, 1986.

Model and Complexity of Termination for Distributed ComputationsBrigitte Rozoy. mfcs 1986: 564-572

1985

About two-way transducersBrigitte Rozoy. fct 1985: 371-379