Anthony Fernandes Pires

According to our database, Anthony Fernandes Pires authored at least 13 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Goal Modelling: Design and Manufacturing in Aeronautics.

Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel, François Bouissière, Claude Cuiller, Pierre-Eric Dereux

Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

Eliciter, raffiner et attribuer des buts aux bons acteurs à partir d'objectifs de haut niveau.

Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek

Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023

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

Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023

2022

Trying to Elicit and Assign Goals to the Right Actors.

Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek

Proceedings of the Conceptual Modeling - 41st International Conference, 2022

The Aircraft and Its Manufacturing System: From Early Requirements to Global Design.

Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel

Proceedings of the Advanced Information Systems Engineering, 2022

2021

Efficient SMT-Based Analysis of Failure Propagation.

Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2015

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

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

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

PhD thesis, 2014

2013

Behavioural Verification in Embedded Software, from Model to Source Code.

Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

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

Formal Software Verification at Model and at Source Code Levels.

Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat

Proceedings of the Model and Data Engineering - 2nd International Conference, 2012

2011

Supporting Model Based Design.

Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek

Proceedings of the Model and Data Engineering - First International Conference, 2011

IDM : Vers une aide ? la conception.

Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires

Proceedings of the Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, 2011