| 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 | 70 | 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 | 53 | 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 | 37 | 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 | 30 | 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 | 25 | 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 |
| 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 | 19 | 2020 |
| 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 | 18 | 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 | 16 | 2014 |
| 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 | 9 | 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 |
| Avaliação ambiental e indicação de medidas mitigadoras para a nascente do córrego mutuca, Gurupi-TO N Neres, PA Souza, A Santos, M Giongo, LN Barbosa Enciclopédia Biosfera 11 (21), 2015 | 7 | 2015 |
| Plantas medicinais no Brasil: estudos farmacológicos, descoberta de medicamentos, desafios e perspectivas R Dutra, M Campos, A Santos, J Calixto Pesquisa farmacológica 112, 4-29, 2016 | 5 | 2016 |
| 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 |
| AmeriFlux BASE data pipeline to support network growth and data sharing H Chu, DS Christianson, YW Cheah, G Pastorello, F O’Brien, J Geden, ... Scientific Data 10 (1), 614, 2023 | 4 | 2023 |
| Produção de mudas de Anandenathera macrocarpa em diferentes substratos para recuperação de áreas degradadas no Cerrado KM Monteriro, PA Souza, A Santos, MV Alves, M Pereira ENCICLOPEDIA BIOSFERA 11 (22), 2015 | 4 | 2015 |
| 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, N Macedo SCITEPRESS, 2022 | 3 | 2022 |
Nuno MacedoDEI @ FEUP & HASLab @ INESC TECBestätigte E-Mail-Adresse bei inesctec.pt
