Burkhart Wolff

According to our database1, Burkhart Wolff authored at least 81 papers between 1993 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Using the Isabelle Ontology Framework - Linking the Formal with the Informal.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

2017
Formal Network Models and Their Application to Firewall Policies.
Archive of Formal Proofs, 2017

A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing.
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.
Archive of Formal Proofs, 2016

Monadic Sequence Testing and Explicit Test-Refinements.
Proceedings of the Tests and Proofs - 10th International Conference, 2016

A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Recent Developments in OCL and Textual Modelling.
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

Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths.
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015
Formal firewall conformance testing: an application of test and proof techniques.
Softw. Test., Verif. Reliab., 2015

Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.
Int. J. Software and Informatics, 2015

A Meta-Model for the Isabelle API.
Archive of Formal Proofs, 2015

Testing the IPC Protocol for a Real-Time Operating System.
Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Formal API Specification of the PikeOS Separation Kernel.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Towards a Formal Semantics of the TESL Specification Language.
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
Report on the Aachen OCL Meeting.
CoRR, 2014

Formal Specification of a Generic Separation Kernel.
Archive of Formal Proofs, 2014

Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5.
Archive of Formal Proofs, 2014

The Unified Policy Framework (UPF).
Archive of Formal Proofs, 2014

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.
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.
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.
Formal Asp. Comput., 2013

Symbolic Methods in Testing (Dagstuhl Seminar 13021).
Dagstuhl Reports, 2013

Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.
CoRR, 2013

Test Program Generation for a Microprocessor - A Case-Study.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

On the Semantics of Object-Oriented Data Structures and Path Expressions.
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.
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.
Proceedings of the Intelligent Computer Mathematics, 2013

hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

The Circus Testing Theory Revisited in Isabelle/HOL.
Proceedings of the Formal Methods and Software Engineering, 2013

2012
Isabelle/Circus.
Archive of Formal Proofs, 2012

Isabelle/Circus: A Process Specification and Verification Environment.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL.
Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

2011
Preface (OCL 2011 Proceedings).
ECEASST, 2011

Isabelle/PIDE as Platform for Educational Tools
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.
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.
J. Autom. Reasoning, 2010

Unifying Theories in Isabelle/HOL.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

A Specification-Based Test Case Generation Method for UML/OCL.
Proceedings of the Models in Software Engineering, 2010

Verified Firewall Policy Transformations for Test Case Generation.
Proceedings of the Third International Conference on Software Testing, 2010

Automatic and efficient simulation of operation contracts.
Proceedings of the Generative Programming And Component Engineering, 2010

2009
Proving Fairness and Implementation Correctness of a Microkernel Scheduler.
J. Autom. Reasoning, 2009

Semantics, calculi, and analysis for object-oriented specifications.
Acta Inf., 2009

Extending OCL with Null-References.
Proceedings of the Models in Software Engineering, 2009

hol-TestGen.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
An Extensible Encoding of Object-oriented Data Models in hol.
J. Autom. Reasoning, 2008

Verifying Test-Hypotheses: An Experiment in Test and Proof.
Electr. Notes Theor. Comput. Sci., 2008

A Verification Approach for System-Level Concurrent Programs.
Proceedings of the Verified Software: Theories, 2008

HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier.
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Model-Based Firewall Conformance Testing.
Proceedings of the Testing of Software and Communicating Systems, 2008

HOL-OCL: A Formal Proof Environment for UML/OCL.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Extensible Universes for Object-Oriented Data Models.
Proceedings of the ECOOP 2008, 2008

2007
Verifying a signature architecture: a comparative case study.
Formal Asp. Comput., 2007

Building Formal Method Tools in the Isabelle/Isar Framework.
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.
Proceedings of the Tests and Proofs, First International Conference, 2007

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

An MDA Framework Supporting OCL.
ECEASST, 2006

A Model Transformation Semantics and Analysis Methodology for SecureUML.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

2005
A verification approach to applied system security.
STTT, 2005

Assisted Proof Document Authoring.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

Verification of a Signature Architecture with HOL-Z.
Proceedings of the FM 2005: Formal Methods, 2005

Interactive Testing with HOL-TestGen.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004
Tactic-Based Optimized Compilation of Functional Programs.
Proceedings of the Types for Proofs and Programs, International Workshop, 2004

Symbolic Test Case Generation for Primitive Recursive Functions.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003
HOL-Z 2.0: A Proof Environment for Z-Specifications.
J. UCS, 2003

Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL.
Electr. Notes Theor. Comput. Sci., 2003

A Case Study of a Formalized Security Architecture.
Electr. Notes Theor. Comput. Sci., 2003

2002
HOL-OCL: Experiences, Consequences and Design Choices.
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.
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

A Proposal for a Formal OCL Semantics in Isabelle/HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001
Testing Distributed Component Based Systems Using UML/OCL.
GI Jahrestagung (1), 2001

2000
TAS - A Generic Window Inference System.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

More About TAS and IsaWin - Tools for Formal Program Development.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999
A generic calculus of transformations.
PhD thesis, 1999

Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
J. Funct. Program., 1999

1998
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1997
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

A Corrected Failure Divergence Model for CSP in Isabelle/HOL.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996
A Structure Preserving Encoding of Z in Isabelle/HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Correct and User-Friendly Implementations of Transformation Systems.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995
Towards Correct, Efficient and Reusable Transformational Developments.
Proceedings of the KORSO, 1995

1993
Towards Correctness, Efficiency and Reusability of Transformational Developments.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993


  Loading...