Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML by Achim D. Brucker 🌐 Jul 29
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL by Diego Marmsoler 🌐 and Achim D. Brucker 🌐 Jul 18
A Formalization of Safely Composable Web Components by Achim D. Brucker 🌐 and Michael Herzberg 🌐 Sep 28
A Formal Model of the Safely Composable Document Object Model with Shadow Roots by Achim D. Brucker 🌐 and Michael Herzberg 🌐 Sep 28
A Formal Model of the Document Object Model with Shadow Roots by Achim D. Brucker 🌐 and Michael Herzberg 🌐 Sep 28
Inference of Extended Finite State Machines by Michael Foster 📧, Achim D. Brucker 📧, Ramsay G. Taylor 📧 and John Derrick 📧 Sep 07
A Formal Model of Extended Finite State Machines by Michael Foster 📧, Achim D. Brucker 📧, Ramsay G. Taylor 📧 and John Derrick 📧 Sep 07
Stateful Protocol Composition and Typing by Andreas V. Hess 📧, Sebastian Mödersheim 🌐 and Achim D. Brucker 🌐 Apr 08
Automated Stateful Protocol Verification by Andreas V. Hess 📧, Sebastian Mödersheim 🌐, Achim D. Brucker 🌐 and Anders Schlichtkrull 🌐 Apr 08
Formal Network Models and Their Application to Firewall Policies by Achim D. Brucker 🌐, Lukas Brügger and Burkhart Wolff 🌐 Jan 08
The Unified Policy Framework (UPF) by Achim D. Brucker 📧, Lukas Brügger 📧 and Burkhart Wolff 📧 Nov 28
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 📧 Jan 16