| Formal verification of ROS-based robotic applications using timed-automata R Halder, J Proença, N Macedo, A Santos 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software …, 2017 | 50 | 2017 |
| A framework for quality assessment of ROS repositories A Santos, A Cunha, N Macedo, C Lourenço 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016 | 48 | 2016 |
| Static-time extraction and analysis of the ROS computation graph A Santos, A Cunha, N Macedo 2019 Third IEEE international conference on robotic computing (IRC), 62-69, 2019 | 30 | 2019 |
| Property-based testing for the robot operating system A Santos, A Cunha, N Macedo Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST …, 2018 | 21 | 2018 |
| Mining the usage patterns of ROS primitives A Santos, A Cunha, N Macedo, R Arrais, FN Dos Santos 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 21 | 2017 |
| Bootstrapping mde development from ros manual code-part 2: Model generation NH Garcia, L Deval, M Lüdtke, A Santos, B Kahl, M Bordignon 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 14 | 2019 |
| Verification of system-wide safety properties of ROS applications R Carvalho, A Cunha, N Macedo, A Santos 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020 | 11 | 2020 |
| Applying software static analysis to ROS: the case study of the FASTEN european project T Neto, R Arrais, A Sousa, A Santos, G Veiga Iberian Robotics conference, 632-644, 2019 | 5 | 2019 |
| Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime N Hammoudeh García, H Deshpande, A Santos, B Kahl, M Bordignon Software and Systems Modeling 20 (6), 2047-2070, 2021 | 4 | 2021 |
| The High-Assurance ROS Framework A Santos, A Cunha, N Macedo 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering …, 2021 | 3 | 2021 |
| A Case Study on Improving the Software Dependability of a ROS Path Planner for Steep Slope Vineyards LC Santos, A Santos, FN Santos, A Valente Robotics 10 (3), 103, 2021 | 2 | 2021 |
| Schema-guided Testing of Message-oriented Systems. A Santos, A Cunha, N Macedo ENASE, 26-37, 2022 | | 2022 |
| Safety verification for ROS software AFF Santos | | 2021 |
| Bootstrapping MDE Development from ROS Manual Code-Part 2: Model Generation L Deval, M Bordignon, B Kahl, AF Santos, M Luedtke, NH Garcia | | 2019 |
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerified email at inesctec.pt
