Fagner Dias

According to our database, Fagner Dias authored at least 2 papers between 2020 and 2025.

Collaborative distances:

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

2025

Bridging the B-Method and ACSL: Towards Verified C Code.

Fagner Dias, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte

Proceedings of the Formal Methods: Foundations and Applications - 28th Brazilian Symposium, 2025

2020

Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.

Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo

Proceedings of the Software Architecture - 14th European Conference, 2020