Felipe R. Monteiro

According to our database, Felipe R. Monteiro authored at least 24 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Model checking C++ programs.

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro

Softw. Test. Verification Reliab., 2022

Summary of Model Checking C++ Programs.

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2021

Code-level model checking in the software development workflow at Amazon Web Services.

Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Softw. Pract. Exp., 2021

2020

Code-level model checking in the software development workflow.

Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution).

Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Experimental Data for Model Checking C++03 Programs.

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro

Dataset, September, 2019

Boost the Impact of Continuous Formal Verification in Industry.

Felipe R. Monteiro, Mikhail Y. R. Gadelha, Lucas C. Cordeiro

CoRR, 2019

Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Enrico Steffinlongo, Lucas C. Cordeiro, Denis A. Nicole

CoRR, 2019

ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution).

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs.

Felipe R. Monteiro, Erickson H. da S. Alves, Isabela da Silva, Hussama Ismail, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Sci. Comput. Program., 2018

Towards counterexample-guided k-induction for fast bug detection.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract).

Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

ESBMC 5.0: an industrial-strength C model checker.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Bounded model checking of C++ programs based on the Qt cross-platform framework.

Felipe R. Monteiro, Mário Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Softw. Test. Verification Reliab., 2017

BMCLua: A Translator for Model Checking Lua Programs.

Felipe R. Monteiro, Francisco A. P. Januário, Lucas C. Cordeiro, Eddie Batista de Lima Filho

ACM SIGSOFT Softw. Eng. Notes, 2017

SMT-based context-bounded model checking for CUDA programs.

Phillipe A. Pereira, Higo F. Albuquerque, Isabela da Silva, Hendrio Marques, Felipe R. Monteiro, Ricardo Ferreira, Lucas C. Cordeiro

Concurr. Comput. Pract. Exp., 2017

2016

Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version).

Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa

CoRR, 2016

ESBMC^QtOM: A Bounded Model Checking Tool to Verify Qt Applications.

Mário Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

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.

Felipe R. Monteiro

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration.

Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, Cicero Ferreira Fernandes Costa Filho, Marly Guimarães Fernandes Costa

Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

2015

Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version).

Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

CoRR, 2015

Bounded model checking of C++ programs based on the Qt framework.

Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

2013

SMT-Based Bounded Model Checking of C++ Programs.

Mikhail Ramalho, Mauro Freitas, Felipe Rodrigues Monteiro Sousa, Hendrio Marques, Lucas C. Cordeiro, Bernd Fischer

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2012

WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning.

Felipe Rodrigues Monteiro Sousa, Thais Helena Chaves de Castro

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012