André Santos
André Santos
Researcher at VORTEX CoLab
Email confirmado em - Página inicial
Citado por
Citado por
Formal verification of ROS-based robotic applications using timed-automata
R Halder, J Proença, N Macedo, A Santos
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software …, 2017
A framework for quality assessment of ROS repositories
A Santos, A Cunha, N Macedo, C Lourenço
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016
Static-time extraction and analysis of the ROS computation graph
A Santos, A Cunha, N Macedo
2019 Third IEEE international conference on robotic computing (IRC), 62-69, 2019
Property-based testing for the robot operating system
A Santos, A Cunha, N Macedo
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST …, 2018
Mining the usage patterns of ROS primitives
A Santos, A Cunha, N Macedo, R Arrais, FN Dos Santos
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
Bigorna: A toolkit for orthography migration challenges
JJ Almeida, A Santos, A Simões
European Language Resources Association (ELRA), 2010
A survey on parallel corpora alignment
A Santos
Proceedings of MI-Star, 117-128, 2011
Bootstrapping mde development from ros manual code-part 2: Model generation
NH Garcia, L Deval, M Lüdtke, A Santos, B Kahl, M Bordignon
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
The Per-Fide corpus: A new resource for corpus-based terminology, contrastive linguistics and translation studies
JJ Almeida, S Araújo, N Carvalho, I Dias, A Oliveira, A Santos, A Simões
Working with Portuguese Corpora, 177-200, 2014
Verification of system-wide safety properties of ROS applications
R Carvalho, A Cunha, N Macedo, A Santos
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2020
Bootstrapping MDE development from ROS manual code: Part 2—Model generation and leveraging models at runtime
N Hammoudeh García, H Deshpande, A Santos, B Kahl, M Bordignon
Software and Systems Modeling, 1-24, 2021
The High-Assurance ROS Framework
A Santos, A Cunha, N Macedo
2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering …, 2021
Applying software static analysis to ROS: the case study of the FASTEN european project
T Neto, R Arrais, A Sousa, A Santos, G Veiga
Robot 2019: Fourth Iberian Robotics Conference: Advances in Robotics, Volume …, 2020
Distinct structural and redox properties of heme active in bacterial DyP-type peroxidases from two subfamilies: resonance Raman and electrochemistry study
M Sezer, A Santos, P Kielb, T Pinto, LO Martins, S Todorovic
Biochemistry 52, 3074-3084, 2013
Structural alignment of plain text books.
A Santos, JJ Almeida, NR Carvalho
LREC, 2069-2074, 2012
Schema-guided Testing of Message-Oriented Systems
A Santos, A Cunha, NM Macedo
A case study on improving the software dependability of a ROS path planner for steep slope vineyards
LC Santos, A Santos, FN Santos, A Valente
Robotics 10 (3), 103, 2021
Lean Construction and IT principles, tools and applications in a South American Precast Concrete Industry
S Scheer, A Santos, J Quevedo, J Mikaldo Jr
CIB W78's 22nd International Conference on Information Technology in …, 2005
Comparison of two ionization chamber used absolute dose for intensity modulated radiotherapy of prostate quality assurance
PJ Cecilio, J CRUZ, L Rodrigues, A Santos, L Martins, L Caprioglio
Radiotherapy and Oncology, 2005
Custeio TDABC da internação hospitalar do paciente de AVC
FL Colares, M Viegas Andrade, K Noronha, A Santos
Cedeplar, Universidade Federal de Minas Gerais, 2023
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20