Follow
Felipe R. Monteiro
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
772018
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
492019
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
462013
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
27*2018
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
242017
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
222012
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
212020
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
202017
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
202015
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
142016
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
12*2020
Code‐level model checking in the software development workflow at Amazon web services
N Chong, B Cook, J Eidelman, K Kallas, K Khazem, FR Monteiro, ...
Software: Practice and Experience 51 (4), 772-797, 2021
92021
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
72018
Model checking C++ programs
FR Monteiro, MR Gadelha, LC Cordeiro
Software Testing, Verification and Reliability 32 (1), e1793, 2022
62022
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
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
32016
Boost the impact of continuous formal verification in industry
FR Monteiro, MR Gadelha, LC Cordeiro
arXiv preprint arXiv:1904.06152, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20