| 2026 | DATE | UniSEC: A Unified Security Evaluation Framework for Secure Cache Architectures. | Pratik Shrestha, Achim D. Brucker, M. Khurram Bhatti |
| 2024 | SEFM | Secure Smart Contracts with Isabelle/Solidity. | Diego Marmsoler, Asad Ahmed, Achim D. Brucker |
| 2023 | FM | Verifying Feedforward Neural Networks for Classification in Isabelle/HOL. | Achim D. Brucker, Amy Stell |
| 2022 | TAP | Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. | Diego Marmsoler, Achim D. Brucker |
| 2021 | BPM | Confidentiality Enhanced Life-Cycle Assessment. | Achim D. Brucker, Sakine Yalman |
| 2021 | SEFM | A Denotational Semantics of Solidity in Isabelle/HOL. | Diego Marmsoler, Achim D. Brucker |
| 2019 | IFM | Using Ontologies in Formal Developments Targeting Certification. | Achim D. Brucker, Burkhart Wolff |
| 2019 | MODELS | Emerging Topics in Textual Modelling. | Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frdric Jouault, Christophe Ponsard, Valry Ramon, Edward D. Willink |
| 2019 | SEFM | Isabelle/DOF: Design and Implementation. | Achim D. Brucker, Burkhart Wolff |
| 2019 | SEFM | Incorporating Data into EFSM Inference. | Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhn North, John Derrick |
| 2018 | ESORICS | Stateful Protocol Composition. | Andreas V. Hess, Sebastian Alexander Mdersheim, Achim D. Brucker |
| 2018 | ICFEM | Formalising Extended Finite State Machine Transition Merging. | Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick |
| 2018 | WWW | A Formal Semantics of the Core DOM in Isabelle/HOL. | Achim D. Brucker, Michael Herzberg |
| 2018 | TAP | Formalizing (Web) Standards - An Application of Test and Proof. | Achim D. Brucker, Michael Herzberg |
| 2016 | MODELS | Recent Developments in OCL and Textual Modelling. | Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Snchez-Barbudo Herrera, Frank Hilken, Frdric Tuong, Edward D. Willink, Burkhart Wolff |
| 2016 | TAP | Monadic Sequence Testing and Explicit Test-Refinements. | Achim D. Brucker, Burkhart Wolff |
| 2015 | CaiSE | From Secure Business Process Models to Secure Artifact-Centric Specifications. | Mattia Salnitri, Achim D. Brucker, Paolo Giorgini |
| 2014 | MODELS | Panel Discussion: Proposals for Improving OCL. | Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frdric Jouault, Ernest Teniente, Burkhart Wolff |
| 2013 | ICST | Business Process Compliance via Security Validation as a Service. | Luca Compagna, Pierre Guilleminot, Achim D. Brucker |
| 2013 | ICTAC | hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. | Achim D. Brucker, Lukas Brgger, Burkhart Wolff |
| 2013 | MODELS | Report on the Aachen OCL Meeting. | Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff |
| 2013 | MODELS | On the Semantics of Object-Oriented Data Structures and Path Expressions. | Achim D. Brucker, Delphine Longuet, Frdric Tuong, Burkhart Wolff |
| 2013 | TAP | Test Program Generation for a Microprocessor - A Case-Study. | Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff |
| 2012 | BPM | Secure and Compliant Implementation of Business Process-Driven Systems. | Achim D. Brucker, Isabelle Hang |
| 2012 | MODELS | Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. | Achim D. Brucker, Burkhart Wolff |
| 2012 | SAC | Security and safety of assets in business processes. | Ganna Monakova, Achim D. Brucker, Andreas Schaad |
| 2012 | SACMAT | SecureBPMN: modeling and enforcing access control requirements in business processes. | Achim D. Brucker, Isabelle Hang, Gero Lckemeyer, Raj Ruparel |
| 2011 | SACMAT | An approach to modular and testable security models of real-world health-care applications. | Achim D. Brucker, Lukas Brgger, Paul J. Kearney, Burkhart Wolff |
| 2010 | FMICS | Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. | Michael Altenhofen, Achim D. Brucker |
| 2010 | ICST | Verified Firewall Policy Transformations for Test Case Generation. | Achim D. Brucker, Lukas Brgger, Paul J. Kearney, Burkhart Wolff |
| 2010 | MODELS | A Specification-Based Test Case Generation Method for UML/OCL. | Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff |
| 2010 | WISTP | Attribute-Based Encryption with Break-Glass. | Achim D. Brucker, Helmut Petritsch, Stefan G. Weber |
| 2009 | FASE | hol-TestGen. | Achim D. Brucker, Burkhart Wolff |
| 2009 | MODELS | Extending OCL with Null-References. | Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff |
| 2009 | SACMAT | Extending access control models with break-glass. | Achim D. Brucker, Helmut Petritsch |
| 2008 | ECOOP | Extensible Universes for Object-Oriented Data Models. | Achim D. Brucker, Burkhart Wolff |
| 2008 | FASE | HOL-OCL: A Formal Proof Environment for UML/OCL. | Achim D. Brucker, Burkhart Wolff |
| 2007 | TAP | Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. | Achim D. Brucker, Burkhart Wolff |
| 2006 | MODELS | A Model Transformation Semantics and Analysis Methodology for SecureUML. | Achim D. Brucker, Jrgen Doser, Burkhart Wolff |
| 2001 | GI | Testing Distributed Component Based Systems Using UML/OCL. | Achim D. Brucker, Burkhart Wolff |