André Filipe Faria dos Santos


AuthID: R-00G-XC2

Publicações Confirmadas: 11



1
TÍTULO: Schema-guided Testing of Message-oriented Systems
AUTORES: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
2
TÍTULO: A Case Study on Improving the Software Dependability of a ROS Path Planner for Steep Slope Vineyards
AUTORES: Santos, LC ; Santos, A ; Santos, FN ; Valente, A ;
PUBLICAÇÃO: 2021, FONTE: ROBOTICS, VOLUME: 10, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID
3
TÍTULO: Bootstrapping MDE development from ROS manual code: Part 2-Model generation and leveraging models at runtime  Full Text
AUTORES: Garcia, NH; Deshpande, H; Santos, A ; Kahl, B; Bordignon, M;
PUBLICAÇÃO: 2021, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 20, NÚMERO: 6
INDEXADO EM: Scopus WOS
4
TÍTULO: The High-Assurance ROS Framework
AUTORES: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLICAÇÃO: 2021, FONTE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
5
TÍTULO: Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project
AUTORES: Neto, T; Arrais, R ; Sousa, A ; Santos, A ; Veiga, G ;
PUBLICAÇÃO: 2020, FONTE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
6
TÍTULO: Verification of system-wide safety properties of ROS applications
AUTORES: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
7
TÍTULO: Bootstrapping MDE Development from ROS Manual Code - Part 2: Model Generation
AUTORES: Garcia, NH; Deval, L; Ludtke, M; Santos, A ; Kahl, B; Bordignon, M;
PUBLICAÇÃO: 2019, FONTE: 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)
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID
8
TÍTULO: Static-time Extraction and Analysis of the ROS Computation Graph
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2019, FONTE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
9
TÍTULO: Property-Based Testing for the Robot Operating System
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2018, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
10
TÍTULO: Mining the Usage Patterns of ROS Primitives
AUTORES: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
Página 1 de 2. Total de resultados: 11.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service