Rafael Menezes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2018–2024
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISSTA | ESBMC-Python: A Bounded Model Checker for Python Programs. | Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro |
| 2023 | TACAS | EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). | Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro |
| 2022 | ISSTA | ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. | Franz Braue, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro |
| 2022 | ISSTA | ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. | Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro |
| 2020 | FASE | ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). | Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole |
| 2020 | TACAS | Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). | Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto |
| 2018 | TACAS | Map2Check Using LLVM and KLEE - (Competition Contribution). | Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto |