Lucas Cordeiro
Lucas Cordeiro
Senior Lecturer (Associate Professor), Department of Computer Science, University of Manchester
Vahvistettu sähköpostiosoite verkkotunnuksessa manchester.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
2902011
Verifying multi-threaded software using SMT-based context-bounded model checking
L Cordeiro, B Fischer
2011 33rd International Conference on Software Engineering (ICSE), 331-340, 2011
1642011
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
73*2014
Context-bounded model checking with ESBMC 1.17
L Cordeiro, J Morse, D Nicole, B Fischer
International Conference on Tools and Algorithms for the Construction and …, 2012
522012
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
512017
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
502009
Handling unbounded loops with ESBMC 1.20
J Morse, L Cordeiro, D Nicole, B Fischer
International Conference on Tools and Algorithms for the Construction and …, 2013
492013
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
442013
Model checking LTL properties over ANSI-C programs with bounded traces
J Morse, L Cordeiro, D Nicole, B Fischer
Software & Systems Modeling 14 (1), 65-81, 2015
342015
DSVerifier: A bounded model checking tool for digital systems
HI Ismail, IV Bessa, LC Cordeiro, EB de Lima Filho, JE Chaves Filho
International SPIN Workshop on Model Checking of Software, 126-131, 2015
332015
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
312018
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs
W Rocha, H Rocha, H Ismail, L Cordeiro, B Fischer
International Conference on Tools and Algorithms for the Construction and …, 2017
312017
Verification of fixed-point digital controllers using direct and delta forms realizations
IV Bessa, HI Ismail, LC Cordeiro, EC Joao Filho
Design Automation for Embedded Systems 20 (2), 95-126, 2016
312016
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
302017
Formal non-fragile stability verification of digital control systems with uncertainty
I Bessa, H Ismail, R Palhares, L Cordeiro, JE Chaves Filho
IEEE Transactions on Computers 66 (3), 545-552, 2016
302016
Automated formal synthesis of digital controllers for state-space physical plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
International Conference on Computer Aided Verification, 462-482, 2017
282017
Applying SMT-based verification to hardware/software partitioning in embedded systems
AB Trindade, LC Cordeiro
Design Automation for Embedded Systems 20 (1), 1-19, 2016
282016
Understanding programming bugs in ANSI-C software using bounded model checking counter-examples
H Rocha, R Barreto, L Cordeiro, AD Neto
International Conference on Integrated Formal Methods, 128-142, 2012
282012
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
282008
Sound and automated synthesis of digital stabilizing controllers for continuous plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
252017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20