SPARQLing Neo4J (Short Paper). - Ezequiel José Veloso Ferreira Moreira; José Carlos Ramalho (SLATE, 2020)

Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language. - Ezequiel José Veloso Ferreira Moreira; José Creissac Campos (EICS (Workshops), 2023)

On the Role of Generative AI in Explaining Model Checking Counterexamples. - Ezequiel José Veloso Ferreira Moreira; José Creissac Campos (EICS (Workshops), 2024)

A Language for Explaining Counterexamples. - Ezequiel José Veloso Ferreira Moreira; José Creissac Campos (SLATE, 2024)