1. A case study of a formalized security architecture

Brucker, Achim D.

Conference Contributions

2. A model transformation semantics and analysis methodology for SecureUML

Brucker, Achim D., Doser, Jürgen and Wolff, Burkhart (2006)

Reports

3. An Approach to Modular and Testable Security Models of Real-world Health-care Applications

Brucker, Achim D., Brügger, Lukas, Kearney, Paul and Wolff, Burkhart (2011)

Conference Contributions

4. An interactive proof environment for object-oriented specifications

Brucker, Achim D. (2007)

Doctoral and Habilitation Theses

5. HOL-TestGen 1.0.0 User Guide

Brucker, Achim D. and Wolff, Burkhart (2005)

Reports

6. HOL-TestGen 1.5.0 user guide

Brucker, Achim D., Brügger, Lukas, Krieger, Matthias P. and Wolff, Burkhart (2010)

Reports

7. Symbolic Test Case Generation for Primitive Recursive Functions

Brucker, Achim D. and Wolff, Burkhart (2004)

Reports

8. The HOL-OCL book

Brucker, Achim D. and Wolff, Burkhart (2006)

Reports