| DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs: (Competition Contribution) W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 46 | 2017 |
| Model Checking Embedded C Software Using k-Induction and Invariants H Rocha, H Ismail, L Cordeiro, R Barreto Embedded Software Verification and Debugging, 159-182, 2017 | 38 | 2017 |
| Understanding programming bugs in ANSI-C software using bounded model checking counter-examples H Rocha, R Barreto, L Cordeiro, AD Neto Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012 | 37 | 2012 |
| Formal verification of UML sequence diagrams in the embedded systems context E Cunha, M Custódio, H Rocha, R Barreto 2011 Brazilian Symposium on Computing System Engineering, 39-45, 2011 | 17 | 2011 |
| Verification and refutation of C programs based on k-induction and invariant inference OM Alhawi, H Rocha, MR Gadelha, LC Cordeiro, E Batista International journal on software tools for technology transfer 23 (2), 115-135, 2021 | 15 | 2021 |
| Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution) H Rocha, R Menezes, LC Cordeiro, R Barreto Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 15 | 2020 |
| Hunting Memory Bugs in C Programs with Map2Check: (Competition Contribution) HO Rocha, RS Barreto, LC Cordeiro Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 14 | 2016 |
| Memory management test-case generation of C programs using bounded model checking H Rocha, R Barreto, L Cordeiro Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015 | 14 | 2015 |
| Map2Check Using LLVM and KLEE: (Competition Contribution) R Menezes, H Rocha, L Cordeiro, R Barreto Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 6 | 2018 |
| Exploiting safety properties in bounded model checking for test cases generation of C programs H Rocha, L Cordeiro, R Barreto, J Netto | 5 | 2010 |
| Model Checking C Programs with Loops via k-induction and Invariants H Rocha, H Ismail, L Cordeiro, R Barreto arXiv preprint arXiv:1502.02327, 2015 | 4 | 2015 |
| Jfortes: Java formal unit test generation L Bentes, H Rocha, E Valentin, R Barreto 2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 16-23, 2016 | 2 | 2016 |
| INEXT: A Computer System for Indoor Object Location using RFID L Sousa, H Rocha, A Ribeiro, F Lobo Anais Estendidos do XIII Simpósio Brasileiro de Engenharia de Sistemas …, 2023 | 1 | 2023 |
| Verifying security vulnerabilities in large software systems using multi-core k-induction T Silva, C Porto, E Alves, L Cordeiro, H Rocha arXiv preprint arXiv:2102.02368, 2021 | 1 | 2021 |
| Model Checking Embedded C Software using k-Induction and Invariants (extended version) H Rocha, H Ismail, L Cordeiro, R Barreto arXiv preprint arXiv:1509.02471, 2015 | 1 | 2015 |
| Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking HO Rocha Universidade Federal do Amazonas, 2015 | 1 | 2015 |
| Uso de learning analytics para Avaliação de eficiência de curso de introdução à Inteligência Artificial MHO Henklain, FD Pereira, LF Silva, AC Ribeiro, HO Rocha, LN Balico, ... Anais do IV Simpósio Brasileiro de Educação em Computação, 113-122, 2024 | | 2024 |
| Map2Check: Using Symbolic Execution and Fuzzing:(Competition Contribution) R Menezes, L Cordeiro, R Barreto, H Rocha | | 2020 |
| Verificação e comprovação de erros em códigos C usando bounded model checker HO Rocha Universidade Federal do Amazonas, 2011 | | 2011 |
| Further studies on the structure of a novel fucan isolated from the brown algae Spatoglossum schroederi EL Leite, SF Chavante, HO Rocha, LF Silva, CAA Araujo, LD de Abreu, ... | | 1997 |
Lucas C. CordeiroProfessor of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
