Véronique Donzeau-Gouge

	2008
17		David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. TASE 2008: 121-124
16		David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: A formal and sound transformation from Focal to UML : an application to airport security regulations. ISSE 4(3): 267-274 (2008)
	2007
15		Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes: Using Computer Science Modeling Techniques for Airport Security Certification. RCIS 2007: 61-72
	2006
14		Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge: Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Springer 2006
13		Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: An attempt to combine UML and formal methods to model airport security. CAiSE Forum 2006
12		David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Certifying Airport Security Regulations Using the Focal Environment. FM 2006: 48-63
11		David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Reasoning about Airport Security Regulations Using the Focal Environment. ISoLA 2006: 45-52
10		David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Modeling Airport Security Regulations in Focal. ReMo2V 2006
9		Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice 11(5): 487-503 (2006)
	2004
8		Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge: Building certified components within FOCAL. Trends in Functional Programming 2004: 33-48
	2002
7		Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge: A methodological process for the design of a large system: two industrial case-studies. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
	2000
6		Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge: Deriving Software Specifications from Event Based Models. ZB 2000: 209-229
	1987
5		Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean: Development of a Programming Environment for Setl. ESEC 1987: 21-32
	1984
4		Véronique Donzeau-Gouge, Bernard Lang, Bertrand Melese: Practical Applications of a Syntax Directed Program Manipulation Environment. ICSE 1984: 346-357
3		Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese: Documents Structure and Modularity in Mentor. Software Development Environments (SDE) 1984: 141-148
	1983
2		Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang, Bertrand Melese, Elham Morcos: Outline of a Tool for Document Manipulation. IFIP Congress 1983: 615-620
	1980
1		Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang: On the formal definition of ADA. Semantics-Directed Compiler Generation 1980: 475-489

Coauthor Index

1	Didier Bert	[9] [13] [15]
2	Fabrice Bouquet	[15]
3	David Delahaye	[10] [11] [12] [16] [17]
4	Catherine Dubois	[5] [8] [9] [13] [15]
5	Jean-Frédéric Étienne	[10] [11] [12] [16] [17]
6	Philippe Facon	[5]
7	Thérèse Hardin	[8]
8	F. Jean	[5]
9	Gilles Kahn	[1] [2] [3]
10	Régine Laleau (Regine Laleau)	[9] [13] [15]
11	Bernard Lang	[1] [2] [3] [4]
12	Yves Ledru	[9] [13] [15]
13	Michel Lemoine	[9] [13] [15]
14	Nestor Lopez	[6] [7]
15	Bertrand Melese	[2] [3] [4]
16	Elham Morcos	[2]
17	Elie Najm	[14]
18	Fabien Peureux	[9] [13]
19	Jean-François Pradat-Peyre	[14]
20	Marianne Simonot	[6] [7]
21	Sylvie Vignes	[9] [13] [15]

Colors in the list of coauthors