Saulo Rodrigues e Silva

According to our database, Saulo Rodrigues e Silva authored at least 2 papers between 2016 and 2024.

Collaborative distances:

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

2024

Hazard analysis in user interfaces

Saulo Rodrigues e Silva

PhD thesis, 2024

2016

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.

Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016