| Publication | Date of Publication | Type |
|---|
| An operational semantics in Isabelle/HOL-CSP | 2026-02-10 | Paper |
| A theory of Proc-Omata -- and proof methods for process architectures | 2025-05-23 | Paper |
| 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. Proof of correctness and preservation of paths
Interactive Theorem Proving | 2016-10-27 | Paper |
Monadic Sequence Testing and Explicit Test-Refinements
Tests and Proofs | 2016-10-19 | Paper |
On theorem prover-based testing
Formal Aspects of Computing | 2014-11-11 | Paper |
Pervasive parallelism in highly-trustable interactive theorem proving systems
Lecture Notes in Computer Science | 2013-08-09 | Paper |
Unifying theories in Isabelle/HOL
Unifying Theories of Programming | 2010-11-09 | Paper |
HOL-Boogie -- an interactive prover-backend for the verifying C compiler
Journal of Automated Reasoning | 2010-01-25 | Paper |
An extensible encoding of object-oriented data models in HOL. With an application to IMP++
Journal of Automated Reasoning | 2009-11-25 | Paper |
Proving fairness and implementation correctness of a microkernel scheduler
Journal of Automated Reasoning | 2009-08-31 | Paper |
Semantics, calculi, and analysis for object-oriented specifications
Acta Informatica | 2009-08-10 | Paper |
HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier
Lecture Notes in Computer Science | 2008-12-04 | Paper |
Building Formal Method Tools in the Isabelle/Isar Framework
Lecture Notes in Computer Science | 2008-09-02 | Paper |
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
Tests and Proofs | 2007-10-31 | Paper |
Verifying a signature architecture: a comparative case study
Formal Aspects of Computing | 2007-04-19 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2006-11-13 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Formal Approaches to Software Testing
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2003150 (Why is no real title available?) | 2003-11-12 | Paper |
| scientific article; zbMATH DE number 1946736 (Why is no real title available?) | 2003-07-07 | Paper |
| scientific article; zbMATH DE number 1927417 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1390252 (Why is no real title available?) | 2002-02-17 | Paper |
| scientific article; zbMATH DE number 1670756 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1476647 (Why is no real title available?) | 2000-07-16 | Paper |
Functional design and implementation of graphical user interfaces for theorem provers
Journal of Functional Programming | 1999-10-05 | Paper |
