Brigitte ROZOY
Université de Paris XI
Laboratoire de Recherche en Informatique
Bâtiment 490
91 405 Orsay Cedex
tel. 33 (0)1 69 41 66 09
fax 33 (0)1 69 41 65 86
e-mail rozoy@lri.fr

Ouvrages

A. ARNOLD, J. BEAUQUIER, B. BERARD, B. ROZOY, Modèles et Vérification de Programmes parallèles (1991) Ed. Armand Colin.

Articles dans des Journaux

Brigitte ROZOY, Outils et Résultats pour les Transducteurs Boustrophédons, Rairo Informatique théorique et applications, vol 20 N.3 (1986) p.221-249.

Brigitte ROZOY, The Dyck Language  D'1^*  is not Generated by any Matrix Grammar of Finite Index, Inform and Computation, vol 74 N.1 (1987 july) p.64-89.

Brigitte ROZOY, Terminaison for Distributed Systems : Model and Cost, Computer and Artificial Intelligence 7-1 (1988) p.1-23.

Brigitte ROZOY, P.S. THIAGARAJAN, Events Structures and Trace Monoids, Theoritical Computer Science (1991) N.2, p.285-313.

Yves METIVIER, Brigitte ROZOY, On the Star Operation in Free Partially Commutative Monoid, International Journal of Foundations of Computer Sciences, vol. 2, N. 3, September 1991.

Brigitte ROZOY, Distributed Languages and Models for Concurency, Advances in Petri Nets, LNCS N.609 (1992) p.267-291.

Paul GASTIN, Edward OCHMANSKI, Antoine PETTT, Brigitte ROZOY, On the decidability of the star problem, Information Processing Letters N.44 (1992) July, p. 65-71.

Paul GASTIN, Brigitte ROZOY, The PoSet of Infinitary Traces, Theoritical Computer Sciences vol 120 (1993) pp. 101-121.

Roland ASSOUS, Vincent BOUCHITTE, Christine CHARRETTON, Brigitte ROZOY, Finite Labelling Problem in Event Structures, Theoritical Computer Science 123 (1994), p.9-19.

Isabelle BIERMANN, Laurent ROSAZ, Brigitte ROZOY, Occurence preserving congruences and associated graphs, Rairo Informatique théorique et applications, 1997 à paraître.

Dominique AMBROISE, Brigitte ROZOY, Marrella : a tool for the efficient analysis of states graphs, Parallel Processing Letters, 1996 à paraître.

Rémi MORIN, Brigitte ROZOY, Prime Event Structures and Trace Automata, 1997, submitted.

Conférences Internationales

Brigitte ROZOY, About Two-Way Transducers, Proceedings F.C.T. Cottbus, RFA (1985 sept), LNCS 199 (1985) p.371-380.

Brigitte ROZOY, Model and Complexity of Termination for Distributed Computations, Proceedings MFCS Bratislava, Tchechoslovaquia (1986), LNC N.233 (1986) p.564-572

Didier FERMENT, Brigitte ROZOY, Solutions for the Distributed Termination Problem, Proceeding of the International Workshop on Parallel Algorithms and Architectures, SUHL DDR (1987 May), L.N.C.S. N.269 (1987) N.38 p.114-121.

Brigitte ROZOY, René THORAVAL, The Structure of Distributed Mutual Exclusion Algorithms, Proceedings of the International Symposium on Optimal Algorithms, Varna, Bulgaria (1989) Bulgarian academy of Sciences.

Paul GASTIN, Brigitte ROZOY, On Infinitary Traces, Proceedings of the Esprit / Rex Workshop on Concurrency, Leiden, Holland (1990) March 16.

Brigitte ROZOY, On Distributed Languages and Models for Distributed Computation, Ecole de Printemps "On the semantic of parallelism", La Roche Posay, France (1990) April, LNCS N.469, p. 434-456.

Brigitte ROZOY, On Traces, Partial Order Sets and Recognizability, Proceeding ISCIS V, 1990, Cappadocia, Turkey.

Brigitte ROZOY, Distributed Languages, a Context Dependant Extension of Traces, Proceedings of the third Workshop on Concurrency and Compotionality, Goslar, Germany, 1991 March, à paraitre dans TCS.

