Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL
by Diego Marmsoler, Asad Ahmed and Achim D. Brucker
by Diego Marmsoler, Asad Ahmed and Achim D. Brucker
Achim D. Brucker
0000-0002-6355-1200
Homepages 🌐
E-Mails 📧
Entries
2026
by Diego Marmsoler, Asad Ahmed and Achim D. Brucker
2025
2024
2022
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL
by Diego Marmsoler and Achim D. Brucker
2020
A Formal Model of the Safely Composable Document Object Model with Shadow Roots
by Achim D. Brucker and Michael Herzberg
A Formal Model of the Document Object Model with Shadow Roots
by Achim D. Brucker and Michael Herzberg
A Formal Model of Extended Finite State Machines
by Michael Foster, Achim D. Brucker, Ramsay G. Taylor and John Derrick
Inference of Extended Finite State Machines
by Michael Foster, Achim D. Brucker, Ramsay G. Taylor and John Derrick
Stateful Protocol Composition and Typing
by Andreas V. Hess, Sebastian Mödersheim and Achim D. Brucker
Automated Stateful Protocol Verification
by Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker and Anders Schlichtkrull
2018
2017
Formal Network Models and Their Application to Firewall Policies
by Achim D. Brucker, Lukas Brügger and Burkhart Wolff
2014
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5
by Achim D. Brucker, Frédéric Tuong and Burkhart Wolff