Author of the publication

Quantified Abstractions of Distributed Systems.

, , , and . IFM, volume 7940 of Lecture Notes in Computer Science, page 285-300. Springer, (2013)

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.

 

Other publications of authors with the same name

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts., , , , and . CoRR, (2019)Context-Sensitive Multivariant Assertion Checking in Modular Programs., , , and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 392-406. Springer, (2006)Resource Analysis: From Sequential to Concurrent and Distributed Programs., , , , , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 3-17. Springer, (2015)Smart, and also Reliable and Gas-Efficient, Contracts., , , , and . ICST, page 2. IEEE, (2020)Parallel Cost Analysis., , , , and . ACM Trans. Comput. Log., 19 (4): 31:1-31:37 (2018)Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries., , and . FACS, volume 6921 of Lecture Notes in Computer Science, page 218-236. Springer, (2010)A practical type analysis for verification of modular prolog programs., , , and . PEPM, page 61-70. ACM, (2008)Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph., , , , and . CoRR, (2020)Incremental resource usage analysis., , , and . PEPM, page 25-34. ACM, (2012)Don't run on fumes - Parametric gas bounds for smart contracts., , , , and . J. Syst. Softw., (2021)