Diego Ferreira

According to our database, Diego Ferreira authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

CodeEvolve: An open source evolutionary coding agent for algorithm discovery and optimization.

Henrique S. Assumpção, Diego Ferreira, Leandro Lacerda Campos, Fabricio Murai

CoRR, October, 2025

2024

Verifying Integrated Designs of UML State Machines and Activities Using CSP.

Diego Ferreira, Lucas Lima

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification.

Diego Ferreira, Lucas Lima

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024