Burkhart Wolff

According to our database, Burkhart Wolff authored at least 99 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Modeling and analysing Cyber-Physical Systems in HOL-CSP.

Paolo Crisafulli, Safouan Taha, Burkhart Wolff

Robotics Auton. Syst., December, 2023

HOL-CSPM - Architectural operators for HOL-CSP.

Benoît Ballenghien, Safouan Taha, Burkhart Wolff

Arch. Formal Proofs, 2023

Using Deep Ontologies in Formal Software Engineering.

Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL.

Simon Foster, Burkhart Wolff

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2020

Timed Discrete-Event Simulation of Aviation Scenarios.

Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff

Simul. Notes Eur., 2020

Model Transformation as Conservative Theory-Transformation.

Achim D. Brucker, Frédéric Tuong, Burkhart Wolff

J. Object Technol., 2020

The HOL-CSP Refinement Toolkit.

Safouan Taha, Burkhart Wolff, Lina Ye

Arch. Formal Proofs, 2020

A Sound Type System for Physical Quantities, Units, and Measurements.

Simon Foster, Burkhart Wolff

Arch. Formal Proofs, 2020

TESL: A Model with Metric Time for Modeling and Simulation.

Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

Philosophers May Dine - Definitively!

Safouan Taha, Burkhart Wolff, Lina Ye

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

On the Semantics of Polychronous Polytimed Specifications.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

Deeply Integrating C11 Code Support into Isabelle/PIDE.

Frédéric Tuong, Burkhart Wolff

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Making Agile Development Processes fit for V-style Certification Procedures.

Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, Burkhart Wolff

CoRR, 2019

A Formal Development of a Polychronous Polytimed Coordination Language.

Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff

Arch. Formal Proofs, 2019

Isabelle/C.

Frédéric Tuong, Burkhart Wolff

Arch. Formal Proofs, 2019

Clean - An Abstract Imperative Programming Language and its Theory.

Frédéric Tuong, Burkhart Wolff

Arch. Formal Proofs, 2019

HOL-CSP Version 2.0.

Safouan Taha, Lina Ye, Burkhart Wolff

Arch. Formal Proofs, 2019

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming.

Simon Foster, Frank Zeyda, Yakoub Nemouchi, Pedro Ribeiro, Burkhart Wolff

Arch. Formal Proofs, 2019

Isabelle/DOF: Design and Implementation.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Using Ontologies in Formal Developments Targeting Certification.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Using the Isabelle Ontology Framework - Linking the Formal with the Informal.

Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

2017

Formal Network Models and Their Application to Firewall Policies.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Arch. Formal Proofs, 2017

A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths.

Romain Aïssat, Frédéric Voisin, Burkhart Wolff

Arch. Formal Proofs, 2016

Monadic Sequence Testing and Explicit Test-Refinements.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Tests and Proofs - 10th International Conference, 2016

A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.

Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Recent Developments in OCL and Textual Modelling.

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

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

2015

Formal firewall conformance testing: an application of test and proof techniques.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Softw. Test. Verification Reliab., 2015

Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

Int. J. Softw. Informatics, 2015

A Meta-Model for the Isabelle API.

Frédéric Tuong, Burkhart Wolff

Arch. Formal Proofs, 2015

Testing the IPC Protocol for a Real-Time Operating System.

Achim D. Brucker, Oto Havle, Yakoub Nemouchi, Burkhart Wolff

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Formal API Specification of the PikeOS Separation Kernel.

Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Towards a Formal Semantics of the TESL Specification Language.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

2014

Formal Specification of a Generic Separation Kernel.

Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz

Arch. Formal Proofs, 2014

Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5.

Achim D. Brucker, Frédéric Tuong, Burkhart Wolff

Arch. Formal Proofs, 2014

The Unified Policy Framework (UPF).

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Arch. Formal Proofs, 2014

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.

Delphine Longuet, Frédéric Tuong, Burkhart Wolff

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Panel Discussion: Proposals for Improving OCL.

Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

2013

On theorem prover-based testing.

Achim D. Brucker, Burkhart Wolff

Formal Aspects Comput., 2013

Symbolic Methods in Testing (Dagstuhl Seminar 13021).

Thierry Jéron, Margus Veanes, Burkhart Wolff

Dagstuhl Reports, 2013

Test Program Generation for a Microprocessor - A Case-Study.

Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff

Proceedings of the Tests and Proofs - 7th International Conference, 2013

On the Semantics of Object-Oriented Data Structures and Path Expressions.

Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

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

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.

Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff

Proceedings of the Intelligent Computer Mathematics, 2013

hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

The Circus Testing Theory Revisited in Isabelle/HOL.

Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Isabelle/Circus.

Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel

Arch. Formal Proofs, 2012

Isabelle/Circus: A Process Specification and Verification Environment.

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL.

Achim D. Brucker, Burkhart Wolff

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

2011

Preface (OCL 2011 Proceedings).

Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Isabelle/PIDE as Platform for Educational Tools

Makarius Wenzel, Burkhart Wolff

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

