Nuno Macedo

Cited by

	All	Since 2015
Citations	543	471
h-index	13	12
i10-index	15	13

120

2012201320142015201620172018201920206 11 46 39 43 60 103 113 112

Co-authors

Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Hugo PachecoHasLab & INESC TECVerified email at inesctec.pt
David ChemouilONERA DTIS & Université fédérale de ToulouseVerified email at onera.fr
Julien BrunelONERAVerified email at onera.fr
Jose ProencaCISTER - ISEPVerified email at proenca.org
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Raju HalderIndian Institute of Technology PatnaVerified email at iitp.ac.in
Cláudio Belo LourençoINRIA SaclayVerified email at lri.fr
José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECVerified email at di.uminho.pt
Rui CoutoHASLab/INESC TECVerified email at di.uminho.pt
João Mendes MoreiraFundação para a CIência e a Tecnologia, unidade FCCNVerified email at fccn.pt
Filipe Neves Dos SantosRobotics Researcher, INESC TECVerified email at inesctec.pt
Rafael ArraisINESC TECVerified email at inesctec.pt
Janis VoigtländerAssociate Professor Formal Methods in Computer Science, University of Duisburg-EssenVerified email at uni-due.de
Orlando BeloAssociate Professor with Habilitation, University of MinhoVerified email at di.uminho.pt
Bruno OliveiraEscola Superior de Tecnologia e Gestão de Felgueiras - CIICESIVerified email at estgf.ipp.pt
Jácome CunhaUniversity of Minho & HASLab/INESC TecVerified email at di.uminho.pt

Nuno Macedo

Researcher at HASLab, INESC TEC & U. Minho

Verified email at inesctec.pt - Homepage

Software Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Implementing QVT-R Bidirectional Model Transformations using Alloy N Macedo, A Cunha FASE'13, 297-311, 2013	75	2013
Model Repair and Transformation with Echo N Macedo, T Guimarães, A Cunha ASE'13, 694-697, 2013	49	2013
Least-change bidirectional model transformation with QVT-R and ATL N Macedo, A Cunha Software & Systems Modeling 15 (3), 783-810, 2016	47	2016
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	46	2016
A feature-based classification of model repair approaches N Macedo, TMS Jorge, A Cunha IEEE Transactions on Software Engineering 43 (7), 615-640, 2017	36	2017
Formal Verification of ROS-based Robotic Applications using Timed-Automata R Halder, J Proença, A Santos, N Macedo FormliSE'17, 2017	28	2017
Target oriented relational model finding A Cunha, N Macedo, T Guimaraes FASE'14, 17-31, 2014	25	2014
A framework for quality assessment of ROS repositories A Santos, A Cunha, N Macedo, C Lourenço IROS'16, 4491-4496, 2016	24	2016
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum A Cunha, N Macedo ABZ'18, 307-321, 2018	21	2018
Towards a Framework for Multidirectional Model Transformations N Macedo, A Cunha, H Pacheco BX'14, 2014	21	2014
An ORCID based synchronization framework for a national CRIS ecosystem JM Moreira, A Cunha, N Macedo 2015 ORCID-Casrai Joint Conference, 2015	20*	2015
Exploring Scenario Exploration N Macedo, A Cunha, T Guimarães FASE'15, 2015	19*	2015
Composing Least-change Lenses N Macedo, H Pacheco, A Cunha, JN Oliveira BX'13, 2013	13	2013
Mining the usage patterns of ROS primitives FN dos Santos, R Arrais, N Macedo, A Cunha, AF Santos IROS'17, 2017	11*	2017
Alloy meets TLA+: An exploratory study N Macedo, A Cunha arXiv preprint arXiv:1603.03599, 2016	10	2016
Improving the Visualization of Alloy Instances R Couto, JC Campos, N Macedo, A Cunha F-IDE'18, 2018	9	2018
The electrum analyzer: model checking relational first-order temporal specifications J Brunel, D Chemouil, A Cunha, N Macedo ASE’18, 2018	9	2018
Relations as executable specifications: taming partiality and non-determinism using invariants N Macedo, H Pacheco, A Cunha RAMiCS'12, 146-161, 2012	9	2012
Static-Time Extraction and Analysis of the ROS Computation Graph A Santos, A Cunha, N Macedo IRC'19, 62-69, 2019	8	2019
Bidirectional Spreadsheet Formulas N Macedo, H Pacheco, NR Sousa, A Cunha VL/HCC'14, 2014	8	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors