 | 2009 |
|---|
| 41 |       | Achim D. Brucker,
Burkhart Wolff:
hol-TestGen.
FASE 2009: 417-420 |
| 40 | | Achim D. Brucker,
Burkhart Wolff:
Semantics, calculi, and analysis for object-oriented specifications.
Acta Inf. 46(4): 255-284 (2009) |
| 39 | | 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) |
| 2008 |
|---|
| 38 | | Achim D. Brucker,
Burkhart Wolff:
Extensible Universes for Object-Oriented Data Models.
ECOOP 2008: 438-462 |
| 37 | | Achim D. Brucker,
Burkhart Wolff:
HOL-OCL: A Formal Proof Environment for UML/OCL.
FASE 2008: 97-100 |
| 36 | | Sascha Böhme,
K. Rustan M. Leino,
Burkhart Wolff:
HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier.
TPHOLs 2008: 150-166 |
| 35 | | Achim D. Brucker,
Lukas Brügger,
Burkhart Wolff:
Model-Based Firewall Conformance Testing.
TestCom/FATES 2008: 103-118 |
| 34 | | Matthias Daum,
Jan Dörrenbächer,
Mareike Schmidt,
Burkhart Wolff:
A Verification Approach for System-Level Concurrent Programs.
VSTTE 2008: 161-176 |
| 33 | | 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) |
| 32 | | Achim D. Brucker,
Burkhart Wolff:
An Extensible Encoding of Object-oriented Data Models in hol.
J. Autom. Reasoning 41(3-4): 219-249 (2008) |
| 2007 |
|---|
| 31 | | Achim D. Brucker,
Burkhart Wolff:
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.
TAP 2007: 149-168 |
| 30 | | Makarius Wenzel,
Burkhart Wolff:
Building Formal Method Tools in the Isabelle/Isar Framework.
TPHOLs 2007: 352-367 |
| 29 | | 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) |
| 2006 |
|---|
| 28 |  | Klaus Havelund,
Manuel Núñez,
Grigore Rosu,
Burkhart Wolff:
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
Springer 2006 |
| 27 | | Achim D. Brucker,
Jürgen Doser,
Burkhart Wolff:
A Model Transformation Semantics and Analysis Methodology for SecureUML.
MoDELS 2006: 306-320 |
| 26 | | Achim D. Brucker,
Jürgen Doser,
Burkhart Wolff:
An MDA Framework Supporting OCL.
ECEASST 5: (2006) |
| 25 | | Achim D. Brucker,
Jürgen Doser,
Burkhart Wolff:
Semantic Issues of OCL: Past, Present, and Future.
ECEASST 5: (2006) |
| 2005 |
|---|
| 24 | | Achim D. Brucker,
Burkhart Wolff:
Interactive Testing with HOL-TestGen.
FATES 2005: 87-102 |
| 23 | | David A. Basin,
Hironobu Kuruma,
Kazuo Takaragi,
Burkhart Wolff:
Verification of a Signature Architecture with HOL-Z.
FM 2005: 269-285 |
| 22 | | David Aspinall,
Christoph Lüth,
Burkhart Wolff:
Assisted Proof Document Authoring.
MKM 2005: 65-80 |
| 21 | | Achim D. Brucker,
Burkhart Wolff:
A verification approach to applied system security.
STTT 7(3): 233-247 (2005) |
| 2004 |
|---|
| 20 | | Achim D. Brucker,
Burkhart Wolff:
Symbolic Test Case Generation for Primitive Recursive Functions.
FATES 2004: 16-32 |
| 19 | | Thomas Meyer,
Burkhart Wolff:
Tactic-Based Optimized Compilation of Functional Programs.
TYPES 2004: 201-214 |
| 2003 |
|---|
| 18 | | David A. Basin,
Burkhart Wolff:
Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Springer 2003 |
| 17 | | Achim D. Brucker,
Burkhart Wolff:
A Case Study of a Formalized Security Architecture.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 16 | | Nicole Rauch,
Burkhart Wolff:
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 15 | | Achim D. Brucker,
Frank Rittinger,
Burkhart Wolff:
HOL-Z 2.0: A Proof Environment for Z-Specifications.
J. UCS 9(2): 152-172 (2003) |
| 2002 |
|---|
| 14 | | Achim D. Brucker,
Burkhart Wolff:
A Proposal for a Formal OCL Semantics in Isabelle/HOL.
TPHOLs 2002: 99-114 |
| 13 | | Achim D. Brucker,
Burkhart Wolff:
Using Theory Morphisms for Implementing Formal Methods Tools.
TYPES 2002: 59-77 |
| 12 | | Achim D. Brucker,
Burkhart Wolff:
HOL-OCL: Experiences, Consequences and Design Choices.
UML 2002: 196-211 |
| 2001 |
|---|
| 11 | | Achim D. Brucker,
Burkhart Wolff:
Testing Distributed Component Based Systems Using UML/OCL.
GI Jahrestagung (1) 2001: 608-614 |
| 2000 |
|---|
| 10 | | Christoph Lüth,
Burkhart Wolff:
More About TAS and IsaWin - Tools for Formal Program Development.
FASE 2000: 367-370 |
| 9 | | Christoph Lüth,
Burkhart Wolff:
TAS - A Generic Window Inference System.
TPHOLs 2000: 406-423 |
| 1999 |
|---|
| 8 | | Christoph Lüth,
Burkhart Wolff:
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
J. Funct. Program. 9(2): 167-189 (1999) |
| 1998 |
|---|
| 7 | | 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 |
| 1997 |
|---|
| 6 | | Haykal Tej,
Burkhart Wolff:
A Corrected Failure Divergence Model for CSP in Isabelle/HOL.
FME 1997: 318-337 |
| 5 | | Kolyang,
Christoph Lüth,
Thomas Meyer,
Burkhart Wolff:
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.
TAPSOFT 1997: 855-858 |
| 1996 |
|---|
| 4 | | Kolyang,
Thomas Santen,
Burkhart Wolff:
Correct and User-Friendly Implementations of Transformation Systems.
FME 1996: 629-648 |
| 3 | | Kolyang,
Thomas Santen,
Burkhart Wolff:
A Structure Preserving Encoding of Z in Isabelle/HOL.
TPHOLs 1996: 283-298 |
| 1995 |
|---|
| 2 | | Bernd Krieg-Brückner,
Junbo Liu,
Hui Shi,
Burkhart Wolff:
Towards Correct, Efficient and Reusable Transformational Developments.
KORSO Book 1995: 270-284 |
| 1993 |
|---|
| 1 | | Bernd Krieg-Brückner,
Junbo Liu,
Burkhart Wolff,
Hui Shi:
Towards Correctness, Efficiency and Reusability of Transformational Developments.
GI Jahrestagung 1993: 241-246 |
