Felipe R. Monteiro

Identifiers

• name variant Felipe R. Monteiro 0.60 · backfill

Papers (5)

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

Mentions

• 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 3 shared papers
• Mikhail R. Gadelha 2 shared papers
• Bart Jacobs 1 shared papers
• Byron Cook 1 shared papers
• Carolyn Zech 1 shared papers
• Celina Val 1 shared papers
• Cicero F. F. Costa Filho 1 shared papers
• Denis A. Nicole 1 shared papers
• Enrico Steffinlongo 1 shared papers
• Marly G. F. Costa 1 shared papers
• Michael Tautschnig 1 shared papers
• Phillipe A. Pereira 1 shared papers
• Rahul Kumar 1 shared papers
• Ranjit Jhala 1 shared papers
• Rebecca Rumbul 1 shared papers
• Remi Delmas 1 shared papers
• Thanh Nguyen 1 shared papers
• Zyad Hassan 1 shared papers