Rafael Menezes

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 12

Top Topics

Symbolic Execution

Concurrent Programs

Top Venues

Publications

Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
ESBMC-Python: A Bounded Model Checker for Python Programs. CoRR (2024)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). TACAS (2) (2023)
Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro
ESBMC v7.4: Harnessing the Power of Intervals. CoRR (2023)
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. IEEE Access 10 (2022)
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. ISSTA (2022)
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation. CoRR (2022)
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. CoRR (2022)
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. ISSTA (2022)
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols. CoRR (2021)
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). TACAS (2) (2020)
Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). FASE (2020)
Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto
Map2Check Using LLVM and KLEE - (Competition Contribution). TACAS (2) (2018)