Books

  • Brucker AD, Dalpiaz F, Giorgini P, Meland PH & Rios E (2014) Preface. RIS download Bibtex download

Journal articles

Chapters

Conference proceedings papers

  • Brucker AD & Herzberg M (2018) A Formal Semantics of the Core DOM in Isabelle/HOL. WWW’18 Companion: The 2018 Web Conference Companion View this article in WRRO RIS download Bibtex download
  • Bill R, Brucker AD, Gogolla JCM, Vallecillo A & Wilink ED (2018) Workshop in OCL and Textual Textual Modelling: Report on Recent Trends and Panel Discussion. STAF 2017 Workshops, Vol. 10748 View this article in WRRO RIS download Bibtex download
  • Brucker AD & Herzberg M (2018) Formalizing (Web) Standards: An Application of Test and Proof RIS download Bibtex download
  • (2016) 16th International Workshop on OCL and Textual Modeling, OCL 2016, Saint-Malo, France, October 2, 2016. Proceedings, Vol. 1756 RIS download Bibtex download
  • Brucker AD, Cabot J, Daniel G, Gogolla M, Herrera AS-B, Hilken F, Tuong F, Willink ED & Wolff B (2016) Recent Developments in OCL and Textual Modelling. Proceedings of International Workshop on OCL and Textual Modeling (OCL 2016), Vol. 1756 (pp 157-165), 2 October 2016 - 2 October 2016. View this article in WRRO RIS download Bibtex download
  • Brucker AD & Wolff B (2016) Monadic Sequence Testing and Explicit Test-Refinements. Tests and Proofs View this article in WRRO RIS download Bibtex download
  • Dashevskyi S, Brucker AD & Massacci F (2016) On the Security Cost of Using a Free and Open Source Component in a Proprietary Product. Engineering Secure Software and Systems, Vol. 9639 (pp 190-206). London, UK, 6 April 2016 - 8 April 2016. View this article in WRRO RIS download Bibtex download
  • Brucker AD & Herzberg M (2016) On the Static Analysis of Hybrid Mobile Apps: A Report on the State of Apache Cordova Nation. Lecture Notes in Computer Science, Vol. 9639, (pp 1-17). London, UK, 6 April 2016 - 8 April 2016. View this article in WRRO RIS download Bibtex download
  • Brucker AD, Cabot J & Herrera ASB (2016) CEUR Workshop Proceedings: Preface. CEUR Workshop Proceedings, Vol. 1756 (pp 1-2) RIS download Bibtex download
  • Salnitri M, Brucker AD & Giorgini P (2015) From Secure Business Process Models to Secure Artifact-Centric Specifications. Enterprise, Business-Process and Information Systems Modeling BPMDS (pp 246-262) View this article in WRRO RIS download Bibtex download
  • Brucker AD, Egea M, Gogolla M & Tuong F (2015) Preface. CEUR Workshop Proceedings, Vol. 1512 (pp 1) RIS download Bibtex download
  • Sohr K, Bartsch S, Volkamer M, Berger BJ, Bodden E, Brucker AD, Maseberg S, Kus M & Heider J (2014) Zertifizierte Datensicherheit für mobile Anwendungen. GI Sicherheit 2014, Vol. 228 (pp 283-291) RIS download Bibtex download
  • Brucker AD & Sodan U (2014) Deploying Static Application Security Testing on a Large Scale. GI Sicherheit 2014, Vol. 228 (pp 91-101) RIS download Bibtex download
  • Brucker A (2014) Service compositions: Curse or blessing for security?. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8368 LNCS RIS download Bibtex download
  • Bartsch S, Berger BJ, Bodden E, Brucker AD, Heider J, Kus M, Maseberg S, Sohr K & Volkamer M (2014) Certified data security for Android applications based on static program analyses. Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Vol. P-228 (pp 283-291) RIS download Bibtex download
  • (2014) 14th International Workshop on OCL and Textual Modeling, OCL 2014, Valencia, Spain, September 30, 2014. Proceedings, Vol. 1285 RIS download Bibtex download
  • Brucker AD, Clark T, Dania C, Georg G, Gogolla M, Jouault F, Teniente E & Wolff B (2014) Panel Discussion: Proposals for Improving OCL. Proceedings of the MODELS 2014 OCL Workshop (OCL 2014), Vol. 1285 (pp 83-99) RIS download Bibtex download
  • Brucker AD, Dania C, Georg G & Gogolla M (2014) Preface. CEUR Workshop Proceedings, Vol. 1285 RIS download Bibtex download
  • Brucker AD, Brügger L & Wolff B (2013) Hol-testgen/fw an environment for specification-based firewall conformance testing. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8049 LNCS (pp 112-121) RIS download Bibtex download
  • Compagna L, Guilleminot P & Brucker AD (2013) Business Process Compliance via Security Validation as a Service. IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) (pp 455-462) RIS download Bibtex download
  • Brucker AD, Chiorean D, Clark T, Demuth B, Gogolla M, Plotnikov D, Rumpe B, Willink ED & Wolff B (2013) Report on the Aachen OCL Meeting. Proceedings of the MODELS 2013 OCL Workshop (OCL 2013), Vol. 1092 (pp 103-111) RIS download Bibtex download
  • Brucker AD, Longuet D, Tuong F & Wolff B (2013) On the Semantics of Object-oriented Data Structures and Path Expressions. Proceedings of the MODELS 2013 OCL Workshop (OCL 2013), Vol. 1092 (pp 23-32) RIS download Bibtex download
  • (2012) Tests and Proofs - 6th International Conference, TAP 2012, Praque, Czech Republic, Mai 31 – June 1, 2012. Proceedings, Vol. 7305 RIS download Bibtex download
  • Brucker AD & Wolff B (2012) Featherweight OCL: A study for the consistent semantics of OCL 2.3 in HOL. Workshop on OCL and Textual Modelling (OCL 2012) (pp 19-24) RIS download Bibtex download
  • Brucker AD & Hang I (2012) Secure and Compliant Implementation of Business Process-driven Systems. Joint Workshop on Security in Business Processes (SBP), Vol. 132 (pp 662-674) RIS download Bibtex download
  • Monakova G, Severin C, Brucker AD, Flegel U & Schaad A (2012) Monitoring Security and Safety of Assets in Supply Chains. Future Security, Vol. 318 (pp 9-20) RIS download Bibtex download
  • Brucker AD, Hang I, Lückemeyer G & Ruparel R (2012) SecureBPMN: Modeling and Enforcing Access Control Requirements in Business Processes. ACM symposium on access control models and technologies (SACMAT) (pp 123-126) RIS download Bibtex download
  • Monakova G, Brucker AD & Schaad A (2012) Security and Safety of Assets in Business Processes. ACM Symposium on Applied Computing (SAC) (pp 1667-1673) RIS download Bibtex download
  • Brucker AD & Petritsch H (2011) A Framework for Managing and Analyzing Changes of Security Policies. IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY) (pp 105-112) RIS download Bibtex download
  • Braune S, Brucker AD, Kleser G, Li K, Meijler TD, Paulheim H & Probst F (2011) A Service-Oriented Architecture for Emergency Management Systems. Software Engineering 2011 – Workshopband, Vol. P-184 (pp 225-232) RIS download Bibtex download
  • Brucker AD, Brügger L, Kearney P & Wolff B (2011) An Approach to Modular and Testable Security Models of Real-world Health-care Applications. ACM symposium on access control models and technologies (SACMAT) (pp 133-142) RIS download Bibtex download
  • Probst F, Paulheim H, Brucker AD & Schulte S (2010) SoKNOS – Informationsdienste für das Katastrophenmanagement. VDE-Kongress 2010 – E-Mobility RIS download Bibtex download
  • Brucker AD, Krieger MP & Wolff B (2010) Extending OCL with null-references towards a formal semantics for OCL 2.1. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6002 LNCS (pp 261-275) RIS download Bibtex download
  • Brucker AD, Petritsch H & Schaad A (2009) Delegation Assistance. IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY) (pp 84-91) RIS download Bibtex download
  • Brucker AD & Wolff B (2001) Testing Distributed Component Based Systems Using UML/OCL. Informatik 2001, Vol. 1 (pp 608-614). Österreichische Computer Gesellschaft RIS download Bibtex download

