Felipe R. Monteiro
Felipe R. Monteiro
Amazon Web Services
Dirección de correo verificada de amazon.com - Página principal
Título
Citado por
Citado por
Año
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
382018
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
232019
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
182017
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
172012
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
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
142018
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
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
52018
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
42020
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
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
3*2020
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
32018
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
22017
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
22016
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
Boost the Impact of Continuous Formal Verification in Industry
FR Monteiro, MR Gadelha, LC Cordeiro
arXiv preprint arXiv:1904.06152, 2019
12019
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, 2021
2021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20