Follow
Rodrigo Otoni
Title
Cited by
Cited by
Year
Accurate smart contract verification through direct modelling
M Marescotti, R Otoni, L Alt, P Eugster, AEJ Hyvärinen, N Sharygina
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
322020
A Solicitous Approach to Smart Contract Verification
R Otoni, M Marescotti, L Alt, P Eugster, A Hyvärinen, N Sharygina
ACM Transactions on Privacy and Security 26 (2), 1-28, 2023
192023
Theory-specific proof steps witnessing correctness of SMT executions
R Otoni, M Blicha, P Eugster, AEJ Hyvärinen, N Sharygina
2021 58th ACM/IEEE Design Automation Conference (DAC), 541-546, 2021
152021
Local analysis of determinism for CSP
R Otoni, A Cavalcanti, A Sampaio
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
82017
Symbolic Model Checking for TLA+ Made Faster
R Otoni, I Konnov, J Kukovec, P Eugster, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2023
52023
Towards an Algebraic Specification of Quantum Networks
A Buckley, P Chuprikov, R Otoni, R Rand, R Soulé, P Eugster
Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum …, 2023
22023
An Algebraic Language for Specifying Quantum Networks
A Buckley, P Chuprikov, R Otoni, R Soulé, R Rand, P Eugster
Proceedings of the ACM on Programming Languages 8 (PLDI), 1313-1335, 2024
12024
CHC Model Validation with Proof Guarantees
R Otoni, M Blicha, P Eugster, N Sharygina
International Conference on Integrated Formal Methods, 62-81, 2023
12023
Automated Verification of Blockchain Technologies with Correctness Guarantees
RB Otoni
Università della Svizzera italiana, 2023
12023
Automatisierte Garantierte Blockchain-Technologie Verifizierung
R Otoni
Ausgezeichnete Informatikdissertationen 2023 (Band 24), 191-200, 2024
2024
A Strategy for Local Analysis of Determinism
RB Otoni
Universidade Federal de Pernambuco, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–11