Alain Le Guennec

Statistics

Publications

Citations

223

H-Index

Active since

2000

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Centre National de la Recherche Scientifique

Alain Le Guennec is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, software design, and systems engineering.

Top concepts

EngineeringSoftware DesignSystems EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware EngineeringDesignAvionicsLanguage

Publications per year

2000–2016

Publications

Precise modeling of design patterns

Alain Le Guennec, Gerson Sunyé, Jean‐Marc Jezéquél · Lecture notes in computer science · 2000 · 101 citations

Architectural Design, Industrial Design, Engineering +8

UMLAUT: an extendible UML transformation framework

Wai Ming Ho, Jean‐Marc Jezéquél, Alain Le Guennec et al. · 2003 · 84 citations

Engineering, Advanced Users, Verification +23

Using UML Action Semantics for model execution and transformation

Gerson Sunyé, Alain Le Guennec, Jean‐Marc Jezéquél · Information Systems · 2002 · 24 citations

Uml Action Semantics, Engineering, Automated Reasoning +10

Benefits of Model Based System Engineering for Avionics Systems

Thierrry Le Sergent, François-Xavier Dormoy, Alain Le Guennec · HAL (Le Centre pour la Communication Scientifique Directe) · 2016 · 14 citations · Full text

Engineering, Computer Architecture, Software Engineering +26

1–4 of 4