publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2026

  1. NFM
    Verifying the Rust Standard Library
    Byron Cook, Remi Delmas, Zyad Hassan, and 9 more authors
    In NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings, 2026
    DOI
    1 Google Scholar citations
  2. arXiv
    Kani: A Model Checker for Rust
    Rémi Delmas, Zyad Hassan, Qinheping Hu, and 9 more authors
    arXiv preprint arXiv:2607.01504, 2026
    0 Google Scholar citations

2022

  1. ICST
    Summary of Model Checking C++ Programs
    Felipe R. Monteiro, Mikhail R. Gadelha, Rafael Menezes, and 1 more author
    In 15th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2022
    HTML
  2. STVR
    Model Checking C++ Programs
    Felipe R. Monteiro, Mikhail R. Gadelha, and Lucas C. Cordeiro
    Software Testing, Verification and Reliability, 2022
    HTML
    43 Google Scholar citations

2021

  1. SPE
    Code-Level Model Checking in the Software Development Workflow at Amazon Web Services
    Nathan Chong, Byron Cook, Konstantinos Kallas, and 6 more authors
    Software: Practice and Experience, 2021
    HTML

2020

  1. FASE
    ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory (Competition Contribution)
    Mikhail R. Gadelha, Rafael Menezes, Felipe R. Monteiro, and 2 more authors
    In 23rd International Conference on Fundamental Approaches to Software Engineering (FASE), 2020
    PDF
  2. ICSE
    Code-Level Model Checking in the Software Development Workflow
    Nathan Chong, Byron Cook, Konstantinos Kallas, and 6 more authors
    In 42nd International Conference on Software Engineering (ICSE), 2020
    HTML
    69 Google Scholar citations
  3. M.Sc.
    Formal Verification to Ensuring the Memory Safety of C++ Programs
    Felipe R. Monteiro
    Federal University of Amazonas, 2020
    PDF

2019

  1. TAPAS
    Boost the Impact of Continuous Formal Verification in Industry
    Felipe R. Monteiro, Mikhail R. Gadelha, and Lucas C. Cordeiro
    In 10th Workshop on Tools for Automatic Program Analysis (TAPAS), 2019
    HTML
  2. TACAS
    ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution)
    Mikhail R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, and 1 more author
    In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019
    PDF

2018

  1. FSE
    Towards Counterexample-guided k-Induction for Fast Bug Detection
    Mikhail R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, and 1 more author
    In 25th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), 2018
    PDF
  2. ASE
    ESBMC 5.0: An Industrial-Strength C Model Checker
    Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, and 3 more authors
    In 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018
    DOI PDF Video
    195 Google Scholar citations
  3. ASE
    Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)
    Felipe R. Monteiro, Marcio A. P. Garcia, Lucas C. Cordeiro, and 1 more author
    In 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018
    DOI PDF Video
  4. SCP
    ESBMC-GPU: A Context-Bounded Model Checking Tool to Verify CUDA Programs
    Felipe R. Monteiro, Erickson H. Alves, Isabela Silva, and 3 more authors
    Science of Computer Programming, 2018
    DOI PDF
    38 Google Scholar citations

2017

  1. SEN
    BMCLua: A Translator for Model Checking Lua Programs
    Felipe R. Monteiro, Fabricio A. Januario, Lucas C. Cordeiro, and 1 more author
    ACM SIGSOFT Software Engineering Notes, 2017
    DOI PDF
  2. STVR
    Bounded Model Checking of C++ Programs based on the Qt Cross-Platform Framework
    Felipe R. Monteiro, Marcio A. P. Garcia, Lucas C. Cordeiro, and 1 more author
    Software Testing, Verification and Reliability, 2017
    DOI PDF Video

2016

  1. SPIN
    ESBMC-QtOM: A Bounded Model Checking Tool to Verify Qt Applications
    Marcio A. P. Garcia, Felipe R. Monteiro, Lucas C. Cordeiro, and 1 more author
    In 23rd International SPIN Symposium on Model Checking of Software (SPIN), 2016
    PDF Video
  2. FIE
    Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration
    Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro, and 2 more authors
    In 46th Annual Frontiers in Education Conference (FIE), 2016
    PDF
  3. FSE
    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
    In 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2016
    PDF
  4. CCPE
    SMT-Based Context-Bounded Model Checking for CUDA Programs
    Phillipe Pereira, Hugo Albuquerque, Isabela Silva, and 4 more authors
    Concurrency and Computation: Practice and Experience, 2016
    DOI PDF

2015

  1. GCCE
    Bounded Model Checking of C++ Programs Based on the Qt Framework
    Felipe R. Monteiro, Lucas C. Cordeiro, and Eddie B. Lima Filho
    In IEEE 4th Global Conference on Consumer Electronics (GCCE), 2015
    PDF
  2. ENCOSIS
    Verificacao de Programas C++ Baseados no Framework Multiplataforma Qt
    Felipe R. Monteiro, Lucas C. Cordeiro, and Eddie B. Lima Filho
    In IV Encontro Regional de Computacao e Sistemas de Informacao (ENCOSIS), 2015
    PDF

2013

  1. ECBS
    SMT-Based Bounded Model Checking of C++ Programs
    Mikhail Ramalho, Mauro Lopes, Felipe R. Monteiro, and 3 more authors
    In 20th International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS), 2013
    PDF

2012

  1. SBIE
    WorldTour: Software para Suporte no Ensino de Criancas Autistas
    Felipe R. Monteiro, Elaine A. B. Costa, and Thais H. C. Castro
    In 23rd Brazilian Symposium on Computers in Education (SBIE), 2012
    PDF
  2. COMPSAC
    WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning
    Felipe R. Monteiro and Thais H. C. Castro
    In IEEE 36th Annual Computer Software and Applications Conference (COMPSAC), 2012
    PDF