Journal articles

Chapters

Conference proceedings papers

  • Brucker AD & Sodan U (2014) Deploying Static Application Security Testing on a Large Scale. GI Sicherheit 2014, Vol. 228 (pp 91-101)

Theses / Dissertations

  • Brucker AD (2007) An Interactive Proof Environment for Object-oriented Specifications.