Ezequiel José Veloso Ferreira Moreira
AuthID: R-00M-0HY
1
TITLE: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517
2
TITLE: A Language for Explaining Counterexamples
AUTHORS: Ezequiel José Veloso Ferreira Moreira; José Creissac Campos ;
PUBLISHED: 2024, SOURCE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024 in 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal, VOLUME: 120
AUTHORS: Ezequiel José Veloso Ferreira Moreira; José Creissac Campos ;
PUBLISHED: 2024, SOURCE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024 in 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal, VOLUME: 120
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP