1
TITLE: Adding Records to Alloy
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods, ABZ 2023 in Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, VOLUME: 14010
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: Exploring Automatic Specification Repair in Dafny Programs
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
3
TITLE: Task Model Design and Analysis with Alloy
AUTHORS: Alcino Cunha ; Nuno Macedo ; Eunsuk Kang;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods, ABZ 2023 in Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, VOLUME: 14010
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
4
TITLE: Verifying Temporal Relational Models with Pardinus
AUTHORS: Nuno Macedo ; Julien Brunel; David Chemouil; Alcino Cunha ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods, ABZ 2023 in Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, VOLUME: 14010
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: Merging cloned Alloy models with colorful refactorings  Full Text
AUTHORS: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLISHED: 2022, SOURCE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
6
TITLE: Pardinus: A Temporal Relational Model Finder  Full Text
AUTHORS: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLISHED: 2022, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 66, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
7
TITLE: Quantitative relational modelling with QAlloy
AUTHORS: Pedro Silva; José N Oliveira ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2022, SOURCE: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
8
TITLE: Schema-guided Testing of Message-oriented Systems
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: Timely Specification Repair for Alloy 6
AUTHORS: Cerqueira, Jorge; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 20th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, VOLUME: 13550
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: Variability Analysis for Robot Operating System Applications
AUTHORS: Santos, Andre; Cunha, Alcino ; Macedo, Nuno ; Melo, Sara; Pereira, Ricardo;
PUBLISHED: 2022, SOURCE: 6th IEEE International Conference on Robotic Computing, (IRC) in 2022 SIXTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING, IRC
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
Page 1 of 6. Total results: 51.