Diego Marmsoler

Homepages 🌐

http://marmsoler.com

E-Mails 📧

ed.mut@relosmram.ogeid

Entries

2026

Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL

by Diego Marmsoler, Asad Ahmed and Achim D. Brucker

Feb 25

2022

Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL

by Diego Marmsoler and Achim D. Brucker

Jul 18

2018

A Theory of Architectural Design Patterns

by Diego Marmsoler

Mar 01

2017

Dynamic Architectures

by Diego Marmsoler

Jul 28