Mikhail R. Gadelha

22 papers A 2B 2Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
ESBMC v7.6: Enhanced model checking of C++ programs with clang AST.
Sci. Comput. Program.
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro
2025 — conf
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution).
TACAS (3)
Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael Sá Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro
2024 — conf
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).
TACAS (3)
Rafael Sá 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
2024 J jnl
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST.
CoRR
Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro
2023 — conf
ESBMC v7.3: Model Checking C++ Programs Using Clang AST.
SBMF
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
2023 J jnl
ESBMC v7.3: Model Checking C++ Programs using Clang AST.
CoRR
Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro
2023 J jnl
ESBMC v7.4: Harnessing the Power of Intervals.
CoRR
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
2023 B conf
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).
FASE
Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro
2022 A conf
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.
ISSTA
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
2022 J jnl
Model checking C++ programs.
Softw. Test. Verification Reliab.
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
2022 A conf
Summary of Model Checking C++ Programs.
ICST
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
2021 J jnl
ESBMC 6.1: automated test case generation using bounded model checking.
Int. J. Softw. Tools Technol. Transf.
Mikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro
2021 B conf
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).
FASE
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
2021 J jnl
Model Checking C++ Programs.
CoRR
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
2021 — conf
Software Usability Evaluation for Augmented Reality Through User Tests.
HCI (44)
Guto Kawakami, Aasim Khurshid, Mikhail R. Gadelha
2021 J jnl
Verification and refutation of C programs based on k-induction and invariant inference.
Int. J. Softw. Tools Technol. Transf.
Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho
2021 — conf
Visual Prediction Based on Photorealistic Style Transfer.
HCI (36)
Everlandio Fernandes, Everton Lima Aleixo, Wesley Jacinto Barreira, Mikhail R. Gadelha, Aasim Khurshid, Sergio Cleger Tamayo
2020 — conf
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.
VSTTE
Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole
2020 — conf
Automatic Contrast Evaluation for Android Themes.
HCI (44)
Adriano Gil, Juliana Postal, Adélia Ferreira, Daydlene Gonçalves, Bianca Hayek Bianco, Mikhail R. Gadelha
2020 J jnl
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs.
CoRR
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
2019 — conf
A Robust and Real-Time Face Anti-spoofing Method Based on Texture Feature Analysis.
HCI (LBP)
Aasim Khurshid, Sergio Cleger Tamayo, Everlandio Fernandes, Mikhail R. Gadelha, Mauro Teófilo
2019 — conf
Themes Validation Tool.
HCI (37)
Everlandio Fernandes, Rodrigo Correia, Adriano Gil, Juliana Postal, Mikhail R. Gadelha