André Filipe Faria dos Santos


AuthID: R-00G-XC2

Confirmed Publications: 10



1
TITLE: A Case Study on Improving the Software Dependability of a ROS Path Planner for Steep Slope Vineyards
AUTHORS: Santos, LC ; Santos, A ; Santos, FN ; Valente, A ;
PUBLISHED: 2021, SOURCE: ROBOTICS, VOLUME: 10, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
2
TITLE: Bootstrapping MDE development from ROS manual code: Part 2-Model generation and leveraging models at runtime  Full Text
AUTHORS: Garcia, NH; Deshpande, H; Santos, A ; Kahl, B; Bordignon, M;
PUBLISHED: 2021, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 20, ISSUE: 6
INDEXED IN: Scopus WOS
3
TITLE: The High-Assurance ROS Framework
AUTHORS: André Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE 2021 in 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE@ICSE 2021, Madrid, Spain, June 2, 2021
INDEXED IN: Scopus DBLP CrossRef
4
TITLE: Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project
AUTHORS: Neto, T; Arrais, R ; Sousa, A ; Santos, A ; Veiga, G ;
PUBLISHED: 2020, SOURCE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6
TITLE: Bootstrapping MDE Development from ROS Manual Code - Part 2: Model Generation
AUTHORS: Nadia Hammoudeh Garcia; Ludovic Deval; Mathias Luedtke; Andre Santos ; Bjoern Kahl; Mirko Bordignon;
PUBLISHED: 2019, SOURCE: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2019)
INDEXED IN: Scopus WOS
7
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
8
TITLE: Property-Based Testing for the Robot Operating System
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST) in PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18)
INDEXED IN: Scopus WOS DBLP CrossRef
9
TITLE: Mining the Usage Patterns of ROS Primitives
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Rafael Arrais ; Filipe Neves dos Santos ;
PUBLISHED: 2017, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID
10
TITLE: A Framework for Quality Assessment of ROS Repositories
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
PUBLISHED: 2016, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID

footer slogan

Useful Links

Get Help

© 2022 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service