Mikhail R. Gadelha

Orcid: 0000-0001-6540-6587

Affiliations:
  • University of Southampton, UK
  • Federal University of Amazonas, Manaus, Brazil


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST.
CoRR, 2024

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023
ESBMC v7.4: Harnessing the Power of Intervals.
CoRR, 2023

ESBMC v7.3: Model Checking C++ Programs Using Clang AST.
Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022
FuSeBMC v.5: Interval Analysis and Methods for Test Case Generation.
Dataset, December, 2022

Model checking C++ programs.
Softw. Test. Verification Reliab., 2022

ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.
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.
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.
Int. J. Softw. Tools Technol. Transf., 2021

Verification and refutation of C programs based on k-induction and invariant inference.
Int. J. Softw. Tools Technol. Transf., 2021

Software Usability Evaluation for Augmented Reality Through User Tests.
Proceedings of the HCI International 2021 - Late Breaking Posters, 2021

Visual Prediction Based on Photorealistic Style Transfer.
Proceedings of the Artificial Intelligence in HCI, 2021

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2021

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

An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.
Proceedings of the Software Verification - 12th International Conference, 2020

Automatic Contrast Evaluation for Android Themes.
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).
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Experimental Data for Model Checking C++03 Programs.
Dataset, September, 2019

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

Boost the Impact of Continuous Formal Verification in Industry.
CoRR, 2019

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

ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

SMT-based refutation of spurious bug reports in the clang static analyzer.
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.
Proceedings of the HCI International 2019 - Late Breaking Papers, 2019

Themes Validation Tool.
Proceedings of the HCI International 2019 - Late Breaking Posters, 2019

2018
Towards counterexample-guided k-induction for fast bug detection.
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.
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.
Int. J. Softw. Tools Technol. Transf., 2017

Counterexample-Guided k-Induction Verification for Fast Bug Detection.
CoRR, 2017

Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016
Bounded model checking for fixed-point digital filters.
J. Braz. Comput. Soc., 2016

2012
Proposal of a cryptography method using gray scale digital images.
Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012


  Loading...