All Stories

  1. ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory

    Article • January 2020, Springer Science + Business Media

    Mr. Felipe R. Monteiro

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

    Article • September 2018, ACM (Association for Computing Machinery)

    Mr. Felipe R. Monteiro

  3. BMCLua

    Article • ACM SIGSOFT Software Engineering Notes, September 2017, ACM (Association for Computing Machinery)

    Mr. Felipe R. Monteiro

  4. ESBMC-GPU A Context-Bounded Model Checking Tool to Verify CUDA Programs

    Article • Science of Computer Programming, September 2017, Elsevier

    Mr. Felipe R. Monteiro

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

    Article • Software Testing Verification and Reliability, March 2017, Wiley

    Mr. Felipe R. Monteiro

  6. 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

    Article • November 2016, ACM (Association for Computing Machinery)

    Mr. Felipe R. Monteiro

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

    Article • October 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Mr. Felipe R. Monteiro

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

    Article • Concurrency and Computation Practice and Experience, August 2016, Wiley

    Dr. Lucas C Cordeiro, Mr. Felipe R. Monteiro

  9. ESBMC $$^{QtOM}$$ Q t O M : A Bounded Model Checking Tool to Verify Qt Applications

    Article • January 2016, Springer Science + Business Media

    Mr. Felipe R. Monteiro

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

    Article • October 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Mr. Felipe R. Monteiro

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

    Article • April 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Mr. Felipe R. Monteiro

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

    Article • July 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Mr. Felipe R. Monteiro