( en | de | ru )

 

Disambiguation of "Menezes, Rafael"

Author of the publication

copydeleteadd this publication to your clipboard
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.

, , , , , , and . ISSTA, page 773-776. ACM, (2022)

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.

Flo Menezes

Juliao Menezes

Shalini Menezes

Prashanth Menezes

Filipa Menezes Cordeiro

 

Other publications of authors with the same name

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution)., , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 541-546. Springer, (2023)ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution)., , , , and . FASE, volume 12076 of Lecture Notes in Computer Science, page 525-529. Springer, (2020)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-Python: A Bounded Model Checker for Python Programs., , , , and . CoRR, (2024)Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs., , , , , and . IEEE Access, (2022)Map2Check Using LLVM and KLEE - (Competition Contribution)., , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 437-441. Springer, (2018)ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation., , , , and . ISSTA, page 777-780. ACM, (2022)ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC., , , , , , and . ISSTA, page 773-776. ACM, (2022)FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs., , , and . CoRR, (2020)ESBMC v7.3: Model Checking C++ Programs Using Clang AST., , , , and . SBMF, volume 14414 of Lecture Notes in Computer Science, page 141-152. Springer, (2023)