Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
André Filipe Faria dos Santos
AuthID:
R-00G-XC2
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (8)
Article in Press (1)
Article (1)
Year Start - End:
2016
2017
2018
2019
2020
2021
2022
-
2022
2021
2020
2019
2018
2017
2016
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
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
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
© 2022 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service