Nuno Macedo

Cited by

	All	Since 2016
Citations	580	468
h-index	13	12
i10-index	17	16

140

105

20122013201420152016201720182019202020216 11 46 39 43 61 102 115 129 18

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 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
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
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	79	2013
Model Repair and Transformation with Echo N Macedo, T Guimarães, A Cunha ASE'13, 694-697, 2013	52	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
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	45	2017
Formal Verification of ROS-based Robotic Applications using Timed-Automata R Halder, J Proença, A Santos, N Macedo FormliSE'17, 2017	30	2017
A framework for quality assessment of ROS repositories A Santos, A Cunha, N Macedo, C Lourenço IROS'16, 4491-4496, 2016	27	2016
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum A Cunha, N Macedo ABZ'18, 307-321, 2018	25	2018
Target oriented relational model finding A Cunha, N Macedo, T Guimaraes FASE'14, 17-31, 2014	25	2014
Towards a Framework for Multidirectional Model Transformations N Macedo, A Cunha, H Pacheco BX'14, 2014	22	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	20	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	12*	2017
The electrum analyzer: model checking relational first-order temporal specifications J Brunel, D Chemouil, A Cunha, N Macedo ASE’18, 2018	11	2018
Static-Time Extraction and Analysis of the ROS Computation Graph A Santos, A Cunha, N Macedo IRC'19, 62-69, 2019	10	2019
Alloy meets TLA+: An exploratory study N Macedo, A Cunha arXiv preprint arXiv:1603.03599, 2016	10	2016
Property-based testing for the robot operating system A Santos, A Cunha, N Macedo A-TEST'18, 56-62, 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
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