Felipe R. Monteiro
Felipe R. Monteiro
Amazon Web Services
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
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
302018
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
172019
Bounded model checking of C++ programs based on the Qt cross‐platform framework
FR Monteiro, MAP Garcia, LC Cordeiro, EB de Lima Filho
Software Testing, Verification and Reliability 27 (3), e1632, 2017
172017
Bounded Model Checking of C++ Programs Based on the Qt Framework
FRM Sousa, LC Cordeiro, EB de Lima Filho
IEEE 4th Global Conference on Consumer Electronics, 2015
162015
Worldtour: Software para suporte no ensino de crianças autistas
FRM Sousa, EAB Costa, THC de Castro
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2012
162012
ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications
M Garcia, F Monteiro, L Cordeiro, E de Lima Filho
International Symposium on Model Checking Software, 2016
122016
SMT‐based context‐bounded model checking for CUDA programs
P Pereira, H Albuquerque, I da Silva, H Marques, F Monteiro, R Ferreira, ...
Concurrency and Computation: Practice and Experience 29 (22), e3934, 2017
112017
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
FR Monteiro, EHS Alves, IS Silva, HI Ismail, LC Cordeiro, ...
Science of Computer Programming 152, 63-69, 2018
102018
Towards Counterexample-Guided k-Induction for Fast Bug Detection
MR Gadelha, FR Monteiro, LC Cordeiro, DA Nicole
26th ACM Joint European Software Engineering Conference and Symposium on the …, 2018
62018
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract)
FR Monteiro, MAP Garcia, LC Cordeiro, EB de Lima Filho
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
42018
Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space …
FR Monteiro
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
4*2016
WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning
FRM Sousa, THC d. Castro
Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th …, 2012
42012
BMCLua: A Translator for Model Checking Lua Programs
FR Monteiro, FAP Januário, LC Cordeiro, EB de Lima Filho
ACM SIGSOFT Software Engineering Notes 42 (3), 1-10, 2017
32017
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory
MR Gadelha, R Menezes, FR Monteiro, LC Cordeiro, D Nicole
23rd International Conference on Fundamental Approaches to Software …, 2020
22020
Verificação de Programas C++ Baseados no Framework Multiplataforma Qt
FRM Sousa, LC Cordeiro, EB Lima Filho
Encontro Regional de Computação e Sistemas de Informação 4, 181-190, 2015
2*2015
Code-Level Model Checking in the Software Development Workflow
N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ...
42nd International Conference on Software Engineering (ICSE), 2020
12020
Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration
FR Monteiro, PA Pereira, LC Cordeiro, CFF Costa Filho, MGF Costa
2016 IEEE Frontiers in Education Conference (FIE), 1-9, 2016
12016
Formal Verification to Ensuring the Memory Safety of C++ Programs
FR Monteiro
Universidade Federal do Amazonas, 2020
2020
Boost the Impact of Continuous Formal Verification in Industry
FR Monteiro, MR Gadelha, LC Cordeiro
arXiv preprint arXiv:1904.06152, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20