Véronique Viguié Donzeau-Gouge

Centre d'Etudes et De Recherche en Informatique et Communications — France

Computer Science · Physical Sciences

9h-index388citations43works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(12), Formal Methods in Verification(12), Advanced Software Engineering Methodologies(9), Model-Driven Software Engineering Techniques(7), Safety Systems Engineering in Autonomy(7)

Publications43 total

Concepts and Semantics of Programming Languages 2
2021
References
2021Open Access
Index
2021Open Access
Concepts and Semantics of Programming Languages 2: Modular and Object‐oriented Constructs with OCaml, Python, C++, Ada and Java
HAL (Le Centre pour la Communication Scientifique Directe)·2021
Index
2021Open Access
References
2021Open Access
Concepts and Semantics of Programming Languages 1
2021· 1 cited
Other titles from iSTE in Computer Engineering
2021Open Access
Index of Programs
2021Open Access
Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++
HAL (Le Centre pour la Communication Scientifique Directe)·2021
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
HAL (Le Centre pour la Communication Scientifique Directe)·2021
Comment sont évaluées les unités de recherche
Hermès·2013
Modeling Airport Security Regulations in Focal
2009
A formal and sound transformation from Focal to UML: an application to airport security regulations
Innovations in Systems and Software Engineering·2008· 3 cited
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations
2008· 8 cited
An attempt to combine UML and formal methods to model airport security
2008· 8 cited
Formal Modeling of Airport Security Regulations using the Focal Environment
HAL (Le Centre pour la Communication Scientifique Directe)·2008
Using Computer Science Modeling Techniques for Airport Security Certification
HAL (Le Centre pour la Communication Scientifique Directe)·2007· 1 cited
Reasoning about Airport Security Regulations Using the Focal Environment
2006· 8 cited
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science)
Springer eBooks·2006
page 1 of 3Next →

Frequent Co-authors

Thérèse Hardin(11), Mathieu Jaume(11), François Pessaux(11), Bernard Lang(10), Gilles Kahn(7), David Delahaye(7), B. Mélèse(6), Jean-Frédéric Étienne(6), Catherine Dubois(6), Sylvie Vignes(5), Yves Ledru(5), Michel Lemoine(5), Didier Bert(5), Fabien Peureux(4), Elie Najm(3), Jean‐François Pradat‐Peyre(3), Marianne Simonot(3), Régine Laleau(3), Gérard Huet(2), Régine Laleau(2)