( en | de | ru )

 

Disambiguation of "Cordeiro, Lucas C."

Author of the publication

copydeleteadd this publication to your clipboard
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution).

, , , and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 534-537. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Silvio Cordeiro

Caroline Cordeiro

Albino Cordeiro

Daniel Cordeiro

Rodrigo Cordeiro Tupynambá

 

Other publications of authors with the same name

Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study.. LADC (Companion), page 8-9. Brazilian Computing Society, (2021)Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution)., , , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 403-407. Springer, (2020)ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution)., , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 209-213. Springer, (2019)Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints., , , and . ICESS, page 396-403. IEEE Computer Society, (2009)Bounded Model Checking of Software Using Interval Methods via Contractors., , , , and . CoRR, (2020)LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)., , , , and . CoRR, (2023)Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)., , , , and . CoRR, (2017)Towards a model-driven engineering approach for developing embedded hard real-time software., , and . SAC, page 308-314. ACM, (2008)Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution)., , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 934-937. Springer, (2016)Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples., , , and . IFM, volume 7321 of Lecture Notes in Computer Science, page 128-142. Springer, (2012)