Ezequiel Jos Veloso Ferreira Moreira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2023–2025
Best venue rank
Journal Published
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EICS | On the Use of LLMs to Explain Model Checking Counterexamples. | Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos |
| 2025 | Interact | AI in Formal IDEs: Improving Usability or Undermining Trust? | Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos |
| 2024 | EICS | On the Role of Generative AI in Explaining Model Checking Counterexamples. | Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos |
| 2023 | EICS | Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language. | Ezequiel Jos Veloso Ferreira Moreira, Jos Creissac Campos |