( en | de | ru )

 

Disambiguation of "Bartoletti, Massimo"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Benchmarking of Solidity Verification Tools.

, , , , and . FMBC@CAV, volume 118 of OASIcs, page 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Massimo Viola

Massimo Tallarida

Massimo Malagó

Massimo Moser

Massimo Busin

 

Other publications of authors with the same name

Developing Honest Java Programs with Diogenes., and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 52-61. Springer, (2016)SoK: Lending Pools in Decentralized Finance., , and . CoRR, (2020)A Minimal Core Calculus for Solidity Contracts., , and . DPM/CBT@ESORICS, volume 11737 of Lecture Notes in Computer Science, page 233-243. Springer, (2019)A theory of transaction parallelism in blockchains., , and . CoRR, (2020)MEV-Freedom, in DeFi and Beyond (Invited Talk).. FMBC@CAV, volume 105 of OASIcs, page 1:1-1:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Contracts as games on event structures., , , and . J. Log. Algebraic Methods Program., 85 (3): 399-424 (2016)Models of Circular Causality., , , and . ICDCIT, volume 8956 of Lecture Notes in Computer Science, page 1-20. Springer, (2015)Renegotiation and Recursion in Bitcoin Contracts., , and . COORDINATION, volume 12134 of Lecture Notes in Computer Science, page 261-278. Springer, (2020)Vicious circles in contracts and in logic., , , and . Sci. Comput. Program., (2015)Modelling and Verifying Contract-Oriented Systems in Maude., , , and . WRLA, volume 8663 of Lecture Notes in Computer Science, page 130-146. Springer, (2014)