1. A model transformation semantics and analysis methodology for SecureUML

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

Reports

2. 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

3. Formalizing Java’s Two’s-Complement Integral Type in Isabelle/HOL

Rauch, Nicole and Wolff, Burkhart (2004)

Reports

4. HOL-TestGen 1.0.0 User Guide

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

Reports

5. HOL-TestGen 1.5.0 user guide

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

Reports

6. Specifying and Verifying Hysteresis Signature System with HOL-Z

Basin, David A., Kuruma, Hironobu, Takaragi, Kazuo and Wolff, Burkhart (2005)

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