Pierre Gaufillet

Statistics

Publications

Citations

222

H-Index

Active since

2006

Affiliations

Université Toulouse III - Paul Sabatier(Current)

Centre National de la Recherche Scientifique

Airbus (France)

Pierre Gaufillet is an author at Université Toulouse III - Paul Sabatier specializing in model-driven development, model transformation, and computing.

Publications per year

2006–2010

Publications

Fiacre: an Intermediate Language for Model Verification in the TOPCASED Environment

Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 108 citations · Full text

Computing, Computer Engineering, Computer Science +17

The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design

Patrick Farail, Pierre Gaufillet, Agustí Canals et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2006 · 84 citations · Full text

Computing, Computer Science, Systems Engineering +17

Formal Veriﬁcation Of Aadl Models With Fiacre And Tina

Jean-Paul Bodeveix, Bernard Berthomieu, Silvano Dal Zilio et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 30 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–3 of 3