Mikhail R. Gadelha

According to our database, Mikhail R. Gadelha authored at least 32 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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 Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

ESBMC v7.4: Harnessing the Power of Intervals.

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

CoRR, 2023

ESBMC v7.3: Model Checking C++ Programs Using Clang AST.

Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

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

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Model checking C++ programs.

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro

Softw. Test. Verification Reliab., 2022

ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.

Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Summary of Model Checking C++ Programs.

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2021

ESBMC 6.1: automated test case generation using bounded model checking.

Mikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro

Int. J. Softw. Tools Technol. Transf., 2021

Verification and refutation of C programs based on k-induction and invariant inference.

Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Int. J. Softw. Tools Technol. Transf., 2021

Software Usability Evaluation for Augmented Reality Through User Tests.

Guto Kawakami, Aasim Khurshid, Mikhail R. Gadelha

Proceedings of the HCI International 2021 - Late Breaking Posters, 2021

Visual Prediction Based on Photorealistic Style Transfer.

Everlandio Fernandes, Everton Lima Aleixo, Wesley Jacinto Barreira, Mikhail R. Gadelha, Aasim Khurshid, Sergio Cleger Tamayo

Proceedings of the Artificial Intelligence in HCI, 2021

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

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs.

Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro

CoRR, 2020

An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.

Mikhail R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Software Verification - 12th International Conference, 2020

Automatic Contrast Evaluation for Android Themes.

Adriano Gil, Juliana Postal, Adélia Ferreira, Daydlene Gonçalves, Bianca Hayek Bianco, Mikhail R. Gadelha

Proceedings of the HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design, 2020

ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution).

Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Experimental Data for Model Checking C++03 Programs.

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro

Dataset, September, 2019

Scalable and precise verification based on k-induction, symbolic execution and floating-point theory.

Mikhail Y. R. Gadelha

PhD thesis, 2019

Boost the Impact of Continuous Formal Verification in Industry.

Felipe R. Monteiro, Mikhail Y. R. Gadelha, Lucas C. Cordeiro

CoRR, 2019

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole

CoRR, 2019

ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution).

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.

Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

SMT-based refutation of spurious bug reports in the clang static analyzer.

Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

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 Teófilo

Proceedings of the HCI International 2019 - Late Breaking Papers, 2019

Themes Validation Tool.

Everlandio Fernandes, Rodrigo Correia, Adriano Gil, Juliana Postal, Mikhail R. Gadelha

Proceedings of the HCI International 2019 - Late Breaking Posters, 2019

2018

Towards counterexample-guided k-induction for fast bug detection.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

ESBMC 5.0: an industrial-strength C model checker.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Handling loops in bounded model checking of C programs via k-induction.

Mikhail Y. R. Gadelha, Hussama Ibrahim Ismail, Lucas C. Cordeiro

Int. J. Softw. Tools Technol. Transf., 2017

Counterexample-Guided k-Induction Verification for Fast Bug Detection.

Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole

CoRR, 2017

Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks.

Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

Bounded model checking for fixed-point digital filters.

Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir Sabino da Silva Jr.

J. Braz. Comput. Soc., 2016

2012

Proposal of a cryptography method using gray scale digital images.

Mikhail Y. R. Gadelha, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa

Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012