1. A model transformation semantics and analysis methodology for SecureUML

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

Tagungsbeiträge

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

Rauch, Nicole und Wolff, Burkhart (2004)

Reports

4. HOL-TestGen 1.0.0 User Guide

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

Reports

5. HOL-TestGen 1.5.0 user guide

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

Reports

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

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

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