Burkhart Wolff

Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (Eds.): Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7681, Springer 2013, isbn 978-3-642-35704-6

Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel: Isabelle/Circus. Archive of Formal Proofs 2012 (2012)

Achim D. Brucker, Burkhart Wolff: Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. OCL and Textual Modelling 2012: 19-24

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Isabelle/Circus: A Process Specification and Verification Environment. VSTTE 2012: 243-260

Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff: Preface (OCL 2011 Proceedings). ECEASST 44 (2011)

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: 133-142

Makarius Wenzel, Burkhart Wolff: Isabelle/PIDE as Platform for Educational Tools. THedu'11 2011: 143-153

Burkhart Wolff, Fatiha Zaïdi (Eds.): Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Lecture Notes in Computer Science 7019, Springer 2011, isbn 978-3-642-24579-4

Martin Gogolla, Burkhart Wolff (Eds.): Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Lecture Notes in Computer Science 6706, Springer 2011, isbn 978-3-642-21767-8

Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff: HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reasoning 44(1-2): 111-144 (2010)

Matthias P. Krieger, Alexander Knapp, Burkhart Wolff: Automatic and efficient simulation of operation contracts. GPCE 2010: 53-62

Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff: Verified Firewall Policy Transformations for Test Case Generation. ICST 2010: 345-354

Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff: A Specification-Based Test Case Generation Method for UML/OCL. MoDELS Workshops 2010: 334-348

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff: Unifying Theories in Isabelle/HOL. UTP 2010: 188-206

Achim D. Brucker, Burkhart Wolff: Semantics, calculi, and analysis for object-oriented specifications. Acta Inf. 46(4): 255-284 (2009)

Matthias Daum, Jan Dörrenbächer, Burkhart Wolff: Proving Fairness and Implementation Correctness of a Microkernel Scheduler. J. Autom. Reasoning 42(2-4): 349-388 (2009)

Achim D. Brucker, Burkhart Wolff: hol-TestGen. FASE 2009: 417-420

Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff: Extending OCL with Null-References. MoDELS Workshops 2009: 261-275

Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Verifying Test-Hypotheses: An Experiment in Test and Proof. Electr. Notes Theor. Comput. Sci. 220(1): 15-27 (2008)

Achim D. Brucker, Burkhart Wolff: An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reasoning 41(3-4): 219-249 (2008)

Achim D. Brucker, Burkhart Wolff: Extensible Universes for Object-Oriented Data Models. ECOOP 2008: 438-462

Achim D. Brucker, Burkhart Wolff: HOL-OCL: A Formal Proof Environment for UML/OCL. FASE 2008: 97-100

Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118

Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff: HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs 2008: 150-166

Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176

David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff: Verifying a signature architecture: a comparative case study. Formal Asp. Comput. 19(1): 63-91 (2007)

Achim D. Brucker, Burkhart Wolff: Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP 2007: 149-168

Makarius Wenzel, Burkhart Wolff: Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs 2007: 352-367

Achim D. Brucker, Jürgen Doser, Burkhart Wolff: An MDA Framework Supporting OCL. ECEASST 5 (2006)

Achim D. Brucker, Jürgen Doser, Burkhart Wolff: Semantic Issues of OCL: Past, Present, and Future. ECEASST 5 (2006)

Achim D. Brucker, Jürgen Doser, Burkhart Wolff: A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS 2006: 306-320

Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (Eds.): Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4262, Springer 2006, isbn 3-540-49699-8

Achim D. Brucker, Burkhart Wolff: A verification approach to applied system security. STTT 7(3): 233-247 (2005)

Achim D. Brucker, Burkhart Wolff: Interactive Testing with HOL-TestGen. FATES 2005: 87-102

David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff: Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285

David Aspinall, Christoph Lüth, Burkhart Wolff: Assisted Proof Document Authoring. MKM 2005: 65-80

Achim D. Brucker, Burkhart Wolff: Symbolic Test Case Generation for Primitive Recursive Functions. FATES 2004: 16-32

Thomas Meyer, Burkhart Wolff: Tactic-Based Optimized Compilation of Functional Programs. TYPES 2004: 201-214

Achim D. Brucker, Burkhart Wolff: A Case Study of a Formalized Security Architecture. Electr. Notes Theor. Comput. Sci. 80: 24-40 (2003)

Nicole Rauch, Burkhart Wolff: Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. Electr. Notes Theor. Comput. Sci. 80: 41-58 (2003)

Achim D. Brucker, Frank Rittinger, Burkhart Wolff: HOL-Z 2.0: A Proof Environment for Z-Specifications. J. UCS 9(2): 152-172 (2003)

David A. Basin, Burkhart Wolff (Eds.): Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Lecture Notes in Computer Science 2758, Springer 2003, isbn 3-540-40664-6

Achim D. Brucker, Burkhart Wolff: A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs 2002: 99-114

Achim D. Brucker, Burkhart Wolff: Using Theory Morphisms for Implementing Formal Methods Tools. TYPES 2002: 59-77

Achim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices. UML 2002: 196-211

Achim D. Brucker, Burkhart Wolff: Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) 2001: 608-614

Christoph Lüth, Burkhart Wolff: More About TAS and IsaWin - Tools for Formal Program Development. FASE 2000: 367-370

Christoph Lüth, Burkhart Wolff: TAS - A Generic Window Inference System. TPHOLs 2000: 406-423

Christoph Lüth, Burkhart Wolff: Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. 9(2): 167-189 (1999)

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: 116-134

Haykal Tej, Burkhart Wolff: A Corrected Failure Divergence Model for CSP in Isabelle/HOL. FME 1997: 318-337

Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff: TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT 1997: 855-858

Kolyang, Thomas Santen, Burkhart Wolff: Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648

Kolyang, Thomas Santen, Burkhart Wolff: A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298

Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff: Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book 1995: 270-284

Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi: Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung 1993: 241-246