Mikhail Yasha Ramalho Gadelha
Mikhail Yasha Ramalho Gadelha
Sidia
Verified email at sidia.com
Title
Cited by
Cited by
Year
ESBMC 1.22
J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer
International Conference on Tools and Algorithms for the Construction and …, 2014
632014
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
542017
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
432013
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
372018
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference
MR Gadelha, F Monteiro, L Cordeiro, D Nicole
International Conference on Tools and Algorithms for the Construction and …, 2019
212019
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), 1-20, 2016
182016
Encoding floating-point numbers using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks
MYR Gadelha, LC Cordeiro, DA Nicole
Brazilian Symposium on Formal Methods, 91-106, 2017
92017
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
52019
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
52018
Proposal of a cryptography method using gray scale digital images
MYR Gadelha, CFF Costa Filho, MGF Costa
2012 International Conference for Internet Technology and Secured …, 2012
52012
Counterexample-guided k-induction verification for fast bug detection
MYR Gadelha, LC Cordeiro, DA Nicole
arXiv preprint arXiv:1706.02136, 2017
42017
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory:(Competition Contribution)
MR Gadelha, R Menezes, FR Monteiro, LC Cordeiro, D Nicole
Fundamental Approaches to Software Engineering 12076, 525, 2020
32020
Themes validation tool
E Fernandes, R Correia, A Gil, J Postal, MR Gadelha
International Conference on Human-Computer Interaction, 16-22, 2019
22019
A robust and real-time face anti-spoofing method based on texture feature analysis
A Khurshid, SC Tamayo, E Fernandes, MR Gadelha, M Teofilo
International Conference on Human-Computer Interaction, 484-496, 2019
22019
An Efficient Floating-Point Bit-Blasting API for Verifying C Programs
MR Gadelha, LC Cordeiro, DA Nicole
Software Verification, 178-195, 2020
12020
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, 1-21, 2020
12020
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
12019
Boost the Impact of Continuous Formal Verification in Industry
FR Monteiro, MR Gadelha, LC Cordeiro
arXiv preprint arXiv:1904.06152, 2019
12019
Using clang as a Frontend on a Formal Verification Tool
MR Gadelha, J Morse, L Cordeiro, D Nicole
12017
Verificação baseada em indução matemática para programas C++
MYR Gadelha
Universidade Federal do Amazonas, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20