Burkhart Wolff

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 32

Top Venues

Bremen University, Germany (PHD)

Education History

Bremen University, Germany

PHD

Publications

Achim D. Brucker, Nicolas Méric, Burkhart Wolff
Isabelle/DOF. Arch. Formal Proofs 2024 (2024)
Benoît Ballenghien, Burkhart Wolff
Event-B as DSL in Isabelle and HOL Experiences from a Prototype. ABZ (2024)
Simon Foster, Burkhart Wolff
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. ICECCS (2023)
Benoît Ballenghien, Burkhart Wolff
Operational Semantics formally proven in HOL-CSP. Arch. Formal Proofs 2023 (2023)
Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
Using Deep Ontologies in Formal Software Engineering. ABZ (2023)
Benoît Ballenghien, Safouan Taha, Burkhart Wolff
HOL-CSPM - Architectural operators for HOL-CSP. Arch. Formal Proofs 2023 (2023)
Paolo Crisafulli, Safouan Taha, Burkhart Wolff
Modeling and analysing Cyber-Physical Systems in HOL-CSP. Robotics Auton. Syst. 170 (2023)
Simon Foster, Burkhart Wolff
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. CoRR (2023)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
On the Semantics of Polychronous Polytimed Specifications. FORMATS (2020)
Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
Model Transformation as Conservative Theory-Transformation. J. Object Technol. 19 (3) (2020)
Safouan Taha, Burkhart Wolff, Lina Ye
The HOL-CSP Refinement Toolkit. Arch. Formal Proofs 2020 (2020)
Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
Timed Discrete-Event Simulation of Aviation Scenarios. Simul. Notes Eur. 30 (2) (2020)
Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
TESL: A Model with Metric Time for Modeling and Simulation. TIME (2020)
Safouan Taha, Burkhart Wolff, Lina Ye
Philosophers May Dine - Definitively! IFM (2020)
Simon Foster, Burkhart Wolff
A Sound Type System for Physical Quantities, Units, and Measurements. Arch. Formal Proofs 2020 (2020)
Frédéric Tuong, Burkhart Wolff
Deeply Integrating C11 Code Support into Isabelle/PIDE. F-IDE@FM (2019)
Safouan Taha, Lina Ye, Burkhart Wolff
HOL-CSP Version 2.0. Arch. Formal Proofs 2019 (2019)
Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Arch. Formal Proofs 2019 (2019)
Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff
A Formal Development of a Polychronous Polytimed Coordination Language. Arch. Formal Proofs 2019 (2019)
Achim D. Brucker, Burkhart Wolff
Isabelle/DOF: Design and Implementation. SEFM (2019)
Frédéric Tuong, Burkhart Wolff
Isabelle/C. Arch. Formal Proofs 2019 (2019)
Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, Burkhart Wolff
Making Agile Development Processes fit for V-style Certification Procedures. CoRR (2019)
Achim D. Brucker, Burkhart Wolff
Using Ontologies in Formal Developments Targeting Certification. IFM (2019)
Frédéric Tuong, Burkhart Wolff
Clean - An Abstract Imperative Programming Language and its Theory. Arch. Formal Proofs 2019 (2019)
Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff
Using the Isabelle Ontology Framework - Linking the Formal with the Informal. CICM (2018)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Formal Network Models and Their Application to Firewall Policies. Arch. Formal Proofs 2017 (2017)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. FORMATS (2017)
Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff
Recent Developments in OCL and Textual Modelling. OCL@MoDELS (2016)
Romain Aïssat, Frédéric Voisin, Burkhart Wolff
Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths. ITP (2016)
Romain Aïssat, Frédéric Voisin, Burkhart Wolff
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths. Arch. Formal Proofs 2016 (2016)
Achim D. Brucker, Burkhart Wolff
Monadic Sequence Testing and Explicit Test-Refinements. TAP@STAF (2016)
Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. QRS (2016)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye
Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS (2015)
Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff
Testing the IPC Protocol for a Real-Time Operating System. VSTTE (2015)
Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
Formal API Specification of the PikeOS Separation Kernel. NFM (2015)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Formal firewall conformance testing: an application of test and proof techniques. Softw. Test. Verification Reliab. 25 (1) (2015)
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. Int. J. Softw. Informatics 9 (2) (2015)
Frédéric Tuong, Burkhart Wolff
A Meta-Model for the Isabelle API. Arch. Formal Proofs 2015 (2015)
Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs 2014 (2014)
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
Report on the Aachen OCL Meeting. CoRR (2014)
Achim D. Brucker, Frédéric Tuong, Burkhart Wolff
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Arch. Formal Proofs 2014 (2014)
Delphine Longuet, Frédéric Tuong, Burkhart Wolff
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. OCL@MoDELS (2014)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
The Unified Policy Framework (UPF). Arch. Formal Proofs 2014 (2014)
Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS (2014)
Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM (2013)
Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff
On the Semantics of Object-Oriented Data Structures and Path Expressions. OCL@MoDELS (2013)
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML (2013)
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. CoRR (2013)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. ICTAC (2013)
Thierry Jéron, Margus Veanes, Burkhart Wolff
Symbolic Methods in Testing (Dagstuhl Seminar 13021). Dagstuhl Reports 3 (1) (2013)
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
Report on the Aachen OCL Meeting. OCL@MoDELS (2013)
Achim D. Brucker, Burkhart Wolff
On theorem prover-based testing. Formal Aspects Comput. 25 (5) (2013)
Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff
Test Program Generation for a Microprocessor - A Case-Study. TAP@STAF (2013)
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Isabelle/Circus: A Process Specification and Verification Environment. VSTTE (2012)
Achim D. Brucker, Burkhart Wolff
Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. OCL@MoDELS (2012)
Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel
Isabelle/Circus. Arch. Formal Proofs 2012 (2012)
Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff
An approach to modular and testable security models of real-world health-care applications. SACMAT (2011)
Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff
Preface (OCL 2011 Proceedings). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011)
Makarius Wenzel, Burkhart Wolff
Isabelle/PIDE as Platform for Educational Tools ThEdu (2011)
Matthias P. Krieger, Alexander Knapp, Burkhart Wolff
Automatic and efficient simulation of operation contracts. GPCE (2010)
Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff
Verified Firewall Policy Transformations for Test Case Generation. ICST (2010)
Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reason. 44 (1-2) (2010)
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Unifying Theories in Isabelle/HOL. UTP (2010)
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff
A Specification-Based Test Case Generation Method for UML/OCL. MoDELS (Workshops) (2010)
Achim D. Brucker, Burkhart Wolff
hol-TestGen. FASE (2009)
Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff
Extending OCL with Null-References. MoDELS (Workshops) (2009)
Achim D. Brucker, Burkhart Wolff
Semantics, calculi, and analysis for object-oriented specifications. Acta Informatica 46 (4) (2009)
Matthias Daum, Jan Dörrenbächer, Burkhart Wolff
Proving Fairness and Implementation Correctness of a Microkernel Scheduler. J. Autom. Reason. 42 (2-4) (2009)
Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff
A Verification Approach for System-Level Concurrent Programs. VSTTE (2008)
Achim D. Brucker, Burkhart Wolff
Extensible Universes for Object-Oriented Data Models. ECOOP (2008)
Achim D. Brucker, Burkhart Wolff
An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reason. 41 (3-4) (2008)
Achim D. Brucker, Burkhart Wolff
HOL-OCL: A Formal Proof Environment for UML/OCL. FASE (2008)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Model-Based Firewall Conformance Testing. TestCom/FATES (2008)
Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff
HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs (2008)
Achim D. Brucker, Lukas Brügger, Burkhart Wolff
Verifying Test-Hypotheses: An Experiment in Test and Proof. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Makarius Wenzel, Burkhart Wolff
Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs (2007)
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff
Verifying a signature architecture: a comparative case study. Formal Aspects Comput. 19 (1) (2007)
Achim D. Brucker, Burkhart Wolff
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP (2007)
Achim D. Brucker, Jürgen Doser, Burkhart Wolff
A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS (2006)
Achim D. Brucker, Jürgen Doser, Burkhart Wolff
Semantic Issues of OCL: Past, Present, and Future. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
Achim D. Brucker, Jürgen Doser, Burkhart Wolff
An MDA Framework Supporting OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
Achim D. Brucker, Burkhart Wolff
Interactive Testing with HOL-TestGen. FATES (2005)
Achim D. Brucker, Burkhart Wolff
A verification approach to applied system security. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff
Verification of a Signature Architecture with HOL-Z. FM (2005)
David Aspinall, Christoph Lüth, Burkhart Wolff
Assisted Proof Document Authoring. MKM (2005)
Thomas Meyer, Burkhart Wolff
Tactic-Based Optimized Compilation of Functional Programs. TYPES (2004)
Achim D. Brucker, Burkhart Wolff
Symbolic Test Case Generation for Primitive Recursive Functions. FATES (2004)
Nicole Rauch, Burkhart Wolff
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. Electron. Notes Theor. Comput. Sci. 80 (2003)
Achim D. Brucker, Frank Rittinger, Burkhart Wolff
HOL-Z 2.0: A Proof Environment for Z-Specifications. J. Univers. Comput. Sci. 9 (2) (2003)
Achim D. Brucker, Burkhart Wolff
A Case Study of a Formalized Security Architecture. Electron. Notes Theor. Comput. Sci. 80 (2003)
Achim D. Brucker, Burkhart Wolff
HOL-OCL: Experiences, Consequences and Design Choices. UML (2002)
Achim D. Brucker, Burkhart Wolff
Using Theory Morphisms for Implementing Formal Methods Tools. TYPES (2002)
Achim D. Brucker, Burkhart Wolff
A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs (2002)
Achim D. Brucker, Burkhart Wolff
Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) (2001)
Christoph Lüth, Burkhart Wolff
More About TAS and IsaWin - Tools for Formal Program Development. FASE (2000)
Christoph Lüth, Burkhart Wolff
TAS - A Generic Window Inference System. TPHOLs (2000)
Christoph Lüth, Burkhart Wolff
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. 9 (2) (1999)
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
Tool Integration in the UniForM-Workbench. Tool Support for System Specification, Development and Verification (1998)
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM (1998)
Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT (1997)

Burkhart Wolff.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Burkhart Wolff