André Santos

17 papers A 4B 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
ROBUST: 221 Bugs in the Robot Operating System.
CoRR
Christopher Steven Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wasowski
2024 J jnl
ROBUST: 221 bugs in the Robot Operating System.
Empir. Softw. Eng.
Christopher Steven Timperley, Gijs van der Hoorn, André Santos, Harshavardhan Deshpande, Andrzej Wasowski
2022 B conf
Schema-guided Testing of Message-oriented Systems.
ENASE
André Santos, Alcino Cunha, Nuno Macedo
2022 — conf
Variability Analysis for Robot Operating System Applications.
IRC
André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira
2021 J jnl
A Case Study on Improving the Software Dependability of a ROS Path Planner for Steep Slope Vineyards.
Robotics
Luís Carlos Feliz dos Santos, André Santos, Filipe Neves dos Santos, António Valente
2021 J jnl
Bootstrapping MDE development from ROS manual code: Part 2 - Model generation and leveraging models at runtime.
Softw. Syst. Model.
Nadia Hammoudeh Garcia, Harshavardhan Deshpande, André Santos, Björn Kahl, Mirko Bordignon
2021 — —
Safety verification for ROS software
André Santos
2021 — conf
The High-Assurance ROS Framework.
RoSE@ICSE
André Santos, Alcino Cunha, Nuno Macedo
2021 J jnl
The High-Assurance ROS Framework.
CoRR
André Santos, Alcino Cunha, Nuno Macedo
2020 A conf
Verification of system-wide safety properties of ROS applications.
IROS
Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos
2019 — conf
Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project.
ROBOT (1)
Tiago Neto, Rafael Arrais, Armando Sousa, André Santos, Germano Veiga
2019 A conf
Bootstrapping MDE Development from ROS Manual Code - Part 2: Model Generation.
MoDELS
Nadia Hammoudeh Garcia, Ludovic Delval, Mathias Lüdtke, André Santos, Björn Kahl, Mirko Bordignon
2019 — conf
Static-Time Extraction and Analysis of the ROS Computation Graph.
IRC
André Santos, Alcino Cunha, Nuno Macedo
2018 — conf
Property-based testing for the robot operating system.
A-TEST@ESEC/SIGSOFT FSE
André Santos, Alcino Cunha, Nuno Macedo
2017 — conf
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata.
FormaliSE@ICSE
Raju Halder, José Proença, Nuno Macedo, André Santos
2017 A conf
Mining the usage patterns of ROS primitives.
IROS
André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos
2016 A conf
A framework for quality assessment of ROS repositories.
IROS
André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço