Nuno Macedo
Nuno Macedo
Researcher at HASLab, INESC TEC & U. Minho
Verified email at inesctec.pt - Homepage
TitleCited byYear
Implementing QVT-R Bidirectional Model Transformations using Alloy
N Macedo, A Cunha
FASE'13, 297-311, 2013
632013
Model Repair and Transformation with Echo
N Macedo, T Guimarães, A Cunha
ASE'13, 694-697, 2013
342013
Least-change bidirectional model transformation with QVT-R and ATL
N Macedo, A Cunha
Software & Systems Modeling 15 (3), 783-810, 2016
322016
A feature-based classification of model repair approaches
N Macedo, TMS Jorge, A Cunha
IEEE Transactions on Software Engineering 43 (7), 615-640, 2017
222017
Target oriented relational model finding
A Cunha, N Macedo, T Guimaraes
FASE'14, 17-31, 2014
212014
Lightweight specification and analysis of dynamic systems with rich configurations
N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg
FSE'16, 373-383, 2016
182016
Exploring Scenario Exploration
N Macedo, A Cunha, T Guimarães
FASE'15, 2014
142014
Composing Least-change Lenses
N Macedo, H Pacheco, A Cunha, JN Oliveira
BX'13, 2013
142013
An ORCID based synchronization framework for a national CRIS ecosystem
JM Moreira, A Cunha, N Macedo
2015 ORCID-Casrai Joint Conference, 2015
132015
Towards a Framework for Multidirectional Model Transformations
N Macedo, A Cunha, H Pacheco
BX'14, 2014
132014
A framework for quality assessment of ROS repositories
A Santos, A Cunha, N Macedo, C Lourenço
IROS'16, 4491-4496, 2016
112016
Formal Verification of ROS-based Robotic Applications using Timed-Automata
R Halder, J Proença, A Santos, N Macedo
FormliSE'17, 2017
92017
Relations as executable specifications: taming partiality and non-determinism using invariants
N Macedo, H Pacheco, A Cunha
RAMiCS'12, 146-161, 2012
92012
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
A Cunha, N Macedo
ABZ'18, 307-321, 2018
72018
Translating Alloy specifications to the point-free style
N Macedo
Master’s thesis, Univ. of Minho, 2010
62010
Mining the usage patterns of ROS primitives
FN dos Santos, R Arrais, N Macedo, A Cunha, AF Santos
IROS'17, 2017
5*2017
Bidirectional Spreadsheet Formulas
N Macedo, H Pacheco, NR Sousa, A Cunha
VL/HCC'14, 2014
52014
Automatic Unbounded Verification of Alloy Specifications with Prover9
N Macedo, A Cunha
arXiv preprint arXiv:1209.5773, 2011
52011
A generic scheme and properties of bidirectional transformations
H Pacheco, N Macedo, A Cunha, J Voigtländer
arXiv preprint arXiv:1306.4473, 2013
42013
Exploiting Partial Knowledge for Efficient Model Analysis
N Macedo, A Cunha, E Pessoa
ATVA'17, 344-362, 2017
32017
The system can't perform the operation now. Try again later.
Articles 1–20