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
A Formal Model of the Document Object Model by Achim D. Brucker π and Michael Herzberg π Dec 26
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