Подписаться
Rodrigo Otoni
Rodrigo Otoni
Università della Svizzera italiana
Подтвержден адрес электронной почты в домене usi.ch
Название
Процитировано
Процитировано
Год
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
252020
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
112021
Local analysis of determinism for CSP
R Otoni, A Cavalcanti, A Sampaio
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
82017
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
72023
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
12023
CHC Model Validation with Proof Guarantees
R Otoni, M Blicha, P Eugster, N Sharygina
International Conference on Integrated Formal Methods, 62-81, 2023
2023
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
2023
Automated verification of blockchain technologies with correctness guarantees
RB Otoni
2023
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–8