| 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 | 61 | 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 | 52 | 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 | 35 | 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 | 27 | 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 | 23 | 2017 |
| Bigorna: A toolkit for orthography migration challenges JJ Almeida, A Santos, A Simões European Language Resources Association (ELRA), 2010 | 22 | 2010 |
| A survey on parallel corpora alignment A Santos Proceedings of MI-Star, 117-128, 2011 | 20 | 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 | 17 | 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 | 17 | 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 | 16 | 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 | 10 | 2021 |
| The High-Assurance ROS Framework A Santos, A Cunha, N Macedo 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering …, 2021 | 7 | 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 | 7 | 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 | 5 | 2013 |
| Structural alignment of plain text books. A Santos, JJ Almeida, NR Carvalho LREC, 2069-2074, 2012 | 4 | 2012 |
| Schema-guided Testing of Message-Oriented Systems A Santos, A Cunha, NM Macedo | 2 | 2022 |
| 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 | 2 | 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 | 2 | 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 | 1 | 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 | | 2023 |
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECEmail confirmado em inesctec.pt
