Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
MDE
Macedo N,
Cunha A
, Pessoa E
. 2017.
Exploiting Partial Knowledge for Efficient Model Analysis
.
symbolic17atva.pdf
Oliveira B,
Belo O
, Macedo N
. 2016.
Towards a Formal Validation of ETL Patterns Behavior
.
6th International Conference on Model and Data Engineering (MEDI 2016).
Macedo N, Brunel J, Chemouil D,
Cunha A
, Kuperberg D
. 2016.
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
.
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016).
14.pdf
Macedo N, Jorge T,
Cunha A
. 2016.
A feature-based classification of model repair approaches
.
IEEE Transactions on Software Engineering.
repair16.pdf
Filter by Section
(-) Publications (4)
Announcements (20)