Mikhail R. Gadelha

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Formal Verification

Feature Analysis

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

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