Felipe R. Monteiro

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 21

Top Topics

Top Venues

Softw. Test. Verification Reliab.

Publications

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
Model checking C++ programs. Softw. Test. Verification Reliab. 32 (1) (2022)
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
Summary of Model Checking C++ Programs. ICST (2022)
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
Model Checking C++ Programs. CoRR (2021)
Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow at Amazon Web Services. Softw. Pract. Exp. 51 (4) (2021)
Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow. ICSE (SEIP) (2020)
Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution). FASE (2020)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution). TACAS (3) (2019)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space. CoRR (2019)
Felipe R. Monteiro, Mikhail Y. R. Gadelha, Lucas C. Cordeiro
Boost the Impact of Continuous Formal Verification in Industry. CoRR (2019)
Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs. Sci. Comput. Program. 152 (2018)
Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). ASE (2018)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
ESBMC 5.0: an industrial-strength C model checker. ASE (2018)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
Towards counterexample-guided k-induction for fast bug detection. ESEC/SIGSOFT FSE (2018)
Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro
SMT-based context-bounded model checking for CUDA programs. Concurr. Comput. Pract. Exp. 29 (22) (2017)
Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho
Bounded model checking of C++ programs based on the Qt cross-platform framework. Softw. Test. Verification Reliab. 27 (3) (2017)
Felipe R. Monteiro, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho
BMCLua: A Translator for Model Checking Lua Programs. ACM SIGSOFT Softw. Eng. Notes 42 (3) (2017)
Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa
Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration. FIE (2016)
Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa
Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version). CoRR (2016)
Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho
: A Bounded Model Checking Tool to Verify Qt Applications. SPIN (2016)
Felipe R. Monteiro
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 modeling. SIGSOFT FSE (2016)
Felipe R. Monteiro
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 Modeling. CoRR (2016)