Mikhail R. Gadelha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
5
Active years
2019–2025
Best venue rank
National
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TACAS | ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). | Tong Wu, Xianzhiyu Li, Edoardo Manino, Rafael S Menezes, Mikhail R. Gadelha, Shale Xiong, Norbert Tihanyi, Pavlos Petoumenos, Lucas C. Cordeiro |
| 2024 | TACAS | ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). | Rafael S Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Braue, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro |
| 2023 | FASE | FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). | Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro |
| 2022 | ICST | Summary of Model Checking C++ Programs. | Felipe R. Monteiro, Mikhail R. Gadelha, 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 |
| 2021 | FASE | FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution). | Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro |
| 2021 | HCI | Visual Prediction Based on Photorealistic Style Transfer. | Everlandio Fernandes, Everton Lima Aleixo, Wesley Jacinto Barreira, Mikhail R. Gadelha, Aasim Khurshid, Sergio Cleger Tamayo |
| 2021 | HCI | Software Usability Evaluation for Augmented Reality Through User Tests. | Guto Kawakami, Aasim Khurshid, Mikhail R. Gadelha |
| 2020 | HCI | Automatic Contrast Evaluation for Android Themes. | Adriano Gil, Juliana Postal, Adlia Ferreira, Daydlene Gonalves, Bianca Hayek Bianco, Mikhail R. Gadelha |
| 2019 | HCI | Themes Validation Tool. | Everlandio Fernandes, Rodrigo Correia, Adriano Gil, Juliana Postal, Mikhail R. Gadelha |
| 2019 | HCI | A Robust and Real-Time Face Anti-spoofing Method Based on Texture Feature Analysis. | Aasim Khurshid, Sergio Cleger Tamayo, Everlandio Fernandes, Mikhail R. Gadelha, Mauro Tefilo |