| Software requirements testing approaches: a systematic literature review J dos Santos, LEG Martins, VA de Santiago Júnior, LV Povoa, ... Requirements Engineering 25 (3), 317-337, 2020 | 21 | 2020 |
| A Systematic Literature Review on prioritizing software test cases using Markov chains G Barbosa, ÉF de Souza, LBR dos Santos, M da Silva, JM Balera, ... Information and Software Technology 147, 106902, 2022 | 20 | 2022 |
| Transformation of UML behavioral diagrams to support software model checking LBR Santos, VAS Júnior, NL Vijaykumar arXiv preprint arXiv:1404.0855, 2014 | 15 | 2014 |
| Software inspections: comparing a formal method based with a classical reading methodology LBRD Santos, VADS Júnior, LV Povoa, AV Freitas, CDC Mario International Journal of Computer Applications in Technology 59 (4), 296-317, 2019 | 6 | 2019 |
| A formal verification tool for UML behavioral diagrams LBR dos Santos, ER Eras, VA de Santiago Júnior, NL Vijaykumar Computational Science and Its Applications–ICCSA 2014: 14th International …, 2014 | 4 | 2014 |
| A system to Support the Physiotherapeutic Treatment of Chronic Pain in the Spine LBR dos Santos, M dos Santos Silvério, C de Castro Mario, CG Ghedini, ... 2021 16th Iberian Conference on Information Systems and Technologies (CISTI …, 2021 | 3 | 2021 |
| Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples ER Eras, VA de Santiago, LBR dos Santos Proceedings of the IV Brazilian Symposium on Systematic and Automated …, 2019 | 3 | 2019 |
| Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking ER Eras, LBR dos Santos, VA de Santiago Júnior, NL Vijaykumar Computational Science and Its Applications--ICCSA 2015: 15th International …, 2015 | 3 | 2015 |
| Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping G de Sousa Matsumura, LBR dos Santos, AF Conceição, NL Vijaykumar International Conference on Computational Science and Its Applications, 3-18, 2021 | 1 | 2021 |
| Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0. KD Fook, DL Musa, N Vijaykumar, RM Mariano, G dos Reis Morais, ... WEBIST, 460-466, 2021 | 1 | 2021 |
| Domar: An approach to prevent problems related to requirements documentation and management MERFL Salvador, LBR dos Santos Revista Sinergia 19, 2018 | 1 | 2018 |
| Performance regression testing initiatives: A systematic mapping LBR dos Santos, ÉF de Souza, C Trubiani, R Pinciroli, NL Vijaykumar Information and Software Technology, 107641, 2024 | | 2024 |
| Waste Management Through Digital Twins and Business Process Modeling A Di Salle, A Fedeli, L Iovino, L Mariani, D Micucci, L Rebelo, MT Rossi Proceedings of the ACM/IEEE 27th International Conference on Model Driven …, 2024 | | 2024 |
| Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness [Opinion] D Brugali, A Cavalcanti, N Hochgeschwender, P Pelliccione, L Rebelo IEEE Robotics & Automation Magazine 31 (3), 186-204, 2024 | | 2024 |
| COLUMNS & DEPARTMENTS Y Guo, A Billard, D Brugali, A Cavalcanti, N Hochgeschwender, ... IEEE Robotics & Automation Magazine, 2, 2024 | | 2024 |
| Deep Learning-Based Active Fire Detection Using Satellite Imagery CEP Reis, LBR dos Santos, F Morelli, NL Vijaykumar International Conference on Intelligent Systems Design and Applications, 148-157, 2023 | | 2023 |
| Check for updates G Barbosa¹, É Souza, L Rebelo, M Silva, J Balera, N Vijaykumar Testing Software and Systems: 35th IFIP WG 6.1 International Conference …, 2023 | | 2023 |
| Prioritizing Test Cases with Markov Chains: A Preliminary Investigation CT Luciana Rebelo, Érica Souza, Gian Berkenbrock, Gerson Barbosa, Marlon ... IFIP International Conference on Testing Software and Systems, 219-236, 2023 | | 2023 |
| Clio’s (mis) adventures with Hermes, Hestia, and Hephaestus L Ferla, R Laguardia, J Lesser, AG Britt, TD Rogers, F Atique, KD Fook, ... Historiografías: revista de historia y teoría, 6-26, 2023 | | 2023 |
| Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping GS Matsumura, LBR Santos, AF da Conceição, NL Vijaykumar arXiv preprint arXiv:2104.12295, 2021 | | 2021 |
Nandamudi VijaykumarInstituto Nacional de Pesquisas Espaciais (INPE)inpe.br üzerinde doğrulanmış e-posta adresine sahip