| SMT-based bounded model checking for embedded ANSI-C software L Cordeiro, B Fischer, J Marques-Silva IEEE Transactions on Software Engineering 38 (4), 957-974, 2011 | 394 | 2011 |
| Verifying multi-threaded software using SMT-based context-bounded model checking L Cordeiro, B Fischer Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 213 | 2011 |
| 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 | 117 | 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 | 98 | 2017 |
| JBMC: A bounded model checking tool for verifying Java bytecode L Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtik International Conference on Computer Aided Verification, 183-190, 2018 | 96 | 2018 |
| ESBMC 1.22-(Competition Contribution) J Morse, M Ramalho, LC Cordeiro, D Nicole, BE Fischer Tools and Algorithms for the Construction and Analysis of Systems-20th …, 2014 | 85 | 2014 |
| 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 | 75 | 2019 |
| Context-Bounded Model Checking with ESBMC 1.17: (Competition Contribution) L Cordeiro, J Morse, D Nicole, B Fischer Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 71 | 2012 |
| Semiformal verification of embedded software in medical devices considering stringent hardware constraints L Cordeiro, B Fischer, H Chen, J Marques-Silva 2009 International Conference on Embedded Software and Systems, 396-403, 2009 | 58 | 2009 |
| Handling Unbounded Loops with ESBMC 1.20: (Competition Contribution) J Morse, L Cordeiro, D Nicole, B Fischer Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 55 | 2013 |
| 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 |
| 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 |
| A new era in software security: Towards self-healing software via large language models and formal verification Y Charalambous, N Tihanyi, R Jain, Y Sun, MA Ferrag, LC Cordeiro arXiv preprint arXiv:2305.14752, 2023 | 44 | 2023 |
| Automated formal synthesis of digital controllers for state-space physical plants A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ... Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 44 | 2017 |
| Agile development methodology for embedded systems: A platform-based design approach L Cordeiro, R Barreto, R Barcelos, M Oliveira, V Lucena, P Maciel 14th Annual IEEE International Conference and Workshops on the Engineering …, 2007 | 43 | 2007 |
| Model checking LTL properties over ANSI-C programs with bounded traces J Morse, L Cordeiro, D Nicole, B Fischer Software & Systems Modeling 14, 65-81, 2015 | 39 | 2015 |
| JBMC: Bounded Model Checking for Java Bytecode: (Competition Contribution) L Cordeiro, D Kroening, P Schrammel International Conference on Tools and Algorithms for the Construction and …, 2019 | 38 | 2019 |
| 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 |
| Dsverifier: A bounded model checking tool for digital systems HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho Model Checking Software: 22nd International Symposium, SPIN 2015 …, 2015 | 38 | 2015 |
| 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 | 38 | 2012 |
Mikhail Yasha Ramalho GadelhaIgaliaVerified email at igalia.com
