Burkhart Wolff

Available identifiers

zbMath Open wolff.burkhartMaRDI QIDQ470024

List of research outcomes

Publication	Date of Publication	Type
A structure preserving encoding of Z in Isabelle/HOL	2024-07-05	Paper
Philosophers May Dine - Definitively!	2023-03-21	Paper
On the semantics of polychronous polytimed specifications	2021-03-02	Paper
Using the Isabelle ontology framework -- linking the formal with the informal	2018-10-18	Paper
A symbolic operational semantics for TESL -- with an application to heterogeneous system testing	2017-12-01	Paper
Infeasible Paths Elimination by Symbolic Execution Techniques	2016-10-27	Paper
Monadic Sequence Testing and Explicit Test-Refinements	2016-10-19	Paper
On theorem prover-based testing	2014-11-11	Paper
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems	2013-08-09	Paper
Unifying Theories in Isabelle/HOL	2010-11-09	Paper
HOL-Boogie -- an interactive prover-backend for the verifying C compiler	2010-01-25	Paper
An extensible encoding of object-oriented data models in HOL. With an application to IMP++	2009-11-25	Paper
Proving fairness and implementation correctness of a microkernel scheduler	2009-08-31	Paper
Semantics, calculi, and analysis for object-oriented specifications	2009-08-10	Paper
HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier	2008-12-04	Paper
Building Formal Method Tools in the Isabelle/Isar Framework	2008-09-02	Paper
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing	2007-10-31	Paper
Verifying a signature architecture: a comparative case study	2007-04-19	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Types for Proofs and Programs	2006-11-13	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4435460	2003-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4411046	2003-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4484335	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4934539	2002-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2754057	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4490374	2000-07-16	Paper
Functional design and implementation of graphical user interfaces for theorem provers	1999-10-05	Paper

Research outcomes over time

This page was built for person: Burkhart Wolff