Papers
9
Total Citations
217
H-Index
7
About
Nuno Macedo is a prominent researcher specializing in software engineering for robotics, with a particular focus on the formal verification, quality assurance, and safety analysis of applications built on the Robot Operating System (ROS). His work addresses one of the most pressing challenges in modern robotics: ensuring the dependability and correctness of software systems increasingly deployed in safety-critical domains such as healthcare and autonomous transportation. Macedo's most influential contribution — the application of timed-automata to formally verify ROS-based robotic applications — has garnered 57 citations, reflecting its significance to both academic and industrial communities. Alongside this, his framework for quality assessment of ROS repositories (47 citations) has provided developers with practical tools to evaluate and improve robotic software. His research spans static analysis of ROS computation graphs, mining usage patterns of ROS primitives, property-based testing, and variability analysis, forming a comprehensive body of work that systematically strengthens ROS ecosystem reliability. By combining formal methods with software testing and architectural analysis, Macedo has carved out a distinctive research identity at the intersection of robotics and rigorous software engineering. His cumulative citation impact and consistent output make him a valuable reference point for researchers and students working to build safer, more dependable robotic systems.
Research Focus
Key Achievements
Top Papers
- 1Formal Verification of ROS-Based Robotic Applications Using Timed-Automata57 citations · 2017
- 2A framework for quality assessment of ROS repositories47 citations · 2016
- 3Static-Time Extraction and Analysis of the ROS Computation Graph23 citations · 2019
- 4Mining the usage patterns of ROS primitives22 citations · 2017
- 5Verification of system-wide safety properties of ROS applications22 citations · 2020
- 6Formal verification of ROS-based robotic applications using timed-automata21 citations · 2017
- 7Property-based testing for the robot operating system20 citations · 2018
- 8Schema-guided Testing of Message-oriented Systems3 citations · 2022
- 9Variability Analysis for Robot Operating System Applications2 citations · 2022