Anthony Fernandes Pires

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 7

Top Venues

Institut supérieur de l'aéronautique et de l'espace, Toulouse, France (PHD)

Education History

Institut supérieur de l'aéronautique et de l'espace, Toulouse, France

PHD

Publications

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

Anthony Fernandes Pires.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anthony Fernandes Pires