A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series
by Benjamin Puyobro 📧, Benoît Ballenghien 📧 and Burkhart Wolff 📧
by Benjamin Puyobro 📧, Benoît Ballenghien 📧 and Burkhart Wolff 📧
Burkhart Wolff
Homepages 🌐
E-Mails 📧
Entries
2025
by Benjamin Puyobro 📧, Benoît Ballenghien 📧 and Burkhart Wolff 📧
2024
2023
HOL-CSPM - Architectural operators for HOL-CSP
by Benoît Ballenghien 📧, Safouan Taha 📧 and Burkhart Wolff 📧
2020
A Sound Type System for Physical Quantities, Units, and Measurements
by Simon Foster 🌐 and Burkhart Wolff 🌐
2019
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 📧
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming
by Simon Foster 🌐, Frank Zeyda, Yakoub Nemouchi 📧, Pedro Ribeiro and Burkhart Wolff 📧
2017
Formal Network Models and Their Application to Firewall Policies
by Achim D. Brucker 🌐, Lukas Brügger and Burkhart Wolff 🌐
2016
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths
by Romain Aissat, Frederic Voisin and Burkhart Wolff 📧
2015
2014
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 📧