( en | de | ru )

 

Disambiguierung von "Menezes, Rafael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).

, , , , und . TACAS (2), Volume 13994 von Lecture Notes in Computer Science, Seite 541-546. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Flo Menezes

Juliao Menezes

Shalini Menezes

Prashanth Menezes

Filipa Menezes Cordeiro

 

Weitere Publikationen von Autoren mit dem selben Namen

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