Felipe R. Monteiro

Identifiers

• name variant Felipe R. Monteiro 0.60 · backfill

Papers (7)

1. Kani: A Model Checker for Rust cs.SE · 2026 · author #5
2. Verifying the Rust Standard Library cs.LO · 2026 · author #7
3. Model Checking C++ Programs cs.SE · 2021 · author #1
4. Boost the Impact of Continuous Formal Verification in Industry cs.SE · 2019 · author #1
5. Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space cs.LO · 2019 · author #2
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 cs.SE · 2016 · author #1
7. Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version) cs.CY · 2016 · author #1

Mentions

• 2107.01093 #1 · arxiv_oai · confidence 0.70 Felipe R. Monteiro
• 1904.06152 #1 · arxiv_oai · confidence 0.70 Felipe R. Monteiro
• 1904.02501 #2 · arxiv_oai · confidence 0.70 Felipe R. Monteiro
• 1608.00143 #1 · arxiv_oai · confidence 0.70 Felipe R. Monteiro
• 2607.01504 #5 · arxiv_oai · confidence 0.70 Felipe R. Monteiro
• 2606.17374 #7 · arxiv_oai · confidence 0.70 Felipe R. Monteiro
• 1610.10079 #1 · arxiv_oai · confidence 0.70 Felipe R. Monteiro

Frequent Coauthors

• Lucas C. Cordeiro 4 shared papers
• Mikhail R. Gadelha 3 shared papers
• Carolyn Zech 2 shared papers
• Celina Val 2 shared papers
• Michael Tautschnig 2 shared papers
• Rahul Kumar 2 shared papers
• Thanh Nguyen 2 shared papers
• Zyad Hassan 2 shared papers
• Adri\'an Palacios 1 shared papers
• Bart Jacobs 1 shared papers
• Byron Cook 1 shared papers
• Cicero F. F. Costa Filho 1 shared papers
• Daniel Schwartz-Narbonne 1 shared papers
• Denis A. Nicole 1 shared papers
• Enrico Steffinlongo 1 shared papers
• Justus Adam 1 shared papers
• Marly G. F. Costa 1 shared papers
• Phillipe A. Pereira 1 shared papers
• Qinheping Hu 1 shared papers
• Ranjit Jhala 1 shared papers