Felipe R. Monteiro
TitleCited byYear
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
412013
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
172018
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
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
142017
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
142015
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
112016
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
102017
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
62019
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
52018
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
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
32018
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
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
12017
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
Boost the Impact of Continuous Formal Verification in Industry
FR Monteiro, MR Gadelha, LC Cordeiro
arXiv preprint arXiv:1904.06152, 2019
2019
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space
MR Gadelha, FR Monteiro, E Steffinlongo, LC Cordeiro, DA Nicole
arXiv preprint arXiv:1904.02501, 2019
2019
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
2018
The system can't perform the operation now. Try again later.
Articles 1–18