Felipe R. Monteiro

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