André Filipe Faria dos Santos
AuthID: R-00G-XC2
1
TÃTULO: ROBUST: 221 bugs in the Robot Operating System Full Text
AUTORES: Timperley, Christopher S.; van der Hoorn, Gijs; Santos, Andre; Deshpande, Harshavardhan; Wasowski, Andrzej;
PUBLICAÇÃO: 2024, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, NÚMERO: 3
AUTORES: Timperley, Christopher S.; van der Hoorn, Gijs; Santos, Andre; Deshpande, Harshavardhan; Wasowski, Andrzej;
PUBLICAÇÃO: 2024, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 29, NÚMERO: 3
2
TÃTULO: Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime
AUTORES: Nadia Hammoudeh García; Harshavardhan Deshpande; André Santos; Björn Kahl; Mirko Bordignon;
PUBLICAÇÃO: 2021, FONTE: Software and Systems Modeling, VOLUME: 20, NÚMERO: 6
AUTORES: Nadia Hammoudeh García; Harshavardhan Deshpande; André Santos; Björn Kahl; Mirko Bordignon;
PUBLICAÇÃO: 2021, FONTE: Software and Systems Modeling, VOLUME: 20, NÚMERO: 6
3
TÃTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLICAÇÃO: 2017, FONTE: 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
AUTORES: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLICAÇÃO: 2017, FONTE: 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
