André Santos
André Santos
Researcher at VORTEX CoLab
Verified email at vortex-colab.com - Homepage
Title
Cited by
Cited by
Year
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
402017
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
392016
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
222019
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
182017
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
162018
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
102019
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
62020
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
52019
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
12021
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
The system can't perform the operation now. Try again later.
Articles 1–12