Rodrigo Otoni

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Partial Observability

Model Validation

Automated Theorem Proving

Top Venues

Proc. ACM Program. Lang.

Publications

Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster
An Algebraic Language for Specifying Quantum Networks. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina
CHC Model Validation with Proof Guarantees. iFM (2023)
Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
A Solicitous Approach to Smart Contract Verification. ACM Trans. Priv. Secur. 26 (2) (2023)
Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina
Symbolic Model Checking for TLA+ Made Faster. TACAS (1) (2023)
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
Towards an Algebraic Specification of Quantum Networks. QuNet@SIGCOMM (2023)
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions. DAC (2021)
Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
Accurate Smart Contract Verification Through Direct Modelling. ISoLA (3) (2020)
Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio
Local Analysis of Determinism for CSP. SBMF (2017)