( 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

Prashanth Menezes

Shalini 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)Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs., , , , , and . IEEE Access, (2022)ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation., , , , and . ISSTA, page 777-780. ACM, (2022)Map2Check Using LLVM and KLEE - (Competition Contribution)., , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 437-441. Springer, (2018)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 . ISSTA, page 1836-1840. ACM, (2024)ESBMC-Jimple ISSTA'22 Benchmarks., , , , and . (May 2022)ESBMC v7.4: Harnessing the Power of Intervals., , , , , , , , , and 2 other author(s). CoRR, (2023)ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC., , , , , , and . ISSTA, page 773-776. ACM, (2022)