Felipe Ferri

According to our database, Felipe Ferri authored at least 3 papers between 2010 and 2012.

Collaborative distances:

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

2012

Constructive model-based analysis for safety assessment.

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe 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 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 Ferri, Julio Buzzi

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