| 2026 | ITP | Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL. | Fang Yan, Benot Ballenghien, Simon Foster, Ana Cavalcanti, James Baxter, Burkhart Wolff |
| 2024 | ICTAC | A Theory of Proc-Omata - and Proof Methods for Process Architectures. | Benot Ballenghien, Burkhart Wolff |
| 2024 | ITP | An Operational Semantics in Isabelle/HOL-CSP. | Benot Ballenghien, Burkhart Wolff |
| 2023 | ICECCS | Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. | Simon Foster, Burkhart Wolff |
| 2020 | IFM | Philosophers May Dine - Definitively! | Safouan Taha, Burkhart Wolff, Lina Ye |
| 2020 | TIME | TESL: A Model with Metric Time for Modeling and Simulation. | Hai Nguyen Van, Frdric Boulanger, Burkhart Wolff |
| 2019 | IFM | Using Ontologies in Formal Developments Targeting Certification. | Achim D. Brucker, Burkhart Wolff |
| 2019 | SEFM | Isabelle/DOF: Design and Implementation. | Achim D. Brucker, Burkhart Wolff |
| 2016 | ITP | Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths. | Romain Assat, Frdric Voisin, Burkhart Wolff |
| 2016 | MODELS | Recent Developments in OCL and Textual Modelling. | Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Snchez-Barbudo Herrera, Frank Hilken, Frdric Tuong, Edward D. Willink, Burkhart Wolff |
| 2016 | QRS | A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. | Romain Assat, Marie-Claude Gaudel, Frdric Voisin, Burkhart Wolff |
| 2016 | TAP | Monadic Sequence Testing and Explicit Test-Refinements. | Achim D. Brucker, Burkhart Wolff |
| 2015 | MODELS | Towards a Formal Semantics of the TESL Specification Language. | Hai Nguyen Van, Thibaut Balabonski, Frdric Boulanger, Safouan Taha, Benot Valiron, Burkhart Wolff, Lina Ye |
| 2014 | MODELS | Panel Discussion: Proposals for Improving OCL. | Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frdric Jouault, Ernest Teniente, Burkhart Wolff |
| 2014 | MODELS | Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. | Delphine Longuet, Frdric Tuong, Burkhart Wolff |
| 2013 | ICFEM | The Circus Testing Theory Revisited in Isabelle/HOL. | Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff |
| 2013 | ICTAC | hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. | Achim D. Brucker, Lukas Brgger, Burkhart Wolff |
| 2013 | MODELS | Report on the Aachen OCL Meeting. | Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff |
| 2013 | MODELS | On the Semantics of Object-Oriented Data Structures and Path Expressions. | Achim D. Brucker, Delphine Longuet, Frdric Tuong, Burkhart Wolff |
| 2013 | TAP | Test Program Generation for a Microprocessor - A Case-Study. | Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff |
| 2012 | MODELS | Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. | Achim D. Brucker, Burkhart Wolff |
| 2011 | SACMAT | An approach to modular and testable security models of real-world health-care applications. | Achim D. Brucker, Lukas Brgger, Paul J. Kearney, Burkhart Wolff |
| 2010 | GPCE | Automatic and efficient simulation of operation contracts. | Matthias P. Krieger, Alexander Knapp, Burkhart Wolff |
| 2010 | ICST | Verified Firewall Policy Transformations for Test Case Generation. | Achim D. Brucker, Lukas Brgger, Paul J. Kearney, Burkhart Wolff |
| 2010 | MODELS | A Specification-Based Test Case Generation Method for UML/OCL. | Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff |
| 2009 | FASE | hol-TestGen. | Achim D. Brucker, Burkhart Wolff |
| 2009 | MODELS | Extending OCL with Null-References. | Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff |
| 2008 | ECOOP | Extensible Universes for Object-Oriented Data Models. | Achim D. Brucker, Burkhart Wolff |
| 2008 | FASE | HOL-OCL: A Formal Proof Environment for UML/OCL. | Achim D. Brucker, Burkhart Wolff |
| 2007 | TAP | Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. | Achim D. Brucker, Burkhart Wolff |
| 2006 | MODELS | A Model Transformation Semantics and Analysis Methodology for SecureUML. | Achim D. Brucker, Jrgen Doser, Burkhart Wolff |
| 2005 | FM | Verification of a Signature Architecture with HOL-Z. | David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff |
| 2001 | GI | Testing Distributed Component Based Systems Using UML/OCL. | Achim D. Brucker, Burkhart Wolff |
| 2000 | FASE | More About TAS and IsaWin - Tools for Formal Program Development. | Christoph Lth, Burkhart Wolff |
| 1997 | FM | A Corrected Failure Divergence Model for CSP in Isabelle/HOL. | Haykal Tej, Burkhart Wolff |
| 1996 | FM | Correct and User-Friendly Implementations of Transformation Systems. | Kolyang, Thomas Santen, Burkhart Wolff |
| 1993 | GI | Towards Correctness, Efficiency and Reusability of Transformational Developments. | Bernd Krieg-Brckner, Junbo Liu, Burkhart Wolff, Hui Shi |