Nuno Macedo - Google Scholar Citations

Cited by

	All	Since 2014
Citations	396	377
h-index	13	13
i10-index	13	13

100

201220132014201520162017201820196 11 45 36 43 59 91 100

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 N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Jose ProencaKU LeuvenVerified email at cs.kuleuven.be
João Mendes MoreiraFundação para a CIência e a Tecnologia, unidade FCCNVerified email at fccn.pt
Cláudio Belo LourençoLRI, INRIA, University Paris SudVerified email at lri.fr
Raju HalderIndian Institute of Technology PatnaVerified email at iitp.ac.in
Filipe Neves Dos SantosRobotics Researcher, Faculdade de Engenharia da Universidade do PortoVerified email at inescporto.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 & NOVA LINCSVerified email at di.uminho.pt

Nuno Macedo

Researcher at HASLab, INESC TEC & U. Minho

Verified email at inesctec.pt - Homepage

Software Engineering


Title	Cited by	Year
Implementing QVT-R Bidirectional Model Transformations using Alloy N Macedo, A Cunha FASE'13, 297-311, 2013	68	2013
Model Repair and Transformation with Echo N Macedo, T Guimarães, A Cunha ASE'13, 694-697, 2013	39	2013
Least-change bidirectional model transformation with QVT-R and ATL N Macedo, A Cunha Software & Systems Modeling 15 (3), 783-810, 2016	37	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	27	2017
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	27	2016
Target oriented relational model finding A Cunha, N Macedo, T Guimaraes FASE'14, 17-31, 2014	22	2014
Towards a Framework for Multidirectional Model Transformations N Macedo, A Cunha, H Pacheco BX'14, 2014	18	2014
An ORCID based synchronization framework for a national CRIS ecosystem JM Moreira, A Cunha, N Macedo 2015 ORCID-Casrai Joint Conference, 2015	16	2015
Exploring Scenario Exploration N Macedo, A Cunha, T Guimarães FASE'15, 2014	16	2014
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum A Cunha, N Macedo ABZ'18, 307-321, 2018	15	2018
A framework for quality assessment of ROS repositories A Santos, A Cunha, N Macedo, C Lourenço IROS'16, 4491-4496, 2016	15	2016
Composing Least-change Lenses N Macedo, H Pacheco, A Cunha, JN Oliveira BX'13, 2013	14	2013
Formal Verification of ROS-based Robotic Applications using Timed-Automata R Halder, J Proença, A Santos, N Macedo FormliSE'17, 2017	13	2017
Relations as executable specifications: taming partiality and non-determinism using invariants N Macedo, H Pacheco, A Cunha RAMiCS'12, 146-161, 2012	9	2012
Mining the usage patterns of ROS primitives FN dos Santos, R Arrais, N Macedo, A Cunha, AF Santos IROS'17, 2017	7*	2017
Bidirectional Spreadsheet Formulas N Macedo, H Pacheco, NR Sousa, A Cunha VL/HCC'14, 2014	6	2014
Automatic Unbounded Verification of Alloy Specifications with Prover9 N Macedo, A Cunha arXiv preprint arXiv:1209.5773, 2011	6	2011
Translating Alloy specifications to the point-free style N Macedo Master’s thesis, Univ. of Minho, 2010	6	2010
Proposition of an Action Layer for Electrum J Brunel, D Chemouil, A Cunha, T Hujsa, N Macedo, J Tawa ABZ'18, 397-402, 2018	5	2018
Alloy meets TLA+: An exploratory study N Macedo, A Cunha arXiv preprint arXiv:1603.03599, 2016	5	2016

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