Louise PERES, Brigitte ROZOY, On the Evaluation of Distributed Termination Algorithms, Proceeding IMACS-MCTS Symposium, On Modelling and Control of Technological Systems, Lille (1991) May, vol 2, p. 665-671.

Brigitte ROZOY, Jean SAQUET, A Distributed Routing Protocol, Proceeding ISCIS VI (1991) Antalya, Turkey, p. 1131 - 1141.

Brigitte ROZOY, On the Star Problem in trace monoids, Seminar on Automata and Models for Concurrency, Dagsthul, Germany (1993) January.

Isabelle BIERMANN, Brigitte ROZOY, Context Traces and Transition Systems, Proceeding ISCIS IX, 1994, Antalya, Turkey, Elsevier.

Rémi MORIN, Brigitte ROZOY, Trace Automata and Prime Event Structures, Workshop Semantic and Causality, Leiden, The Netherland, 1994, October 30 - 31.

Jetty KLEIJN, Brigitte ROZOY, Local Traces and local event structures, Proceedings of the Workshop on Algebraic and Syntactic Aspects of Concurrency (WASAC), Chantilly, France, 1995 April.

Isabelle BIERMANN, Brigitte ROZOY, Graphs for Generalized Traces, Proceedings of the Workshop Structures in Concurrency Theory (STRICT), Berlin, Germany, 1995 May, J. Desel editor, Springer-Verlag.

Dominique AMBROISE, Brigitte ROZOY, Des structures d'événements pour la construction de graphes d'états, Proceeding RenPar'7, Mons, Belgium, 1995 June, p.129-132.

Dominique AMBROISE, Brigitte ROZOY, Marrella : a tool for the efficient analysis of states graphs, Proceedings of the Workshop F.M.P.P.T.A.'96, Honolulu, 1996.

Dominique AMBROISE, Brigitte ROZOY, Using event structures for the efficient analysis of states graphs, Proceedings of the 15^th annual A.C.M. symposium on the principles of distributed computing, P.O.D.C.'96 (brief announcment).

Dominique AMBROISE, Brigitte ROZOY, Marrella : a tool for simulation and verification, Proceedings of C.A.V.'96, Rutgers University, New Brunswick, New Jersey, USA.

Joffroy BEAUQUIER, Olivier DEBAS, Sinnové KEKONNEN, Brigitte ROZOY, Self Stabilizing Torus Orientation, Proceedings of the 9^th Congress on Principles of Distributed Computer Sciences, Dijon, France, 1996, p. 462-467.

Isabelle BIERMANN, Brigitte ROZOY, Reliable Generalized and Context Dependent Commutation Relations, Proceedings of TapSoft'97, to appear in L.N.C.S.

Rémi MORIN, Brigitte ROZOY, Local Event Structures and Local Traces, a Maximal Coreflection, 1997, submitted.

Dominique AMBROISE, Brigitte ROZOY, Jean SAQUET, Prime Event Structures, Simulation and Verification, submitted.

Rapports divers :

Brigitte ROZOY, Volker DIEKERT, Paul GASTIN, Giancarlo MAURI, Antoine PETIT, Rapport de synthèse en cours de programme pour le Working group "Infinite traces", Esprit Basic Research Action DEMON, Paris (1990) June.

Paul GASTIN, Volker DIEKERT, Antoine PETIT, Brigitte ROZOY, Rapport de synthèse en cours de programme pour le Working group "Infinite traces", Esprit Basic Research Action DEMON, Aarhus (1991) June.

Brigitte ROZOY, Volker DIEKERT, Paul GASTIN, Giancarlo MAURI, Antoine PETIT, Rapport de synthèse en fin de programme pour le Working group "Infinite traces", Esprit Basic Research Action DEMON, Bruxelles (1992) January.

Brigitte ROZOY, Sege BAUGET, Isabelle BIERMANN, On Traces and Partial Orders, Esprit Working Group CALIBAN, Zaragoza, 1994, June.

Dominique AMBROISE, Brigitte ROZOY, Des structures d'événements pour la construction de graphes d'états, Journée du projet Modèles et Preuves du Parallélisme, Paris, Mars 1995.

Dominique AMBROISE, Sébastien DHUIME, Brigitte ROZOY, Jean SAQUET, Des structures d'événements pour la simulation et la vérification, Journée du pôle vérification de P.R.S., Paris, janvier 1996.