Burkhart Wolff

The HOL-CSP Refinement Toolkit
by Safouan Taha, Burkhart Wolff and Lina Ye

A Sound Type System for Physical Quantities, Units, and Measurements
by Simon Foster and Burkhart Wolff

Isabelle/C
by Frédéric Tuong and Burkhart Wolff

Clean - An Abstract Imperative Programming Language and its Theory
by Frédéric Tuong and Burkhart Wolff

A Formal Development of a Polychronous Polytimed Coordination Language
by Hai Nguyen Van, Frédéric Boulanger and Burkhart Wolff

HOL-CSP Version 2.0
by Safouan Taha, Lina Ye and Burkhart Wolff

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
by Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro and Burkhart Wolff

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

Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths
by Romain Aissat, Frederic Voisin and Burkhart Wolff

A Meta-Model for the Isabelle API
by Frédéric Tuong and Burkhart Wolff

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

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

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

Isabelle/Circus
by Abderrahmane Feliachi, Burkhart Wolff and Marie-Claude Gaudel