Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDLucas C. Cordeiro
Lucas Carvalho Cordeiro
Person information
- affiliation: University of Manchester, UK
- affiliation (former): University of Oxford, UK
- affiliation (former): Federal University of Amazonas (UFAM), Brazil
- affiliation (former): University of Southampton, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j26]Omar M. Alhawi, Herbert Rocha
, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Verification and refutation of C programs based on k-induction and invariant inference. Int. J. Softw. Tools Technol. Transf. 23(2): 115-135 (2021)- [c61]Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro:
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution). FASE 2021: 363-367 - [c60]Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro:
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. TAP@STAF 2021: 85-105 - [i41]Thales Silva, Carmina Porto, Erickson H. da S. Alves, Lucas C. Cordeiro, Herbert Rocha:
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction. CoRR abs/2102.02368 (2021) - [i40]Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes:
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols. CoRR abs/2103.11363 (2021) - [i39]Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro:
Verifying Quantized Neural Networks using SMT-Based Model Checking. CoRR abs/2106.05997 (2021) - [i38]Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro:
Model Checking C++ Programs. CoRR abs/2107.01093 (2021) - 2020
- [j25]Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica 57(1-2): 223-244 (2020) - [j24]Lucas C. Cordeiro, Eddie Batista de Lima Filho, Iury Valente de Bessa:
Survey on automated symbolic verification and its application for synthesising cyber-physical systems. IET Cyper-Phys. Syst.: Theory & Appl. 5(1): 1-24 (2020) - [c59]Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole:
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). FASE 2020: 525-529 - [c58]Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto:
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). TACAS (2) 2020: 403-407 - [c57]Alessandro Trindade, Lucas C. Cordeiro:
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. VSTTE 2020: 87-105 - [c56]Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. VSTTE 2020: 178-195 - [i37]Kaled M. Alshmrany, Lucas C. Cordeiro:
Finding Security Vulnerabilities in Network Protocol Implementations. CoRR abs/2001.09592 (2020) - [i36]Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa:
Verifying Software Vulnerabilities in IoT Cryptographic Protocols. CoRR abs/2001.09837 (2020) - [i35]Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs. CoRR abs/2004.12699 (2020) - [i34]João Batista Pereira Matos Jr., Lucas Carvalho Cordeiro, Marcelo d'Amorim, Xiaowei Huang:
Generating Adversarial Inputs Using A Black-box Differential Technique. CoRR abs/2007.05315 (2020) - [i33]Luiz H. Sena, Erickson H. da S. Alves, Iury Bessa, Eddie B. L. Filho, Lucas C. Cordeiro:
Incremental Verification of Fixed-Point Implementations of Neural Networks. CoRR abs/2012.11220 (2020) - [i32]Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro:
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs. CoRR abs/2012.11223 (2020) - [i31]Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu:
Bounded Model Checking of Software Using Interval Methods via Contractors. CoRR abs/2012.11245 (2020)
2010 – 2019
- 2019
- [j23]Lennon C. Chaves, Hussama Ibrahim Ismail, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Verifying fragility in digital systems with uncertainties using DSVerifier v2.0. J. Syst. Softw. 153: 22-43 (2019) - [c55]Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole:
SMT-based refutation of spurious bug reports in the clang static analyzer. ICSE (Companion Volume) 2019: 11-14 - [c54]Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota:
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. SBESC 2019: 1-8 - [c53]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole:
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution). TACAS (3) 2019: 209-213 - [c52]Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution). TACAS (3) 2019: 219-223 - [i30]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole:
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space. CoRR abs/1904.02501 (2019) - [i29]Felipe R. Monteiro, Mikhail Y. R. Gadelha, Lucas C. Cordeiro:
Boost the Impact of Continuous Formal Verification in Industry. CoRR abs/1904.06152 (2019) - [i28]Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro:
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. CoRR abs/1906.11488 (2019) - [i27]Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota:
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. CoRR abs/1907.12933 (2019) - [i26]Alessandro Trindade, Lucas C. Cordeiro:
Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis. CoRR abs/1909.13139 (2019) - 2018
- [j22]Arllem O. Farias, Gabriel Alisson C. Queiroz, Iury Valente de Bessa, Renan Landau P. Medeiros, Lucas C. Cordeiro, Reinaldo M. Palhares:
Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring. IEEE Access 6: 62234-62254 (2018) - [j21]Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. Sci. Comput. Program. 152: 63-69 (2018) - [j20]Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample guided inductive optimization based on satisfiability modulo theories. Sci. Comput. Program. 165: 3-23 (2018) - [j19]Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). ACM SIGSOFT Softw. Eng. Notes 43(4): 56 (2018) - [j18]Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles. IEEE Trans. Reliab. 67(4): 1420-1441 (2018) - [c51]Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík:
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. CAV (1) 2018: 183-190 - [c50]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening:
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. HSCC 2018: 253-258 - [c49]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole:
ESBMC 5.0: an industrial-strength C model checker. ASE 2018: 888-891 - [c48]Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). ASE 2018: 954 - [c47]Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole:
Towards counterexample-guided k-induction for fast bug detection. ESEC/SIGSOFT FSE 2018: 765-769 - [c46]Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto:
Map2Check Using LLVM and KLEE - (Competition Contribution). TACAS (2) 2018: 437-441 - [i25]Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel:
Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP). CoRR abs/1809.03739 (2018) - [i24]Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole:
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer. CoRR abs/1810.12041 (2018) - [i23]Alessandro Trindade, Lucas C. Cordeiro:
Automated Verification of Stand-alone Solar Photovoltaic Systems. CoRR abs/1811.09438 (2018) - 2017
- [j17]Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro:
SMT-based context-bounded model checking for CUDA programs. Concurr. Comput. Pract. Exp. 29(22) (2017) - [j16]Alessandro Bezerra Trindade, Renato De Faria Degelo, Edilson Galvão Dos Santos Junior, Hussama Ibrahim Ismail, Helder Cruz Da Silva, Lucas Carvalho Cordeiro:
Multi-core model checking and maximum satisfiability applied to hardware-software partitioning. Int. J. Embed. Syst. 9(6): 570-582 (2017) - [j15]Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
A method to localize faults in concurrent C programs. J. Syst. Softw. 132: 336-352 (2017) - [j14]Felipe R. Monteiro, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
BMCLua: A Translator for Model Checking Lua Programs. ACM SIGSOFT Softw. Eng. Notes 42(3): 1-10 (2017) - [j13]Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro:
Handling loops in bounded model checking of C programs via k-induction. Int. J. Softw. Tools Technol. Transf. 19(1): 97-114 (2017) - [j12]Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt cross-platform framework. Softw. Test. Verification Reliab. 27(3) (2017) - [j11]Iury Bessa, Hussama Ismail, Reinaldo M. Palhares, Lucas C. Cordeiro, Joao Edgar Chaves Filho:
Formal Non-Fragile Stability Verification of Digital Control Systems with Uncertainty. IEEE Trans. Computers 66(3): 545-552 (2017) - [c45]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CAV (1) 2017: 462-482 - [c44]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening:
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. HSCC 2017: 197-206 - [c43]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying digital systems with MATLAB. ISSTA 2017: 388-391 - [c42]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
DSSynth: an automated digital controller synthesis tool for physical plants. ASE 2017: 919-924 - [c41]Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample guided inductive optimization applied to mobile robots path planning. LARS/SBR 2017: 1-6 - [c40]Thiago Rodrigo Felix Cavalcante, Iury Valente de Bessa, Lucas Carvalho Cordeiro:
Planning and Evaluation of UAV Mission Planner for Intralogistics Problems. SBESC 2017: 9-16 - [c39]Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks. SBMF 2017: 91-106 - [c38]Higo F. Albuquerque, Rodrigo F. Araujo, Iury Valente de Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
OptCE: A Counterexample-Guided Inductive Optimization Solver. SBMF 2017: 125-141 - [c37]Williame Rocha, Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Bernd Fischer:
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution). TACAS (2) 2017: 360-364 - [i22]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying Digital Systems with MATLAB. CoRR abs/1702.05591 (2017) - [i21]Lucas C. Cordeiro:
Automated Verification and Synthesis of Embedded Systems using Machine Learning. CoRR abs/1702.07847 (2017) - [i20]Rodrigo F. Araujo, Higo F. Albuquerque, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample Guided Inductive Optimization. CoRR abs/1704.03738 (2017) - [i19]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. CoRR abs/1705.00981 (2017) - [i18]Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole:
Counterexample-Guided k-Induction Verification for Fast Bug Detection. CoRR abs/1706.02136 (2017) - [i17]Daniel P. M. de Mello, Mauro L. de Freitas, Lucas C. Cordeiro, Waldir S. S. Junior, Iury Valente de Bessa, Eddie B. L. Filho, Laurent Clavier:
Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters. CoRR abs/1706.05088 (2017) - [i16]Rodrigo F. Araujo, Alexandre Ribeiro, Iury Valente de Bessa, Lucas C. Cordeiro, João Edgar Chaves Filho:
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version). CoRR abs/1708.04028 (2017) - 2016
- [j10]Alessandro Trindade, Lucas C. Cordeiro:
Applying SMT-based verification to hardware/software partitioning in embedded systems. Des. Autom. Embed. Syst. 20(1): 1-19 (2016) - [j9]Iury Valente de Bessa, Hussama Ismail, Lucas C. Cordeiro, João Edgar Chaves Filho:
Verification of fixed-point digital controllers using direct and delta forms realizations. Des. Autom. Embed. Syst. 20(2): 95-126 (2016) - [j8]Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir Sabino da Silva Jr.:
Bounded model checking for fixed-point digital filters. J. Braz. Comput. Soc. 22(1): 1:1-1:20 (2016) - [j7]Lucas C. Cordeiro, Eddie Batista de Lima Filho:
SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends. ACM SIGSOFT Softw. Eng. Notes 41(3): 1-6 (2016) - [c36]Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa:
Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration. FIE 2016: 1-9 - [c35]Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso B. Carvalho, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira:
Verifying CUDA programs using SMT-based context-bounded model checking. SAC 2016: 1648-1653 - [c34]Rodrigo F. Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho:
SMT-based Verification Applied to Non-convex Optimization Problems. SBESC 2016: 1-8 - [c33]Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. SPIN 2016: 97-103 - [c32]Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro:
Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution). TACAS 2016: 934-937 - [i15]Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa:
Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version). CoRR abs/1608.00143 (2016) - [i14]William C. da Rosa, Iury Valente de Bessa, Lucas C. Cordeiro:
Application of Global Route-Planning Algorithms with Geodesy. CoRR abs/1610.04597 (2016) - [i13]Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening:
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. CoRR abs/1610.04761 (2016) - [i12]Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro:
DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration). CoRR abs/1610.07066 (2016) - 2015
- [j6]Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
Model checking LTL properties over ANSI-C programs with bounded traces. Softw. Syst. Model. 14(1): 65-81 (2015) - [c31]Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded model checking of C++ programs based on the Qt framework. GCCE 2015: 179-180 - [c30]Rodrigo R. Oliveira, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr.:
Hardware reconfiguration based on broadcasted digital TV signal. ICCE 2015: 596-598 - [c29]Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software Using k-Induction and Invariants. SBESC 2015: 90-95 - [c28]Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Fault Localization in Multi-threaded C Programs Using Bounded Model Checking. SBESC 2015: 96-101 - [c27]Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
Applying Multi-core Model Checking to Hardware-Software Partitioning in Embedded Systems. SBESC 2015: 102-105 - [c26]Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro:
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking. SEFM 2015: 251-267 - [c25]Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho:
DSVerifier: A Bounded Model Checking Tool for Digital Systems. SPIN 2015: 126-131 - [i11]Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking C Programs with Loops via k-Induction and Invariants. CoRR abs/1502.02327 (2015) - [i10]Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version). CoRR abs/1509.01682 (2015) - [i9]Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software using k-Induction and Invariants (extended version). CoRR abs/1509.02471 (2015) - [i8]Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version). CoRR abs/1509.02490 (2015) - [i7]Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version). CoRR abs/1509.02492 (2015) - 2014
- [j5]Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
Applying symbolic bounded model checking to the 2012 RERS greybox challenge. Int. J. Softw. Tools Technol. Transf. 16(5): 519-529 (2014) - [c24]Ricardo Erikson Veras De Sena Rosa, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr.:
A secondary screen architecture to accurately capture viewers' interactions in an iTV environment. GCCE 2014: 264-265 - [c23]Francisco A. P. Januário, Lucas C. Cordeiro, Vicente Ferreira de Lucena Jr., Eddie Batista de Lima Filho:
BMCLua: Verification of Lua programs in digital TV interactive applications. GCCE 2014: 707-708 - [c22]Iury Bessa, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro:
SMT-based bounded model checking of fixed-point digital controllers. IECON 2014: 295-301 - [c21]Iury Valente de Bessa, Hussama Ibrahim Ismail, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho:
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. SBESC 2014: 49-54 - [c20]Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
ESBMC 1.22 - (Competition Contribution). TACAS 2014: 405-407 - [i6]Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro:
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. CoRR abs/1403.5172 (2014) - 2013
- [j4]Ricardo Erikson Veras De Sena Rosa, Vicente Ferreira de Lucena Jr., Lucas C. Cordeiro, Joao Edgar Chaves Filho:
Dynamic and automated product derivation for consumer electronics software applications. IEEE Trans. Consumer Electron. 59(4): 883-891 (2013) - [c19]Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer:
SMT-Based Bounded Model Checking of C++ Programs. ECBS 2013: 147-156 - [c18]Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). TACAS 2013: 619-622 - [i5]Renato B. Abreu, Lucas C. Cordeiro, Eddie B. L. Filho:
Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking. CoRR abs/1305.2892 (2013) - 2012
- [j3]Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva:
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Trans. Software Eng. 38(4): 957-974 (2012) - [c17]Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto:
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. IFM 2012: 128-142 - [c16]David Cohen, Eduardo Valentin, Raimundo S. Barreto, Horacio A. B. F. de Oliveira, Lucas C. Cordeiro:
A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique. ISIE 2012: 774-779 - [c15]Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer:
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS 2012: 534-537 - 2011
- [b1]Lucas C. Cordeiro:
SMT-based bounded model checking of multi-threaded software in embedded systems. University of Southampton, UK, 2011 - [c14]Vicente Ferreira de Lucena, José Pinheiro de Queiroz Neto, Joao Edgar Chaves Filho, Waldir Sabino da Silva Jr., Lucas Carvalho Cordeiro:
Gift young engineers: An extra-curricular initiative for updating computer and electrical engineering courses. FIE 2011: S1 - [c13]Lucas C. Cordeiro, Bernd Fischer:
Verifying multi-threaded software using smt-based context-bounded model checking. ICSE 2011: 331-340 - [c12]Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer:
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker. SBESC 2011: 46-52 - [c11]Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer:
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM 2011: 302-317 - [i4]Raimundo S. Barreto, Lucas C. Cordeiro, Bernd Fischer:
Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. CoRR abs/1106.2320 (2011) - 2010
- [c10]Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva:
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. ECBS 2010: 160-169 - [c9]Lucas C. Cordeiro:
SMT-based bounded model checking for multi-threaded software in embedded systems. ICSE (2) 2010: 373-376 - [i3]Lucas C. Cordeiro, Bernd Fischer:
Bounded Model Checking of Multi-threaded Software using SMT solvers. CoRR abs/1003.3830 (2010)
2000 – 2009
- 2009
- [c8]Lucas C. Cordeiro, Bernd Fischer, Huan Chen, João Marques-Silva:
Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. ICESS 2009: 396-403 - [c7]Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva:
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. ASE 2009: 137-148 - [i2]Lucas C. Cordeiro, Bernd Fischer, João P. Marques Silva:
SMT-Based Bounded Model Checking for Embedded ANSI-C Software. CoRR abs/0907.2072 (2009) - [i1]Lucas C. Cordeiro, Bernd Fischer, João P. Marques Silva:
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. CoRR abs/0911.3784 (2009) - 2008
- [j2]Lucas C. Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena:
An agile development methodology applied to embedded control software under stringent hardware constraints. ACM SIGSOFT Softw. Eng. Notes 33(1) (2008)