An approach to modular and testable security models of real-world health-care applications.

Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

2010

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler.

Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff

J. Autom. Reason., 2010

Unifying Theories in Isabelle/HOL.

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

A Specification-Based Test Case Generation Method for UML/OCL.

Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff

Proceedings of the Models in Software Engineering, 2010

Verified Firewall Policy Transformations for Test Case Generation.

Achim D. Brucker, Lukas Brügger, Paul J. Kearney, Burkhart Wolff

Proceedings of the Third International Conference on Software Testing, 2010

Automatic and efficient simulation of operation contracts.

Matthias P. Krieger, Alexander Knapp, Burkhart Wolff

Proceedings of the Generative Programming And Component Engineering, 2010

2009

Proving Fairness and Implementation Correctness of a Microkernel Scheduler.

Matthias Daum, Jan Dörrenbächer, Burkhart Wolff

J. Autom. Reason., 2009

Semantics, calculi, and analysis for object-oriented specifications.

Achim D. Brucker, Burkhart Wolff

Acta Informatica, 2009

Extending OCL with Null-References.

Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff

Proceedings of the Models in Software Engineering, 2009

hol-TestGen.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

An Extensible Encoding of Object-oriented Data Models in hol.

Achim D. Brucker, Burkhart Wolff

J. Autom. Reason., 2008

Verifying Test-Hypotheses: An Experiment in Test and Proof.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Proceedings of the Fourth Workshop on Model Based Testing, 2008

A Verification Approach for System-Level Concurrent Programs.

Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff

Proceedings of the Verified Software: Theories, 2008

HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier.

Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Model-Based Firewall Conformance Testing.

Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Proceedings of the Testing of Software and Communicating Systems, 2008

HOL-OCL: A Formal Proof Environment for UML/OCL.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Extensible Universes for Object-Oriented Data Models.

Achim D. Brucker, Burkhart Wolff

Proceedings of the ECOOP 2008, 2008

2007

Verifying a signature architecture: a comparative case study.

David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff

Formal Aspects Comput., 2007

Building Formal Method Tools in the Isabelle/Isar Framework.

Makarius Wenzel, Burkhart Wolff

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Tests and Proofs - 1st International Conference, 2007

2006

Semantic Issues of OCL: Past, Present, and Future.

Achim D. Brucker, Jürgen Doser, Burkhart Wolff

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

An MDA Framework Supporting OCL.

Achim D. Brucker, Jürgen Doser, Burkhart Wolff

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

A Model Transformation Semantics and Analysis Methodology for SecureUML.

Achim D. Brucker, Jürgen Doser, Burkhart Wolff

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2005

A verification approach to applied system security.

Achim D. Brucker, Burkhart Wolff

Int. J. Softw. Tools Technol. Transf., 2005

Assisted Proof Document Authoring.

David Aspinall, Christoph Lüth, Burkhart Wolff

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Verification of a Signature Architecture with HOL-Z.

David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff

Proceedings of the FM 2005: Formal Methods, 2005

Interactive Testing with HOL-TestGen.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004

Tactic-Based Optimized Compilation of Functional Programs.

Thomas Meyer, Burkhart Wolff

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

Symbolic Test Case Generation for Primitive Recursive Functions.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

HOL-Z 2.0: A Proof Environment for Z-Specifications.

Achim D. Brucker, Frank Rittinger, Burkhart Wolff

J. Univers. Comput. Sci., 2003

Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL.

Nicole Rauch, Burkhart Wolff

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

A Case Study of a Formalized Security Architecture.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

2002

HOL-OCL: Experiences, Consequences and Design Choices.

Achim D. Brucker, Burkhart Wolff

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Using Theory Morphisms for Implementing Formal Methods Tools.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

A Proposal for a Formal OCL Semantics in Isabelle/HOL.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001

Testing Distributed Component Based Systems Using UML/OCL.

Achim D. Brucker, Burkhart Wolff

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

2000

TAS - A Generic Window Inference System.

Christoph Lüth, Burkhart Wolff

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

More About TAS and IsaWin - Tools for Formal Program Development.

Christoph Lüth, Burkhart Wolff

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

A generic calculus of transformations.

Burkhart Wolff

PhD thesis, 1999

Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.

Christoph Lüth, Burkhart Wolff

J. Funct. Program., 1999

1998

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.

Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Tool Integration in the UniForM-Workbench.

Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff

Proceedings of the International Workshop Tool Support for System Specification, 1998

1997

TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.

Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

A Corrected Failure Divergence Model for CSP in Isabelle/HOL.

Haykal Tej, Burkhart Wolff

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

A Structure Preserving Encoding of Z in Isabelle/HOL.

Kolyang, Thomas Santen, Burkhart Wolff

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Correct and User-Friendly Implementations of Transformation Systems.

Kolyang, Thomas Santen, Burkhart Wolff

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Towards Correct, Efficient and Reusable Transformational Developments.

Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff

Proceedings of the KORSO, 1995

1993

Towards Correctness, Efficiency and Reusability of Transformational Developments.

Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993