André Santos

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 13

Top Topics

European Project

Previously Mentioned

Operating System

Top Venues

Publications

André Santos, Alcino Cunha, Nuno Macedo, Sara Melo, Ricardo Pereira
Variability Analysis for Robot Operating System Applications. IRC (2022)
André Santos, Alcino Cunha, Nuno Macedo
Schema-guided Testing of Message-oriented Systems. ENASE (2022)
André Santos, Alcino Cunha, Nuno Macedo
The High-Assurance ROS Framework. RoSE@ICSE (2021)
Nadia Hammoudeh Garcia, Harshavardhan Deshpande, André Santos, Björn Kahl, Mirko Bordignon
Bootstrapping MDE development from ROS manual code: Part 2 - Model generation and leveraging models at runtime. Softw. Syst. Model. 20 (6) (2021)
André Santos, Alcino Cunha, Nuno Macedo
The High-Assurance ROS Framework. CoRR (2021)
Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos
Verification of system-wide safety properties of ROS applications. IROS (2020)
Tiago Neto, Rafael Arrais, Armando Sousa, André Santos, Germano Veiga
Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project. ROBOT (1) (2019)
Nadia Hammoudeh Garcia, Ludovic Delval, Mathias Lüdtke, André Santos, Björn Kahl, Mirko Bordignon
Bootstrapping MDE Development from ROS Manual Code - Part 2: Model Generation. MoDELS (2019)
André Santos, Alcino Cunha, Nuno Macedo
Static-Time Extraction and Analysis of the ROS Computation Graph. IRC (2019)
André Santos, Alcino Cunha, Nuno Macedo
Property-based testing for the robot operating system. A-TEST@ESEC/SIGSOFT FSE (2018)
Raju Halder, José Proença, Nuno Macedo, André Santos
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. FormaliSE@ICSE (2017)
André Santos, Alcino Cunha, Nuno Macedo, Rafael Arrais, Filipe Neves dos Santos
Mining the usage patterns of ROS primitives. IROS (2017)
André Santos, Alcino Cunha, Nuno Macedo, Cláudio Lourenço
A framework for quality assessment of ROS repositories. IROS (2016)