Laurence Rozé

	2008
4		Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, Laurence Rozé: Chronicles for On-line Diagnosis of Distributed Systems. ECAI 2008: 194-198
	2002
3		Laurence Rozé, Marie-Odile Cordier: Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks. Discrete Event Dynamic Systems 12(1): 43-81 (2002)
	2001
2		Yannick Pencolé, Marie-Odile Cordier, Laurence Rozé: A Decentralized Model-Based Diagnostic Tool for Complex Systems. ICTAI 2001: 95-102
	1999
1		Mireille Ducassé, Laurence Rozé: Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. LOPSTR 1999: 10-29

Coauthor Index

1	Marie-Odile Cordier	[2] [3] [4]
2	Mireille Ducassé	[1]
3	Xavier Le Guillou	[4]
4	Yannick Pencolé	[2]
5	Sophie Robin	[4]

Colors in the list of coauthors