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