Nuno Filipe Moreira Macedo
AuthID: R-001-TJD
1
TITLE: Alloy Goes Fuzzy
AUTHORS: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno; Oliveira, Jose N.;
PUBLISHED: 2024, SOURCE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759
AUTHORS: Silva, Pedro; Cunha, Alcino ; Macedo, Nuno; Oliveira, Jose N.;
PUBLISHED: 2024, SOURCE: 10th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2024, VOLUME: 14759
2
TITLE: Alloy Repair Hint Generation Based on Historical Data
AUTHORS: Ana Barros; Henrique Neto; Alcino Cunha; Nuno Macedo; Ana C R Paiva;
PUBLISHED: 2024, SOURCE: 26th International Symposium on Formal Methods, FM 2024 in Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II, VOLUME: 14934
AUTHORS: Ana Barros; Henrique Neto; Alcino Cunha; Nuno Macedo; Ana C R Paiva;
PUBLISHED: 2024, SOURCE: 26th International Symposium on Formal Methods, FM 2024 in Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II, VOLUME: 14934
