1. A case study of a formalized security architecture

Brucker, Achim D.

Tagungsbeiträge

2. A model transformation semantics and analysis methodology for SecureUML

Brucker, Achim D., Doser, Jürgen und 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 und Wolff, Burkhart (2011)

Tagungsbeiträge

4. An interactive proof environment for object-oriented specifications

Brucker, Achim D. (2007)

Dissertationen und Habilitationen

5. HOL-TestGen 1.0.0 User Guide

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

Reports

6. HOL-TestGen 1.5.0 user guide

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

Reports

7. Symbolic Test Case Generation for Primitive Recursive Functions

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

Reports

8. The HOL-OCL book

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

Reports