Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
TRUST
Macedo N,
Cunha A
, Pessoa E
. 2017.
Exploiting Partial Knowledge for Efficient Model Analysis
.
symbolic17atva.pdf
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
Filter by Section
(-) Publications (2)
Announcements (7)