


Остановите войну!
for scientists:


default search action
Lucas 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
- 2023
- [j30]Fabrício Izumi, Eddie B. de Lima Filho, Lucas C. Cordeiro, Orlewilson B. Maia, Rômulo Fabrício, Bruno Farias, Aguinaldo Silva:
A fuzzing-based test-creation approach for evaluating digital TV receivers via transport streams. Softw. Test. Verification Reliab. 33(1) (2023) - [i54]Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro:
LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution). CoRR abs/2301.09142 (2023) - 2022
- [j29]Fatimah K. Aljaafari
, Rafael Menezes
, Edoardo Manino
, Fedor Shmarov, Mustafa A. Mustafa
, Lucas C. Cordeiro
:
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. IEEE Access 10: 121365-121384 (2022) - [j28]Felipe R. Monteiro
, Mikhail R. Gadelha
, Lucas C. Cordeiro
:
Model checking C++ programs. Softw. Test. Verification Reliab. 32(1) (2022) - [c75]Edoardo Manino, Danilo Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Luján, Xiaowei Huang, Lucas C. Cordeiro:
EnnCore: End-to-End Conceptual Guarding of Neural Architectures. SafeAI@AAAI 2022 - [c74]Edoardo Manino, Julia Rozanova, Danilo Carvalho, André Freitas, Lucas C. Cordeiro:
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. ACL (Findings) 2022: 2355-2366 - [c73]João Batista Pereira Matos Jr.
, Iury Bessa
, Edoardo Manino
, Xidan Song
, Lucas C. Cordeiro
:
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. NSV/FoMLAS@CAV 2022: 29-45 - [c72]Kaled M. Alshmrany
, Mohannad Aldughaim
, Ahmed Bhayat
, Lucas C. Cordeiro
:
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). FASE 2022: 336-340 - [c71]Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro:
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. ICSE-Companion 2022: 65-69 - [c70]Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro:
Summary of Model Checking C++ Programs. ICST 2022: 461 - [c69]Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro:
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. ISSTA 2022: 773-776 - [c68]Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro:
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. ISSTA 2022: 777-780 - [c67]Kaled M. Alshmrany
, Ahmed Bhayat
, Franz Brauße
, Lucas C. Cordeiro
, Konstantin Korovin
, Tom Melham
, Mustafa A. Mustafa
, Pierre Olivier
, Giles Reger
, Fedor Shmarov
:
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev 2022: 52-58 - [c66]Tong Wu
, Peter Schrammel
, Lucas C. Cordeiro
:
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution). TACAS (2) 2022: 484-489 - [i53]Kamil Erdayandi, Amrit Paudel, Lucas C. Cordeiro, Mustafa A. Mustafa:
Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach. CoRR abs/2201.01810 (2022) - [i52]Edoardo Manino, Julia Rozanova, Danilo Carvalho, André Freitas, Lucas C. Cordeiro:
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective. CoRR abs/2204.12316 (2022) - [i51]Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro:
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation. CoRR abs/2206.04397 (2022) - [i50]Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro:
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. CoRR abs/2206.06043 (2022) - [i49]Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro:
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis. CoRR abs/2206.14068 (2022) - [i48]João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro:
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. CoRR abs/2207.04231 (2022) - [i47]Edoardo Manino, Iury Bessa, Lucas C. Cordeiro:
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction. CoRR abs/2210.12054 (2022) - [i46]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
AIREPAIR: A Repair Platform for Neural Networks. CoRR abs/2211.15387 (2022) - [i45]Danilo S. Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas:
Montague semantics and modifier consistency measurement in neural language models. CoRR abs/2212.04310 (2022) - 2021
- [j27]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) - [j26]Mikhail R. Gadelha, Rafael S. Menezes
, Lucas C. Cordeiro
:
ESBMC 6.1: automated test case generation using bounded model checking. Int. J. Softw. Tools Technol. Transf. 23(6): 857-861 (2021) - [c65]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 - [c64]Lucas C. Cordeiro:
Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study. LADC (Companion) 2021: 8-9 - [c63]Mengze Li, Lucas C. Cordeiro:
Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning. SBESC 2021: 1-8 - [c62]Nedas Matulevicius, Lucas C. Cordeiro:
Verifying Security Vulnerabilities for Blockchain-based Smart Contracts. SBESC 2021: 1-8 - [c61]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 - [i44]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) - [i43]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) - [i42]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) - [i41]Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro:
Model Checking C++ Programs. CoRR abs/2107.01093 (2021) - [i40]Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro:
QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. CoRR abs/2111.13110 (2021) - [i39]Kunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro:
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts. CoRR abs/2111.13117 (2021) - [i38]Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro:
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing. CoRR abs/2112.10627 (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) - [c60]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 - [c59]Herbert Rocha
, Rafael Menezes
, Lucas C. Cordeiro
, Raimundo S. Barreto:
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). TACAS (2) 2020: 403-407 - [c58]Alessandro Trindade
, Lucas C. Cordeiro
:
Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison. VSTTE 2020: 87-105 - [c57]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) - [c56]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 - [c55]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 - [c54]Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro:
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. SIoT 2019: 1-9 - [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 Paiva de 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