Rodrigo Otoni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | PyCHC: A Framework for Certified Horn Solving and CHC-Based Design. | Anna Becchi, Martin Blicha, Rodrigo Otoni, Natasha Sharygina |
| 2026 | CAV | The TLA+ Model Checker Apalache. | Rodrigo Otoni, Shon Feder, Jure Kukovec, Andrey Kupriyanov, Gabriela Moreira, Philip Offtermatt, Thomas Pani, Thanh-Hai Tran, Igor Konnov |
| 2026 | DATE | Towards Input-Distribution-Aware Approximate Multiplier Generation for CNNs. | Alessandro Buccolini, Marco Biasion, Rodrigo Otoni, George A. Constantinides, Laura Pozzi |
| 2025 | DATE | Monomorphism-Based CGRA Mapping Via Space and Time Decoupling. | Cristian Tirelli, Rodrigo Otoni, Laura Pozzi |
| 2025 | TACAS | Unsatisfiability Proofs for Horn Solving. | Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina |
| 2023 | IFM | CHC Model Validation with Proof Guarantees. | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina |
| 2023 | SIGCOMM | Towards an Algebraic Specification of Quantum Networks. | Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soul, Patrick Eugster |
| 2023 | TACAS | Symbolic Model Checking for TLA+ Made Faster. | Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina |
| 2021 | DAC | Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. | Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina |
| 2020 | ISoLA | Accurate Smart Contract Verification Through Direct Modelling. | Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvrinen, Natasha Sharygina |