Follow
Mikhail Yasha Ramalho Gadelha
Mikhail Yasha Ramalho Gadelha
Igalia
Verified email at igalia.com
Title
Cited by
Cited by
Year
ESBMC 5.0: an industrial-strength C model checker
MR Gadelha, FR Monteiro, J Morse, LC Cordeiro, B Fischer, DA Nicole
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
1022018
Handling loops in bounded model checking of C programs via k-induction
MYR Gadelha, HI Ismail, LC Cordeiro
International journal on software tools for technology transfer 19 (1), 97-114, 2017
922017
ESBMC 1.22: (Competition Contribution)
J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
732014
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference: (Competition Contribution)
MR Gadelha, F Monteiro, L Cordeiro, D Nicole
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
702019
SMT-based bounded model checking of C++ programs
M Ramalho, M Freitas, F Sousa, H Marques, L Cordeiro, B Fischer
2013 20th IEEE International Conference and Workshops on Engineering of …, 2013
492013
Bounded model checking for fixed-point digital filters
RB Abreu, MYR Gadelha, LC Cordeiro, EB de Lima Filho, WS da Silva
Journal of the Brazilian Computer Society 22, 1-20, 2016
242016
Model checking C++ programs
FR Monteiro, MR Gadelha, LC Cordeiro
Software Testing, Verification and Reliability 32 (1), e1793, 2022
202022
ESBMC 6.1: automated test case generation using bounded model checking
MR Gadelha, RS Menezes, LC Cordeiro
International Journal on Software Tools for Technology Transfer 23, 857-861, 2021
182021
FuSeBMC: A white-box fuzzer for finding security vulnerabilities in C programs (competition contribution)
KM Alshmrany, RS Menezes, MR Gadelha, LC Cordeiro
International Conference on Fundamental Approaches to Software Engineering …, 2021
182021
SMT-based refutation of spurious bug reports in the clang static analyzer
MR Gadelha, E Steffinlongo, LC Cordeiro, B Fischer, D Nicole
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
172019
Verification and refutation of C programs based on k-induction and invariant inference
OM Alhawi, H Rocha, MR Gadelha, LC Cordeiro, E Batista
International journal on software tools for technology transfer 23 (2), 115-135, 2021
142021
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory: (Competition Contribution)
MR Gadelha, R Menezes, FR Monteiro, LC Cordeiro, D Nicole
International Conference on Fundamental Approaches to Software Engineering …, 2020
142020
Encoding floating-point numbers using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks
MYR Gadelha, LC Cordeiro, DA Nicole
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
132017
A robust and real-time face anti-spoofing method based on texture feature analysis
A Khurshid, SC Tamayo, E Fernandes, MR Gadelha, M Teofilo
HCI International 2019–Late Breaking Papers: 21st HCI International …, 2019
102019
Incremental bounded model checking of artificial neural networks in CUDA
LH Sena, IV Bessa, MR Gadelha, LC Cordeiro, E Mota
2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 1-8, 2019
92019
An efficient floating-point bit-blasting API for verifying C programs
MR Gadelha, LC Cordeiro, DA Nicole
International Workshop on Numerical Software Verification, 178-195, 2020
72020
Towards counterexample-guided k-induction for fast bug detection
MR Gadelha, FR Monteiro, LC Cordeiro, DA Nicole
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
72018
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation: (Competition Contribution)
M Aldughaim, KM Alshmrany, MR Gadelha, R de Freitas, LC Cordeiro
International Conference on Fundamental Approaches to Software Engineering …, 2023
42023
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC
F Brauße, F Shmarov, R Menezes, MR Gadelha, K Korovin, G Reger, ...
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
42022
Counterexample-guided k-induction verification for fast bug detection
MYR Gadelha, LC Cordeiro, DA Nicole
arXiv preprint arXiv:1706.02136, 2017
42017
The system can't perform the operation now. Try again later.
Articles 1–20