| 2009 |
|---|
| 20 | EE | Achim D. Brucker,
Burkhart Wolff:
hol-TestGen.
FASE 2009: 417-420 |
| 2008 |
|---|
| 19 | EE | Achim D. Brucker,
Burkhart Wolff:
Extensible Universes for Object-Oriented Data Models.
ECOOP 2008: 438-462 |
| 18 | EE | Achim D. Brucker,
Burkhart Wolff:
HOL-OCL: A Formal Proof Environment for UML/OCL.
FASE 2008: 97-100 |
| 17 | EE | Achim D. Brucker,
Lukas Brügger,
Burkhart Wolff:
Model-Based Firewall Conformance Testing.
TestCom/FATES 2008: 103-118 |
| 16 | EE | 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) |
| 15 | EE | 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 |
|---|
| 14 | EE | Achim D. Brucker,
Burkhart Wolff:
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.
TAP 2007: 149-168 |
| 2006 |
|---|
| 13 | EE | Achim D. Brucker,
Jürgen Doser,
Burkhart Wolff:
A Model Transformation Semantics and Analysis Methodology for SecureUML.
MoDELS 2006: 306-320 |
| 12 | EE | Achim D. Brucker,
Jürgen Doser,
Burkhart Wolff:
An MDA Framework Supporting OCL.
ECEASST 5: (2006) |
| 11 | EE | Michael Wahler,
Jana Koehler,
Achim D. Brucker:
Model-Driven Constraint Engineering.
ECEASST 5: (2006) |
| 10 | EE | Achim D. Brucker,
Jürgen Doser,
Burkhart Wolff:
Semantic Issues of OCL: Past, Present, and Future.
ECEASST 5: (2006) |
| 2005 |
|---|
| 9 | EE | Achim D. Brucker,
Burkhart Wolff:
Interactive Testing with HOL-TestGen.
FATES 2005: 87-102 |
| 8 | EE | Achim D. Brucker,
Burkhart Wolff:
A verification approach to applied system security.
STTT 7(3): 233-247 (2005) |
| 2004 |
|---|
| 7 | EE | Achim D. Brucker,
Burkhart Wolff:
Symbolic Test Case Generation for Primitive Recursive Functions.
FATES 2004: 16-32 |
| 2003 |
|---|
| 6 | EE | Achim D. Brucker,
Burkhart Wolff:
A Case Study of a Formalized Security Architecture.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 5 | EE | 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 |
|---|
| 4 | EE | Achim D. Brucker,
Burkhart Wolff:
A Proposal for a Formal OCL Semantics in Isabelle/HOL.
TPHOLs 2002: 99-114 |
| 3 | EE | Achim D. Brucker,
Burkhart Wolff:
Using Theory Morphisms for Implementing Formal Methods Tools.
TYPES 2002: 59-77 |
| 2 | EE | Achim D. Brucker,
Burkhart Wolff:
HOL-OCL: Experiences, Consequences and Design Choices.
UML 2002: 196-211 |
| 2001 |
|---|
| 1 | | Achim D. Brucker,
Burkhart Wolff:
Testing Distributed Component Based Systems Using UML/OCL.
GI Jahrestagung (1) 2001: 608-614 |
