Reserved Area
Announcements
Publications
Nuno Macedo
Software Engineering
Assistant Professor
(email)
Model checking
Showing results in 'Publications'.
Show all posts
Carvalho M,
Belo O
, Macedo N
. 2017.
Checking the Correctness of What-If Scenarios
.
11th IFIP WG 8.9 Working Conference (CONFENIS 2017).
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
Tags
Bidirectional transformation
(5)
Lenses
(1)
ETL
(1)
Invariants
(1)
MDE
(12)
Model checking
(3)
Model finding
(1)
Model repair
(3)
Model transformation
(1)
Non-determinism
(1)
Projects
(3)
NanoSTIMA
(1)
TRUST
(2)
Publications
(4)
Relational calculus
(3)
Specification language
(5)
Alloy
(4)
Electrum
(1)
TLA
(1)
Tool
(4)
Alloy Analyzer
(1)
Electrum Analyzer
(1)
Kodkod
(1)