Ezequiel José Veloso Ferreira Moreira

According to our database, Ezequiel José Veloso Ferreira Moreira authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

On the Use of LLMs to Explain Model Checking Counterexamples.

Ezequiel José Veloso Ferreira Moreira, José Creissac Campos

Proceedings of the Engineering Interactive Computer Systems. EICS 2025 International Workshops, 2025

2024

A Language for Explaining Counterexamples.

Ezequiel José Veloso Ferreira Moreira, José Creissac Campos

Proceedings of the 13th Symposium on Languages, Applications and Technologies, 2024

On the Role of Generative AI in Explaining Model Checking Counterexamples.

Ezequiel José Veloso Ferreira Moreira, José Creissac Campos

Proceedings of the Engineering Interactive Computer Systems. EICS 2024 International Workshops, 2024

2023

Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language.

Ezequiel José Veloso Ferreira Moreira, José Creissac Campos

Proceedings of the Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium, 2023

2020

SPARQLing Neo4J (Short Paper).

Ezequiel José Veloso Ferreira Moreira, José Carlos Ramalho

Proceedings of the 9th Symposium on Languages, Applications and Technologies, 2020