Journal articles

Chapters

Conference proceedings papers

Patents

  • Brucker AD & Petritsch H (2017) Grouping access control violations for process-aware systems. 9,762,587 (US). Appl. 15 Jun 2017.
  • Brucker AD & Petritsch H (2016) Abstract evaluation of access control policies for efficient evaluation of constraints. 9,537,893 (US). Appl. 14 Jan 2016.
  • Brucker AD (2016) Automating post-hoc access control checks and compliance audits. 9,235,716 (US). Appl. 12 Jan 2016.
  • Brucker AD & Hang I (2014) Static enforcement of process-level security and compliance specifications for cloud-based systems. 9286187 (US). Appl. 06 Mar 2014.
  • Brucker AD (2014) Automated detection and validation of sanitizers. 8,959,646 (US). Appl. 25 Dec 2014.
  • Brucker AD (2014) Static application security testing. 8,881,293 (US). Appl. 04 Nov 2014.
  • Brucker AD & Petritsch H (2011) Prefetch of Attributes in Evaluating Access Control Requests. 9256757 (US). Appl. 22 Dec 2011.
  • Brucker AD (2010) System and method for providing delegation assistance. 8,473,505 (US). Appl. 30 Dec 2010.
  • Brucker AD & Deuster T () Modular static application security testing. US 9,305,168 (US). Appl. 01 Jan 1970.

Reports

  • Brucker AD, Brügger L, Feliachi A, Keller C, Krieger MP, Longuet D, Nemouchi Y, Tuong F & Wolff B (2016) HOL-TestGen 1.8.0 User Guide View this article in WRRO
  • Othmane LB, Chehrazi G, Bodden E, Tsalovski P & Brucker AD (2015) Time for Addressing Software Security Issues: Prediction Models and Impacting Factors View this article in WRRO
  • Brucker AD, Tuong F & Wolff B (2015) Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 View this article in WRRO
  • Brucker AD, Longuet D, Tuong F & Wolff B (2013) On the Semantics of Object-oriented Data Structures and Path Expressions (Extended Version) View this article in WRRO
  • Brucker AD, Brügger L, Krieger MP & Wolff B (2012) HOL-TestGen 1.7.0 User Guide View this article in WRRO
  • Brucker AD, Brügger L, Krieger MP & Wolff B (2010) HOL-TestGen 1.5.0 User Guide View this article in WRRO
  • Brucker AD & Mödersheim SA (2009) Integrating Automated and Interactive Protocol Verification (Extended Version) View this article in WRRO
  • Brucker AD & Wolff B (2006) The HOL-OCL Book View this article in WRRO
  • Brucker AD, Doser J & Wolff B (2006) A Model Transformation Semantics and Analysis Methodology for SecureUML View this article in WRRO
  • Brucker AD & Wolff B (2005) HOL-TestGen 1.0.0 User Guide View this article in WRRO
  • Brucker AD & Wolff B (2004) Symbolic Test Case Generation for Primitive Recursive Functions View this article in WRRO
  • Brucker AD & Wolff B (2002) A Note on Design Decisions of a Formalization of the OCL View this article in WRRO
  • Brucker AD, Rittinger F & Wolff B (2002) A CVS-Server Security Architecture — Concepts and Formal Analysis View this article in WRRO
  • Brucker AD & Wolff B (2001) Checking OCL Constraints in Distributed Systems Using J2EE/EJB View this article in WRRO

Software / Code

  • Brucker AD, Brügger L, Feliachi A, Keller C, Krieger MP, Longuet D, Nemouchi Y, Tuong F & Wolff B (2016) HOL-TestGen.

Theses / Dissertations

  • Brucker AD (2007) An Interactive Proof Environment for Object-oriented Specifications.
  • Brucker AD (2000) Verifikation von Dividierern mit Word-Level-Decision-Diagrams.

Edited books