| ESBMC 1.22 J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer International Conference on Tools and Algorithms for the Construction and …, 2014 | 63 | 2014 |
| 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 | 54 | 2017 |
| 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 | 43 | 2013 |
| 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 | 37 | 2018 |
| ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference MR Gadelha, F Monteiro, L Cordeiro, D Nicole International Conference on Tools and Algorithms for the Construction and …, 2019 | 21 | 2019 |
| 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), 1-20, 2016 | 18 | 2016 |
| Encoding floating-point numbers using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks MYR Gadelha, LC Cordeiro, DA Nicole Brazilian Symposium on Formal Methods, 91-106, 2017 | 9 | 2017 |
| 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 | 5 | 2019 |
| 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 | 5 | 2018 |
| Proposal of a cryptography method using gray scale digital images MYR Gadelha, CFF Costa Filho, MGF Costa 2012 International Conference for Internet Technology and Secured …, 2012 | 5 | 2012 |
| Counterexample-guided k-induction verification for fast bug detection MYR Gadelha, LC Cordeiro, DA Nicole arXiv preprint arXiv:1706.02136, 2017 | 4 | 2017 |
| ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory:(Competition Contribution) MR Gadelha, R Menezes, FR Monteiro, LC Cordeiro, D Nicole Fundamental Approaches to Software Engineering 12076, 525, 2020 | 3 | 2020 |
| Themes validation tool E Fernandes, R Correia, A Gil, J Postal, MR Gadelha International Conference on Human-Computer Interaction, 16-22, 2019 | 2 | 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 International Conference on Human-Computer Interaction, 484-496, 2019 | 2 | 2019 |
| An Efficient Floating-Point Bit-Blasting API for Verifying C Programs MR Gadelha, LC Cordeiro, DA Nicole Software Verification, 178-195, 2020 | 1 | 2020 |
| 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, 1-21, 2020 | 1 | 2020 |
| 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 | 1 | 2019 |
| Boost the Impact of Continuous Formal Verification in Industry FR Monteiro, MR Gadelha, LC Cordeiro arXiv preprint arXiv:1904.06152, 2019 | 1 | 2019 |
| Using clang as a Frontend on a Formal Verification Tool MR Gadelha, J Morse, L Cordeiro, D Nicole | 1 | 2017 |
| Verificação baseada em indução matemática para programas C++ MYR Gadelha Universidade Federal do Amazonas, 2013 | 1 | 2013 |
Lucas CordeiroSenior Lecturer (Associate Professor), Department of Computer Science, University of ManchesterVerified email at manchester.ac.uk
