Achim D. Brucker

The Safely Composable DOM
by Achim D. Brucker and Michael Herzberg

A Formalization of Web Components
by Achim D. Brucker and Michael Herzberg

A Formalization of Safely Composable Web Components
by Achim D. Brucker and Michael Herzberg

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

A Formal Model of the Document Object Model
by Achim D. Brucker and Michael Herzberg

Formal Network Models and Their Application to Firewall Policies
by Achim D. Brucker, Lukas Brügger and Burkhart Wolff

The Unified Policy Framework (UPF)
by Achim D. Brucker, Lukas Brügger and Burkhart Wolff

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