Véronique Donzeau-Gouge

2008
15	EE	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
2007
14		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
13		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
12	EE	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
11	EE	David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Certifying Airport Security Regulations Using the Focal Environment. FM 2006: 48-63
10	EE	David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge: Modeling Airport Security Regulations in Focal. ReMo2V 2006
9	EE	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	EE	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	EE	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] [12] [14]
2	Fabrice Bouquet	[14]
3	David Delahaye	[10] [11] [15]
4	Catherine Dubois	[5] [8] [9] [12] [14]
5	Jean-Frédéric Étienne	[10] [11] [15]
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] [12] [14]
11	Bernard Lang	[1] [2] [3] [4]
12	Yves Ledru	[9] [12] [14]
13	Michel Lemoine	[9] [12] [14]
14	Nestor Lopez	[6] [7]
15	Bertrand Melese	[2] [3] [4]
16	Elham Morcos	[2]
17	Elie Najm	[13]
18	Fabien Peureux	[9] [12]
19	Jean-François Pradat-Peyre	[13]
20	Marianne Simonot	[6] [7]
21	Sylvie Vignes	[9] [12] [14]

Colors in the list of coauthors