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
0000-0002-9648-7663
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