Anthony Fernandes Pires

14 papers A 3B 1C 2Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Goal modelling in aeronautics: Practical applications for aircraft and manufacturing designs.
Data Knowl. Eng.
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel, François Bouissière, Claude Cuiller, Pierre-Eric Dereux
2023 — conf
Eliciter, raffiner et attribuer des buts aux bons acteurs à partir d'objectifs de haut niveau.
INFORSID
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek
2023 B conf
Goal Modelling: Design and Manufacturing in Aeronautics.
RCIS
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel, François Bouissière, Claude Cuiller, Pierre-Eric Dereux
2023 — conf
L'avion et sa chaîne d'assemblage : des premières exigences à une conception globale.
INFORSID
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel
2022 A conf
The Aircraft and Its Manufacturing System: From Early Requirements to Global Design.
CAiSE
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel
2022 A conf
Trying to Elicit and Assign Goals to the Right Actors.
ER
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek
2021 — conf
Efficient SMT-Based Analysis of Failure Propagation.
CAV (2)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly
2015 — conf
Formal Design and Safety Analysis of AIR6110 Wheel Brake System.
CAV (1)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, David Jones, Greg Kimberly, T. Petri, R. Robinson, Stefano Tonetta
2014 — —
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
2013 A conf
Behavioural Verification in Embedded Software, from Model to Source Code.
MoDELS
Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat
2012 J jnl
Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience.
Tech. Sci. Informatiques
Anthony Fernandes Pires, Stéphane Duprat, C. Besseyre
2012 C conf
Formal Software Verification at Model and at Source Code Levels.
MEDI
Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat
2011 — conf
IDM : Vers une aide ? la conception.
INFORSID
Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires
2011 C conf
Supporting Model Based Design.
MEDI
Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek