Burkhart Wolff

Available identifiers

zbMath Open wolff.burkhartMaRDI QIDQ470024

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Burkhart Wolff