Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Confirmed Publications: 56



41
TITLE: Alloy meets TLA+: An exploratory study
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1603.03599
INDEXED IN: DBLP
IN MY: ORCID | CIÊNCIAVITAE
42
TITLE: Least-change bidirectional model transformation with QVT-R and ATL  Full Text
AUTHORS: Macedo, N ; Cunha, A ;
PUBLISHED: 2016, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 29
IN MY: ORCID | CIÊNCIAVITAE
43
TITLE: Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
AUTHORS: Macedo, N ; Brunel, J; Chemouil, D; Cunha, A ; Kuperberg, D;
PUBLISHED: 2016, SOURCE: 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) in FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, VOLUME: 13-18-November-2016
INDEXED IN: Scopus WOS DBLP CrossRef: 44
IN MY: ORCID | CIÊNCIAVITAE
44
TITLE: Towards a Formal Validation of ETL Patterns Behaviour
AUTHORS: Oliveira, B ; Belo, O ; Macedo, N ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Model and Data Engineering (MEDI) in MODEL AND DATA ENGINEERING, VOLUME: 9893
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
45
TITLE: An ORCID based synchronization framework for a national CRIS ecosystem
AUTHORS: João Mendes Moreira ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2015, SOURCE: F1000Research, VOLUME: 4, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 9 Handle
IN MY: ORCID | CIÊNCIAVITAE
46
TITLE: Exploring Scenario Exploration
AUTHORS: Macedo, N ; Cunha, A ; Guimaraes, T;
PUBLISHED: 2015, SOURCE: 18th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, VOLUME: 9033
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | CIÊNCIAVITAE
47
48
TITLE: Bidirectional Spreadsheet Formulas
AUTHORS: Macedo, N ; Pacheco, H ; Sousa, NR; Cunha, A ;
PUBLISHED: 2014, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
49
TITLE: Target Oriented Relational Model Finding
AUTHORS: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLISHED: 2014, SOURCE: FASE, VOLUME: 8411 LNCS
INDEXED IN: Scopus DBLP CrossRef: 20
IN MY: ORCID | CIÊNCIAVITAE
50
TITLE: Towards a Framework for Multidirectional Model Transformations
AUTHORS: Nuno Macedo ; Alcino Cunha ; Hugo Pacheco ;
PUBLISHED: 2014, SOURCE: EDBT/ICDT Workshops, VOLUME: 1133
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
Page 5 of 6. Total results: 56.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service