André Santos
André Santos
Researcher at HASLab, INESC TEC
Verified email at inesctec.pt - 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
302017
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
302016
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
152017
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
132019
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
102018
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
52019
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
22019
Verification of system-wide safety properties of ROS applications
R Carvalho, A Cunha, N Macedo, A Santos
1*
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–9