Follow
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
502017
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
482016
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
302019
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
212018
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
212017
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
142019
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
112020
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
N Hammoudeh García, H Deshpande, A Santos, B Kahl, M Bordignon
Software and Systems Modeling 20 (6), 2047-2070, 2021
42021
The High-Assurance ROS Framework
A Santos, A Cunha, N Macedo
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering …, 2021
32021
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
22021
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
The system can't perform the operation now. Try again later.
Articles 1–14