| ESBMC 5.0: an industrial-strength C model checker MR Gadelha, FR Monteiro, J Morse, LC Cordeiro, B Fischer, DA Nicole Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 136 | 2018 |
| Handling loops in bounded model checking of C programs via k-induction MYR Gadelha, HI Ismail, LC Cordeiro International journal on software tools for technology transfer 19 (1), 97-114, 2017 | 104 | 2017 |
| ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference: (Competition Contribution) MR Gadelha, F Monteiro, L Cordeiro, D Nicole Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 78 | 2019 |
| ESBMC 1.22: (Competition Contribution) J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 73 | 2014 |
| SMT-based bounded model checking of C++ programs M Ramalho, M Freitas, F Sousa, H Marques, L Cordeiro, B Fischer 2013 20th IEEE International Conference and Workshops on Engineering of …, 2013 | 50 | 2013 |
| Model checking C++ programs FR Monteiro, MR Gadelha, LC Cordeiro Software Testing, Verification and Reliability 32 (1), e1793, 2022 | 27 | 2022 |
| Bounded model checking for fixed-point digital filters RB Abreu, MYR Gadelha, LC Cordeiro, EB de Lima Filho, WS da Silva Journal of the Brazilian Computer Society 22, 1-20, 2016 | 27 | 2016 |
| SMT-based refutation of spurious bug reports in the clang static analyzer MR Gadelha, E Steffinlongo, LC Cordeiro, B Fischer, D Nicole 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 25 | 2019 |
| ESBMC 6.1: automated test case generation using bounded model checking MR Gadelha, RS Menezes, LC Cordeiro International Journal on Software Tools for Technology Transfer 23, 857-861, 2021 | 21 | 2021 |
| 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 | 19 | 2021 |
| FuSeBMC: A white-box fuzzer for finding security vulnerabilities in C programs (competition contribution) KM Alshmrany, RS Menezes, MR Gadelha, LC Cordeiro International Conference on Fundamental Approaches to Software Engineering …, 2021 | 18 | 2021 |
| ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory: (Competition Contribution) MR Gadelha, R Menezes, FR Monteiro, LC Cordeiro, D Nicole International Conference on Fundamental Approaches to Software Engineering …, 2020 | 14 | 2020 |
| Encoding floating-point numbers using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks MYR Gadelha, LC Cordeiro, DA Nicole Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017 | 13 | 2017 |
| Incremental bounded model checking of artificial neural networks in CUDA LH Sena, IV Bessa, MR Gadelha, LC Cordeiro, E Mota 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 1-8, 2019 | 12 | 2019 |
| A robust and real-time face anti-spoofing method based on texture feature analysis A Khurshid, SC Tamayo, E Fernandes, MR Gadelha, M Teofilo HCI International 2019–Late Breaking Papers: 21st HCI International …, 2019 | 12 | 2019 |
| ESBMC v7. 4: Harnessing the Power of Intervals: (Competition Contribution) RS Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 10 | 2024 |
| FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation: (Competition Contribution) M Aldughaim, KM Alshmrany, MR Gadelha, R de Freitas, LC Cordeiro International Conference on Fundamental Approaches to Software Engineering …, 2023 | 9 | 2023 |
| ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC F Brauße, F Shmarov, R Menezes, MR Gadelha, K Korovin, G Reger, ... Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 8 | 2022 |
| An efficient floating-point bit-blasting API for verifying C programs MR Gadelha, LC Cordeiro, DA Nicole International Workshop on Numerical Software Verification, 178-195, 2020 | 8 | 2020 |
| Towards counterexample-guided k-induction for fast bug detection MR Gadelha, FR Monteiro, LC Cordeiro, DA Nicole Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 7 | 2018 |
Lucas C. CordeiroProfessor of Computer Science, University of Manchester | Universidade Federal do Amazonas | VeriBeeVahvistettu sähköpostiosoite verkkotunnuksessa manchester.ac.uk
