| 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 | 137 | 2018 |
| 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 | 76 | 2019 |
| 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 |
| Code-Level Model Checking in the Software Development Workflow N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ... 42nd International Conference on Software Engineering (ICSE), 2020 | 49 | 2020 |
| ESBMC-GPU a context-bounded model checking tool to verify CUDA programs FR Monteiro, EHS Alves, IS Silva, HI Ismail, LC Cordeiro, ... Science of Computer Programming 152, 63-69, 2018 | 33 | 2018 |
| Bounded model checking of C++ programs based on the Qt cross‐platform framework FR Monteiro, MAP Garcia, LC Cordeiro, EB de Lima Filho Software Testing, Verification and Reliability 27 (3), e1632, 2017 | 32 | 2017 |
| Model checking C++ programs FR Monteiro, MR Gadelha, LC Cordeiro Software Testing, Verification and Reliability 32 (1), e1793, 2022 | 27 | 2022 |
| Code‐level model checking in the software development workflow at Amazon web services N Chong, B Cook, J Eidelman, K Kallas, K Khazem, FR Monteiro, ... Software: Practice and Experience 51 (4), 772-797, 2021 | 25 | 2021 |
| SMT‐based context‐bounded model checking for CUDA programs P Pereira, H Albuquerque, I da Silva, H Marques, F Monteiro, R Ferreira, ... Concurrency and Computation: Practice and Experience 29 (22), e3934, 2017 | 25 | 2017 |
| Worldtour: Software para suporte no ensino de crianças autistas FRM Sousa, EAB Costa, THC de Castro Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2012 | 25 | 2012 |
| Bounded Model Checking of C++ Programs Based on the Qt Framework FRM Sousa, LC Cordeiro, EB de Lima Filho IEEE 4th Global Conference on Consumer Electronics, 2015 | 23 | 2015 |
| ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory MR Gadelha, R Menezes, FR Monteiro, LC Cordeiro, D Nicole 23rd International Conference on Fundamental Approaches to Software …, 2020 | 16* | 2020 |
| ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications M Garcia, F Monteiro, L Cordeiro, E de Lima Filho International Symposium on Model Checking Software, 2016 | 15* | 2016 |
| Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration FR Monteiro, PA Pereira, LC Cordeiro, CFF Costa Filho, MGF Costa 2016 IEEE Frontiers in Education Conference (FIE), 1-9, 2016 | 8 | 2016 |
| Towards Counterexample-Guided k-Induction for Fast Bug Detection MR Gadelha, FR Monteiro, LC Cordeiro, DA Nicole 26th ACM Joint European Software Engineering Conference and Symposium on the …, 2018 | 7 | 2018 |
| Bounded model checking of state-space digital systems: The impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space … FR Monteiro Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 6* | 2016 |
| Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract) FR Monteiro, MAP Garcia, LC Cordeiro, EB de Lima Filho Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 5 | 2018 |
| BMCLua: A translator for model checking Lua programs FR Monteiro, FAP Januário, LC Cordeiro, EB de Lima Filho ACM SIGSOFT Software Engineering Notes 42 (3), 1-10, 2017 | 5 | 2017 |
| WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning FRM Sousa, THC d. Castro Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th …, 2012 | 5 | 2012 |
| Boost the impact of continuous formal verification in industry FR Monteiro, MR Gadelha, LC Cordeiro arXiv preprint arXiv:1904.06152, 2019 | 2 | 2019 |
Lucas C. CordeiroProfessor of Computer Science, University of Manchester | Universidade Federal do Amazonas | VeriBeePatvirtintas el. paštas manchester.ac.uk
