Nuno Macedo

Cited by

	All	Since 2019
Citations	1210	892
h-index	19	17
i10-index	32	29

200

100

150

20122013201420152016201720182019202020212022202320244 11 37 36 47 63 102 116 146 141 146 152 187

Public access

View all

37 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
David ChemouilONERA DTIS & Université fédérale de ToulouseVerified email at onera.fr
Julien BrunelONERAVerified email at onera.fr
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoVerified email at inesctec.pt
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Ana C. R. PaivaFaculdade de Engenharia da Universidade do PortoVerified email at fe.up.pt
Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalVerified email at proenca.org
José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECVerified email at di.uminho.pt
Dr. Raju HalderAssociate Professor, Indian Institute of Technology PatnaVerified email at iitp.ac.in
Cláudio Belo LourençoHuawei Central Software Institute (UK)Verified email at huawei.com
Rui CoutoHASLab/INESC TECVerified email at di.uminho.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
João Mendes MoreiraFundação para a CIência e a Tecnologia, unidade FCCNVerified email at fccn.pt
Orlando BeloAssociate Professor with Habilitation, University of MinhoVerified email at di.uminho.pt
Eunsuk KangAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Jácome CunhaAssociate Professor at DEI, Faculty of Engineering, University of Porto & HASLab/INESC TECVerified email at fe.up.pt
André SantosResearcher at VORTEX CoLabVerified email at vortex-colab.com

Nuno Macedo

DEI @ FEUP & HASLab @ INESC TEC

Verified email at inesctec.pt - Homepage

Software Engineering Programming Languages Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Lightweight specification and analysis of dynamic systems with rich configurations N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg ACM SIGSOFT International Symposium on Foundations of Software Engineering …, 2016	101	2016
Implementing QVT-R bidirectional model transformations using Alloy N Macedo, A Cunha International Conference on Fundamental Approaches to Software Engineering …, 2013	92	2013
A feature-based classification of model repair approaches N Macedo, TMS Jorge, A Cunha IEEE Transactions on Software Engineering 43 (7), 615-640, 2017	90	2017
Formal verification of ROS-based robotic applications using timed-automata R Halder, J Proença, A Santos, N Macedo International Conference on Formal Methods in Software Engineering (FormliSE), 2017	87	2017
Least-change bidirectional model transformation with QVT-R and ATL N Macedo, A Cunha Software & Systems Modeling 15 (3), 783-810, 2016	69	2016
Model repair and transformation with Echo N Macedo, T Guimarães, A Cunha IEEE/ACM International Conference on Automated Software Engineering (ASE …, 2013	66	2013
A framework for quality assessment of ROS repositories A Santos, A Cunha, N Macedo, C Lourenço IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS …, 2016	62	2016
The Electrum Analyzer: Model checking relational first-order temporal specifications J Brunel, D Chemouil, A Cunha, N Macedo IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018	52	2018
Static-time extraction and analysis of the ROS computation graph A Santos, A Cunha, N Macedo IEEE International Conference on Robotic Computing (IRC), 62-69, 2019	42	2019
Property-based testing for the robot operating system A Santos, A Cunha, N Macedo Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST), 2018	36	2018
Target oriented relational model finding A Cunha, N Macedo, T Guimaraes International Conference on Fundamental Approaches to Software Engineering …, 2014	36	2014
Experiences on teaching Alloy with an automated assessment platform N Macedo, A Cunha, J Pereira, R Carvalho, R Silva, ACR Paiva, ... Science of Computer Programming 211, 102690, 2021	35	2021
Exploring scenario exploration N Macedo, A Cunha, T Guimarães International Conference on Fundamental Approaches to Software Engineering …, 2015	32	2015
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum A Cunha, N Macedo International Conference on ASM, Alloy, B, TLA, VDM, and Z (ABZ), 307-321, 2018	31	2018
Towards a framework for multidirectional model transformations N Macedo, A Cunha, H Pacheco International Workshop on Bidirectional Transformations (BX), 2014	31	2014
Mining the usage patterns of ROS primitives FN dos Santos, R Arrais, N Macedo, A Cunha, AF Santos IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2017	29	2017
Verification of system-wide safety properties of ROS applications R Carvalho, A Cunha, N Macedo, A Santos IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020	28	2020
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum A Cunha, N Macedo International Journal on Software Tools for Technology Transfer 22 (3), 281-296, 2020	27	2020
An ORCID-based synchronization framework for a national CRIS ecosystem JM Moreira, A Cunha, N Macedo 2015 ORCID-Casrai Joint Conference, 2015	26	2015
The High-Assurance ROS framework A Santos, A Cunha, N Macedo International Workshop on Robotics Software Engineering (RoSE), 37-40, 2021	18	2021

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

Follow

Cited by

Co-authors