author-photo

Lucas C. Cordeiro

Federal University of Amazonas
University of Manchester
University of Oxford

169

Papers

1519

Citations

Citation Trend

Filter By

Papers (168) Sort By

Journal Conference Others

EnnCore: End-to-End Conceptual Guarding of Neural Architectures.

2022 | SafeAI@AAAI
Show All
- Source
- Cite
- Save
Citations (0)
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Model checking C++ programs.

2022 Softw. Test. Verification Reliab.
Show All
- Source
- Cite
- Save
Citations (0)
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution).

2022 FASE | Fundamental Approaches to Software Engineering
Show All
- Source
- Cite
- Save
Citations (0)
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).

2022 | TACAS (2)
Show All
- Source
- Cite
- Save
Citations (0)
Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning

2021
- Mengya Li
- Lucas C. Cordeiro
Show All
- Source
- Cite
- Save
Citations (0)
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs

2021 TAP | Tests and Proofs
Show All
- Source
- Cite
- Save
Citations (0)
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction.

2021 arXiv: Cryptography and Security
Show All
- Source
- Cite
- Save
Citations (0)
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.

2021 arXiv: Cryptography and Security
Show All
- Source
- Cite
- Save
Citations (0)
Multi-core synthesis and maximum satisfiability applied to optimal sizing of solar photovoltaic systems

2021
Show All
- Source
- Cite
- Save
Citations (0)