André Filipe Faria dos Santos
AuthID: R-00G-XC2
1
TITLE: ROBUST: 221 bugs in the Robot Operating System Full Text
AUTHORS: Timperley, Christopher S.; van der Hoorn, Gijs; Santos, Andre; Deshpande, Harshavardhan; Wasowski, Andrzej;
PUBLISHED: 2024, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, ISSUE: 3
AUTHORS: Timperley, Christopher S.; van der Hoorn, Gijs; Santos, Andre; Deshpande, Harshavardhan; Wasowski, Andrzej;
PUBLISHED: 2024, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, ISSUE: 3
2
TITLE: Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime
AUTHORS: Nadia Hammoudeh García; Harshavardhan Deshpande; André Santos; Björn Kahl; Mirko Bordignon;
PUBLISHED: 2021, SOURCE: Software and Systems Modeling, VOLUME: 20, ISSUE: 6
AUTHORS: Nadia Hammoudeh García; Harshavardhan Deshpande; André Santos; Björn Kahl; Mirko Bordignon;
PUBLISHED: 2021, SOURCE: Software and Systems Modeling, VOLUME: 20, ISSUE: 6
3
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
AUTHORS: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
