Robin Sierra

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Concurrent Systems

Formal Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers
Rich specifications for Ethereum smart contract verification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers
Modular Verification of Collaborating Smart Contracts. CoRR (2021)