Felipe A. S. Ferri

According to our database, Felipe A. S. Ferri authored at least 5 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2015

Use of PHM Information and System Architecture for Optimized Aircraft Maintenance Planning.

Leonardo Ramos Rodrigues, João P. P. Gomes, Felipe A. S. Ferri, Ivo Paixao de Medeiros, Roberto Kawakami Harrop Galvão, Cairo Lúcio Nascimento Júnior

IEEE Syst. J., 2015

2013

Combining PHM information and system architecture to support aircraft maintenance planning.

Felipe Augusto Sviaghin Ferri, Leonardo Ramos Rodrigues, João Paulo Pordeus Gomes, Ivo Paixao de Medeiros, Roberto Kawakami Harrop Galvão, Cairo Lúcio Nascimento Júnior

Proceedings of the IEEE International Systems Conference, 2013

2012

Constructive model-based analysis for safety assessment.

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Edson H. Watanabe

Int. J. Softw. Tools Technol. Transf., 2012

2010

Evolving a Safe System Design Iteratively.

Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe A. S. Ferri, Edson H. Watanabe

Proceedings of the Computer Safety, 2010

Systematic Model-Based Safety Assessment Via Probabilistic Model Checking.

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Julio Buzzi

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010