Travelled to:1 × France
1 × Greece
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:A.Cunha T.Guimarães H.Pacheco J.Brunel D.Chemouil J.N.Oliveira D.Kuperberg
Talks about:model (5) transform (3) specif (2) explor (2) relat (2) multidirect (1) lightweight (1) implement (1) framework (1) scenario (1)
Person: Nuno Macedo
DBLP: Macedo:Nuno
Contributed to:
2015
20142014
201320132013
20162018Wrote 8 papers:
- FASE-2015-MacedoCG
- Exploring Scenario Exploration (NM, AC, TG), pp. 301–315.
- BX-2014-MacedoCP #framework #model transformation #multi #towards
- Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.
- FASE-2014-CunhaMG #relational
- Target Oriented Relational Model Finding (AC, NM, TG), pp. 17–31.
- ASE-2013-MacedoGC
- Model repair and transformation with Echo (NM, TG, AC), pp. 694–697.
- BX-2013-MacedoPCO #lens
- Composing Least-change Lenses (NM, HP, AC, JNO), pp. 57–75.
- FASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #qvt #using
- Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
- FSE-2016-MacedoBCCK #analysis #lightweight #specification
- Lightweight specification and analysis of dynamic systems with rich configurations (NM, JB, DC, AC, DK), pp. 373–383.
- ASE-2018-BrunelCCM #first-order #model checking #relational #specification
- The electrum analyzer: model checking relational first-order temporal specifications (JB, DC, AC, NM), pp. 884–887.