Achim D. Brucker
0000-0002-6355-1200
Homepages 🌐
E-Mails 📧
Entries
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 🌐
Inference of Extended Finite State Machines
by Michael Foster 📧, Achim D. Brucker 📧, Ramsay G. Taylor 📧 and John Derrick 📧
A Formal Model 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 📧