Anthony Fernandes Pires
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2011–2023
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | RCIS | Goal Modelling: Design and Manufacturing in Aeronautics. | Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stphanie Roussel, Franois Bouissire, Claude Cuiller, Pierre-Eric Dereux |
| 2022 | CaiSE | The Aircraft and Its Manufacturing System: From Early Requirements to Global Design. | Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stphanie Roussel |
| 2022 | ER | Trying to Elicit and Assign Goals to the Right Actors. | Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek |
| 2021 | CAV | Efficient SMT-Based Analysis of Failure Propagation. | Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jons, Greg Kimberly |
| 2015 | CAV | 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 |
| 2013 | MODELS | Behavioural Verification in Embedded Software, from Model to Source Code. | Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stphane Duprat |
| 2012 | MEDI | Formal Software Verification at Model and at Source Code Levels. | Anthony Fernandes Pires, Thomas Polacsek, Stphane Duprat |
| 2011 | MEDI | Supporting Model Based Design. | Rmi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek |