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 |