Sotabase

Career

· Research Group Head, LinkedIn2025–
· Open Source Contributor, GitHub2024–
· Researcher/Developer, University of Manchester2024–
· Researcher / Developer of ESBMC-Python, University of Manchester2024–
· CTO/Co-Founder, VeriBee Ltd2024–
· Maintainer/Developer, GitHub - lucascivil/TreeWalker2022–
· Software Developer / Researcher, Self-employed / Personal Projects2021–
· Software Engineer, GitHub - lukascivil/TreeWalker
· Lucas Cordeiro, University of Manchester
· Researcher/Developer, Various research projects and tools related to software verification, including ESBMC

Publications (153)

SMT-Based Bounded Model Checking for Embedded ANSI-C Software
2009 IEEE/ACM International Conference on Automated Software Engineering · 2009
272
cited
Verifying multi-threaded software using smt-based context-bounded model checking
International Conference on Software Engineering · 2011
147
cited
ESBMC 5.0: An Industrial-Strength C Model Checker
International Conference on Automated Software Engineering · 2018
110
cited
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
International Conference/Workshop on Automation of Software Test · 2023
78
cited
Handling loops in bounded model checking of C programs via k-induction
International Journal on Software Tools for Technology Transfer (STTT) · 2015
73
cited
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
International Conference on Computer Aided Verification · 2018
68
cited
The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification
International Conference on Predictive Models in Software Engineering · 2023
68
cited
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution)
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2019
44
cited
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution)
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2012
43
cited
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints
International Conference on Embedded Software and Systems · 2009
42
cited
ESBMC 1.22 - (Competition Contribution)
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2014
39
cited
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution)
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2017
36
cited
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
International Conference on Computer Aided Verification · 2017
34
cited
SMT-Based Bounded Model Checking of C++ Programs
European Conference on the Engineering of Computer-Based Systems · 2013
34
cited
SMT-based bounded model checking for multi-threaded software in embedded systems
2010 ACM/IEEE 32nd International Conference on Software Engineering · 2010
31
cited
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution)
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2013
29
cited
SecureFalcon: The Next Cyber Reasoning System for Cyber Security
arXiv.org · 2023
27
cited
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty
IEEE transactions on computers · 2017
26
cited
Model checking C++ programs
Software testing, verification & reliability · 2021
26
cited
Model checking LTL properties over ANSI-C programs with bounded traces
Journal of Software and Systems Modeling · 2015
26
cited
Sotabase
Lucas Cordeiro | Researcher Profile | Sotabase | Sotabase