Rodrigo Otoni

15 papers A* 1A 1B 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Language for Quantifying Quantum Network Behavior.
Proc. ACM Program. Lang.
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster
2025 J jnl
An Improved Template for Approximate Computing.
CoRR
Morteza Rezaalipour, Francesco Costa, Marco Biasion, Rodrigo Otoni, George A. Constantinides, Laura Pozzi
2025 A conf
Monomorphism-Based CGRA Mapping Via Space and Time Decoupling.
DATE
Cristian Tirelli, Rodrigo Otoni, Laura Pozzi
2025 J jnl
Monomorphism-based CGRA Mapping via Space and Time Decoupling.
CoRR
Cristian Tirelli, Rodrigo Otoni, Laura Pozzi
2025 — conf
Unsatisfiability Proofs for Horn Solving.
TACAS (2)
Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina
2025 J jnl
Validation of CHC Satisfiability with ATHENA.
Formal Aspects Comput.
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina
2024 J jnl
An Algebraic Language for Specifying Quantum Networks.
Proc. ACM Program. Lang.
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster
2023 J jnl
A Solicitous Approach to Smart Contract Verification.
ACM Trans. Priv. Secur.
Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2023 — ch.
Automatisierte Garantierte Blockchain-Technologie Verifizierung.
Ausgezeichnete Informatikdissertationen
Rodrigo Otoni
2023 B conf
CHC Model Validation with Proof Guarantees.
iFM
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina
2023 — conf
Symbolic Model Checking for TLA+ Made Faster.
TACAS (1)
Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina
2023 — conf
Towards an Algebraic Specification of Quantum Networks.
QuNet@SIGCOMM
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
2021 A* conf
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions.
DAC
Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2020 — conf
Accurate Smart Contract Verification Through Direct Modelling.
ISoLA (3)
Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina
2017 — conf
Local Analysis of Determinism for CSP.
SBMF
Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio