Nuno Macedo

Cited by

	All	Since 2016
Citations	609	495
h-index	14	14
i10-index	18	17

140

105

20122013201420152016201720182019202020216 11 46 41 43 61 100 117 133 41

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

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
Cláudio Belo LourençoINRIA SaclayVerified email at lri.fr
Raju HalderIndian Institute of Technology PatnaVerified email at iitp.ac.in
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
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
Ana C. R. PaivaFaculdade de Engenharia da Universidade do PortoVerified email at fe.up.pt
João Mendes MoreiraFundação para a CIência e a Tecnologia, unidade FCCNVerified email at fccn.pt
Filipe Neves Dos SantosManager Laboratory of Robotics and IoT for Smart Precision Agriculture and Forestry @ INESC TECVerified email at inesctec.pt
Rafael ArraisINESC TECVerified email at inesctec.pt
Orlando BeloAssociate Professor with Habilitation, University of MinhoVerified email at di.uminho.pt
Jácome CunhaUniversity of Minho & HASLab/INESC TecVerified email at di.uminho.pt
André SantosResearcher at HASLab, INESC TECVerified email at inesctec.pt

Nuno Macedo

HASLab, FEUP & INESC TEC

Verified email at inesctec.pt - Homepage

Software Engineering Formal Methods


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

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