1
TITLE: Schema-guided Testing of Message-oriented Systems
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
2
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: 3 Unpaywall
IN MY: ORCID
3
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
4
TITLE: The High-Assurance ROS Framework
AUTHORS: Santos, Andre ; Cunha, Alcino ; Macedo, Nuno ;
PUBLISHED: 2021, SOURCE: 3rd IEEE/ACM International Workshop on Robotics Software Engineering (RoSE) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
5
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
IN MY: ORCID
6
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
IN MY: ORCID
7
TITLE: Bootstrapping MDE Development from ROS Manual Code - Part 2: Model Generation
AUTHORS: Garcia, NH; Deval, L; Ludtke, M; Santos, A ; Kahl, B; Bordignon, M;
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 CrossRef: 5
IN MY: ORCID
8
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
IN MY: ORCID
9
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
IN MY: ORCID
10
TITLE: Mining the Usage Patterns of ROS Primitives
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
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 Handle
IN MY: ORCID
Page 1 of 2. Total results: 11.