Concepedia

Nuno Macedo

NM

19

Publications

542

Citations

15

H-Index

2013

Active since

Affiliations

University of Minho(Current)

Office National d'Études et de Recherches Aérospatiales

Université Fédérale de Toulouse Midi-Pyrénées

Universidade do Porto

Nuno Macedo is an author at University of Minho specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringFormal MethodsSoftware DesignSoftware AnalysisSoftware EngineeringVerificationSoftware Testing

Publications per year

2013–2024

19

Publications

19

A Feature-Based Classification of Model Repair Approaches

Nuno Macedo, Tiago Jorge, Alcino Cunha · IEEE Transactions on Software Engineering · 2016 · 65 citations · Full text

Software Maintenance, Engineering, Machine Learning +21

Lightweight specification and analysis of dynamic systems with rich configurations

Nuno Macedo, Julien Brunel, David Chemouil et al. · 2016 · 56 citations · Full text

Engineering, Verification, Computer Architecture +23

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata

Raju Halder, José Proença, Nuno Macedo et al. · 2017 · 55 citations · Full text

Robotic Systems, Engineering, Field Robotics +18

A framework for quality assessment of ROS repositories

André Santos, Alcino Cunha, Nuno Macedo et al. · 2016 · 46 citations · Full text

Total Quality Management, Software Maintenance, Engineering +26

Least-change bidirectional model transformation with QVT-R and ATL

Nuno Macedo, Alcino Cunha · Software & Systems Modeling · 2014 · 42 citations · Full text

Rows per page

1–5 of 19