Patents

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

Reports

  • Hess AV, Mödersheim SA & Brucker AD (2018) Stateful Protocol Composition (Extended Version) RIS download Bibtex download
  • 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 RIS download Bibtex download
  • 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 RIS download Bibtex download
  • 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 RIS download Bibtex download
  • 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 RIS download Bibtex download
  • Brucker AD, Brügger L, Krieger MP & Wolff B (2012) HOL-TestGen 1.7.0 User Guide View this article in WRRO RIS download Bibtex download
  • Brucker AD, Brügger L, Krieger MP & Wolff B (2010) HOL-TestGen 1.5.0 User Guide View this article in WRRO RIS download Bibtex download
  • Brucker AD & Mödersheim SA (2009) Integrating Automated and Interactive Protocol Verification (Extended Version) View this article in WRRO RIS download Bibtex download
  • Brucker AD & Wolff B (2006) The HOL-OCL Book View this article in WRRO RIS download Bibtex download
  • Brucker AD, Doser J & Wolff B (2006) A Model Transformation Semantics and Analysis Methodology for SecureUML View this article in WRRO RIS download Bibtex download
  • Brucker AD & Wolff B (2005) HOL-TestGen 1.0.0 User Guide View this article in WRRO RIS download Bibtex download
  • Brucker AD & Wolff B (2004) Symbolic Test Case Generation for Primitive Recursive Functions View this article in WRRO RIS download Bibtex download
  • Brucker AD & Wolff B (2002) A Note on Design Decisions of a Formalization of the OCL View this article in WRRO RIS download Bibtex download
  • Brucker AD, Rittinger F & Wolff B (2002) A CVS-Server Security Architecture — Concepts and Formal Analysis View this article in WRRO RIS download Bibtex download
  • Brucker AD & Wolff B (2001) Checking OCL Constraints in Distributed Systems Using J2EE/EJB View this article in WRRO RIS download Bibtex download

Software / Code

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

Theses / Dissertations

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

Edited books