Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Nuno Filipe Moreira Macedo
AuthID:
R-001-TJD
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (39)
Article (8)
Unpublished (4)
Phd Thesis (1)
Article in Press (1)
Year Start - End:
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 53
1
TITLE:
Assessing the impact of hints in learning formal specification
AUTHORS:
Cunha, Alcino
;
Macedo, Nuno
;
Campos, Jose Creissac
; Margolis, Iara; Sousa, Emanuel;
PUBLISHED:
2024
,
SOURCE:
ACM/IEEE 44th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET)
in
2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
2
TITLE:
Validating multiple variants of an automotive light system with Alloy 6
Full Text
AUTHORS:
Cunha, Alcino
;
Macedo, Nuno
;
Liu, Chong
;
PUBLISHED:
2024
,
SOURCE:
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER,
VOLUME:
26,
ISSUE:
3
INDEXED IN:
Scopus
WOS
DBLP
3
TITLE:
Adding Records to Alloy
AUTHORS:
Brunel, Julien; Chemouil, David;
Cunha, Alcino
;
Macedo, Nuno
;
PUBLISHED:
2023
,
SOURCE:
9th International Conference on Rigorous State-Based Methods (ABZ)
in
RIGOROUS STATE-BASED METHODS, ABZ 2023,
VOLUME:
14010
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
4
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:
ORCID
|
DBLP
5
TITLE:
Task Model Design and Analysis with Alloy
AUTHORS:
Cunha, Alcino
;
Macedo, Nuno
; Kang, Eunsuk;
PUBLISHED:
2023
,
SOURCE:
9th International Conference on Rigorous State-Based Methods (ABZ)
in
RIGOROUS STATE-BASED METHODS, ABZ 2023,
VOLUME:
14010
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
6
TITLE:
Verifying Temporal Relational Models with Pardinus
AUTHORS:
Macedo, Nuno
; Brunel, Julien; Chemouil, David;
Cunha, Alcino
;
PUBLISHED:
2023
,
SOURCE:
9th International Conference on Rigorous State-Based Methods (ABZ)
in
RIGOROUS STATE-BASED METHODS, ABZ 2023,
VOLUME:
14010
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
7
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
8
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
9
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
10
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
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 1 of 6. Total results: 53.
<<
<
1
2
3
4
5
6
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service