| 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 | 40 | 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 | 39 | 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 | 22 | 2019 |
| 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 | 18 | 2017 |
| 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 | 16 | 2018 |
| 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 | 10 | 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 | 6 | 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 NH García, H Deshpande, A Santos, B Kahl, M Bordignon Software and Systems Modeling, 1-24, 2021 | 1 | 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 | | 2021 |
| The High-Assurance ROS Framework A Santos, A Cunha, N Macedo 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering …, 2021 | | 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
