On the formal definition of ADA. - Véronique Donzeau-Gouge; Gilles Kahn; Bernard Lang (Semantics-Directed Compiler Generation, 1980)

Outline of a Tool for Document Manipulation. - Véronique Donzeau-Gouge; Gilles Kahn; Bernard Lang; Bertrand Melese; Elham Morcos (IFIP Congress, 1983)

Practical Applications of a Syntax Directed Program Manipulation Environment. - Véronique Donzeau-Gouge; Bernard Lang; Bertrand Melese (ICSE, 1984)

Documents Structure and Modularity in Mentor. - Véronique Donzeau-Gouge; Gilles Kahn; Bernard Lang; Bertrand Melese (Software Development Environments (SDE), 1984)

A tool for Ada program manipulations: mentor-Ada. - Véronique Donzeau-Gouge; Bernard Lang; Bertrand Melese (SIGAda, 1985)

Development of a Programming Environment for Setl. - Véronique Donzeau-Gouge; Catherine Dubois; Philippe Facon; F. Jean (ESEC, 1987)

Deriving Software Specifications from Event Based Models. - Nestor Lopez; Marianne Simonot; Véronique Donzeau-Gouge (ZB, 2000)

A methodological process for the design of a large system: two industrial case-studies. - Nestor Lopez; Marianne Simonot; Véronique Donzeau-Gouge (FMICS, 2002)

Building certified components within FOCAL. - Catherine Dubois; Thérèse Hardin; Véronique Donzeau-Gouge (Trends in Functional Programming, 2004)

Modeling Airport Security Regulations in Focal. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (ReMo2V, 2006)

An attempt to combine UML and formal methods to model airport security. - Yves Ledru; Régine Laleau; Michel Lemoine; Sylvie Vignes; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (CAiSE Forum, 2006)

Certifying Airport Security Regulations Using the Focal Environment. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (FM, 2006)

Reasoning about Airport Security Regulations Using the Focal Environment. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (ISoLA, 2006)

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. - Régine Laleau; Sylvie Vignes; Yves Ledru; Michel Lemoine; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (Softw. Process. Improv. Pract., 2006)

Using Computer Science Modeling Techniques for Airport Security Certification. - Régine Laleau; Yves Ledru; Didier Bert; Fabrice Bouquet; Michel Lemoine; Catherine Dubois; Véronique Donzeau-Gouge; Sylvie Vignes (RCIS, 2007)

Formal Modeling of Airport Security Regulations using the Focal Environment. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (RELAW, 2008)

Producing UML Models from Focal Specifications: An Application to Airport Security Regulations. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (TASE, 2008)

A formal and sound transformation from Focal to UML : an application to airport security regulations. - David Delahaye; Jean-Frédéric Étienne; Véronique Donzeau-Gouge (Innov. Syst. Softw. Eng., 2008)