Seguir
Lucas C. Cordeiro
Lucas C. Cordeiro
Reader, Dept of Computer Science, University of Manchester
Dirección de correo verificada de manchester.ac.uk - Página principal
Título
Citado por
Citado por
Año
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
3822011
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
2122011
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
1042018
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
942017
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
852018
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
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
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
702019
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
562013
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
492013
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
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
412007
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
392015
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
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
382015
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
372012
An agile development methodology applied to embedded control software under stringent hardware constraints
L Cordeiro, C Mar, E Valentin, F Cruz, D Patrick, R Barreto, V Lucena
ACM SIGSOFT Software Engineering Notes 33 (1), 1-10, 2008
352008
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
342019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20