Follow
Lucas C. Cordeiro
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Verified email at manchester.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
3972011
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
2142011
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
1262018
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
1012018
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
1002017
Revolutionizing cyber threat detection with large language models: A privacy-preserving bert-based lightweight model for iot/iiot devices
MA Ferrag, M Ndhlovu, N Tihanyi, LC Cordeiro, M Debbah, T Lestable, ...
IEEE Access, 2024
87*2024
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
852014
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
752019
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
712012
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
582009
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
552013
A new era in software security: Towards self-healing software via large language models and formal verification
N Tihanyi, R Jain, Y Charalambous, MA Ferrag, Y Sun, LC Cordeiro
arXiv preprint arXiv:2305.14752, 2023
542023
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
502013
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
472017
The formai dataset: Generative ai in software security through the lens of formal verification
N Tihanyi, T Bisztray, R Jain, MA Ferrag, LC Cordeiro, V Mavroeidis
Proceedings of the 19th International Conference on Predictive Models and …, 2023
462023
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
442017
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
432007
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
402015
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
392019
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
382017
The system can't perform the operation now. Try again later.
Articles 1–20