Felipe Ferri

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Risk Assessment

Artificial Neural Networks

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson H. Watanabe
Constructive model-based analysis for safety assessment. Int. J. Softw. Tools Technol. Transf. 14 (6) (2012)
Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson H. Watanabe
Evolving a Safe System Design Iteratively. SAFECOMP (2010)
Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. ISoLA (1) (2010)