André Santos

According to our database, André Santos authored at least 14 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Variability Analysis for Robot Operating System Applications.

André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira

Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022

Schema-guided Testing of Message-oriented Systems.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2021

Safety verification for ROS software

André Santos

PhD thesis, 2021

Bootstrapping MDE development from ROS manual code: Part 2 - Model generation and leveraging models at runtime.

Nadia Hammoudeh Garcia, Harshavardhan Deshpande, André Santos, Björn Kahl, Mirko Bordignon

Softw. Syst. Model., 2021

A Case Study on Improving the Software Dependability of a ROS Path Planner for Steep Slope Vineyards.

Luís Carlos Feliz dos Santos, André Santos, Filipe Neves dos Santos, António Valente

Robotics, 2021

The High-Assurance ROS Framework.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 3rd IEEE/ACM International Workshop on Robotics Software Engineering, 2021

2020

Verification of system-wide safety properties of ROS applications.

Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

2019

Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project.

Tiago Neto, Rafael Arrais, Armando Sousa, André Santos, Germano Veiga

Proceedings of the Robot 2019: Fourth Iberian Robotics Conference, 2019

Bootstrapping MDE Development from ROS Manual Code - Part 2: Model Generation.

Nadia Hammoudeh Garcia, Ludovic Delval, Mathias Lüdtke, André Santos, Björn Kahl, Mirko Bordignon

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Static-Time Extraction and Analysis of the ROS Computation Graph.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019

2018

Property-based testing for the robot operating system.

André Santos, Alcino Cunha, Nuno Macedo

Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2018

2017

Mining the usage patterns of ROS primitives.

André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Formal Verification of ROS-Based Robotic Applications Using Timed-Automata.

Raju Halder, José Proença, Nuno Macedo, André Santos

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

2016

A framework for quality assessment of ROS repositories.

André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016