Felipe R. Monteiro

Orcid: 0000-0001-9420-9056

Affiliations:
  • Federal University of Amazonas, Manaus, Brazil


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Model checking C++ programs.
Softw. Test. Verification Reliab., 2022

Summary of Model Checking C++ Programs.
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.
Softw. Pract. Exp., 2021

2020
Code-level model checking in the software development workflow.
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).
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019
Experimental Data for Model Checking C++03 Programs.
Dataset, September, 2019

Boost the Impact of Continuous Formal Verification in Industry.
CoRR, 2019

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

ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution).
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.
Sci. Comput. Program., 2018

Towards counterexample-guided k-induction for fast bug detection.
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).
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

ESBMC 5.0: an industrial-strength C model checker.
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.
Softw. Test. Verification Reliab., 2017

BMCLua: A Translator for Model Checking Lua Programs.
ACM SIGSOFT Softw. Eng. Notes, 2017

SMT-based context-bounded model checking for CUDA programs.
Concurr. Comput. Pract. Exp., 2017

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

ESBMC<sup>QtOM</sup>: A Bounded Model Checking Tool to Verify Qt Applications.
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.
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.
Proceedings of the 2016 IEEE Frontiers in Education Conference, 2016

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

Bounded model checking of C++ programs based on the Qt framework.
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

2013
SMT-Based Bounded Model Checking of C++ Programs.
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.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012


  Loading...