Rodrigo Otoni

According to our database, Rodrigo Otoni authored at least 7 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Solicitous Approach to Smart Contract Verification.

Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

ACM Trans. Priv. Secur., May, 2023

Symbolic Model Checking for TLA+ Made Faster.

Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Towards an Algebraic Specification of Quantum Networks.

Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster

Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing, 2023

CHC Model Validation with Proof Guarantees.

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Natasha Sharygina

Proceedings of the iFM 2023 - 18th International Conference, 2023

2021

Theory-Specific Proof Steps Witnessing Correctness of SMT Executions.

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Accurate Smart Contract Verification Through Direct Modelling.

Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2017

Local Analysis of Determinism for CSP.

Rodrigo Otoni, Ana Cavalcanti, Augusto Sampaio

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017