IDM : Vers une aide ? la conception. - Rémi Delmas; Thomas Polacsek; David Doose; Anthony Fernandes Pires (INFORSID, 2011)

Supporting Model Based Design. - Rémi Delmas; David Doose; Anthony Fernandes Pires; Thomas Polacsek (MEDI, 2011)

Formal Software Verification at Model and at Source Code Levels. - Anthony Fernandes Pires; Thomas Polacsek; Stéphane Duprat (MEDI, 2012)

Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience. - Anthony Fernandes Pires; Stéphane Duprat; C. Besseyre (Tech. Sci. Informatiques, 2012)

Behavioural Verification in Embedded Software, from Model to Source Code. - Anthony Fernandes Pires; Thomas Polacsek; Virginie Wiels; Stéphane Duprat (MoDELS, 2013)

Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'ingénierie dirigée par les modèles. (Software verification by combination of formal methods and Model Driven Engineering). - Anthony Fernandes Pires (2014)

Formal Design and Safety Analysis of AIR6110 Wheel Brake System. - Marco Bozzano; Alessandro Cimatti; Anthony Fernandes Pires; David Jones; Greg Kimberly; T. Petri; R. Robinson; Stefano Tonetta (CAV (1), 2015)

Efficient SMT-Based Analysis of Failure Propagation. - Marco Bozzano; Alessandro Cimatti; Anthony Fernandes Pires; Alberto Griggio; Martin Jonás; Greg Kimberly (CAV (2), 2021)

The Aircraft and Its Manufacturing System: From Early Requirements to Global Design. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek; Stéphanie Roussel 001 (CAiSE, 2022)

Trying to Elicit and Assign Goals to the Right Actors. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek (ER, 2022)

L'avion et sa chaîne d'assemblage : des premières exigences à une conception globale. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek; Stéphanie Roussel 001 (INFORSID, 2023)

Eliciter, raffiner et attribuer des buts aux bons acteurs à partir d'objectifs de haut niveau. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek (INFORSID, 2023)

Goal Modelling: Design and Manufacturing in Aeronautics. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek; Stéphanie Roussel 001; François Bouissière; Claude Cuiller; Pierre-Eric Dereux (RCIS, 2023)

Goal modelling in aeronautics: Practical applications for aircraft and manufacturing designs. - Anouck Chan; Anthony Fernandes Pires; Thomas Polacsek; Stéphanie Roussel 001; François Bouissière; Claude Cuiller; Pierre-Eric Dereux (Data Knowl. Eng., 2025)