A Sound Type System for Physical Quantities, Units, and Measurements by Simon Foster 🌐 and Burkhart Wolff 🌐 Oct 20
Clean - An Abstract Imperative Programming Language and its Theory by Frédéric Tuong 🌐 and Burkhart Wolff 🌐 Oct 04
A Formal Development of a Polychronous Polytimed Coordination Language by Hai Nguyen Van 📧, Frédéric Boulanger 📧 and Burkhart Wolff 📧 Jul 30
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming by Simon Foster 🌐, Frank Zeyda, Yakoub Nemouchi 📧, Pedro Ribeiro and Burkhart Wolff 📧 Feb 01
Formal Network Models and Their Application to Firewall Policies by Achim D. Brucker 🌐, Lukas Brügger and Burkhart Wolff 🌐 Jan 08
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths by Romain Aissat, Frederic Voisin and Burkhart Wolff 📧 Aug 18
The Unified Policy Framework (UPF) by Achim D. Brucker 📧, Lukas Brügger 📧 and Burkhart Wolff 📧 Nov 28
Formal Specification of a Generic Separation Kernel by Freek Verbeek 📧, Sergey Tverdyshev 📧, Oto Havle 📧, Holger Blasum 📧, Bruno Langenstein 📧, Werner Stephan 📧, Yakoub Nemouchi 📧, Abderrahmane Feliachi 📧, Burkhart Wolff 📧 and Julien Schmaltz 📧 Jul 18
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