| 2025 | SEFM | Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise. | Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic |
| 2020 | EDOC | Decomposition-based Verification of Global Compliance in Process Choreographies. | Walid Fdhila, Stefanie Rinderle-Ma, David Knuplesch, Manfred Reichert |
| 2016 | EDOC | Message from the CeSCop/ProMoS 2016 Workshop Chairs. | Walid Fdhila, David Knuplesch, Manfred Reichert, Michael Fellmann, Agnes Koschmider, Ralf Laue |
| 2015 | BPM | Visually Monitoring Multiple Perspectives of Business Process Compliance. | David Knuplesch, Manfred Reichert, Akhil Kumar |
| 2015 | CaiSE | RALph: A Graphical Notation for Resource Assignments in Business Processes. | Cristina Cabanillas, David Knuplesch, Manuel Resinas, Manfred Reichert, Jan Mendling, Antonio Ruiz Corts |
| 2015 | CaiSE | Towards Visually Monitoring Multiple Perspectives of Business Process Compliance. | David Knuplesch, Manfred Reichert, Akhil Kumar |
| 2015 | ER | Detecting the Effects of Changes on the Compliance of Cross-Organizational Business Processes. | David Knuplesch, Walid Fdhila, Manfred Reichert, Stefanie Rinderle-Ma |
| 2014 | CaiSE | Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph. | Franziska Semmelrodt, David Knuplesch, Manfred Reichert |
| 2014 | EDOC | Message from the CeSCoP 2014 Workshop Chairs. | Walid Fdhila, David Knuplesch, Johannes Reich, Stefanie Rinderle-Ma, Manfred Reichert |
| 2013 | BPM | Enriching Business Process Models with Decision Rules. | Semra Catalkaya, David Knuplesch, Carolina Ming Chiao, Manfred Reichert |
| 2013 | BPM | On Enabling Compliance of Cross-Organizational Business Processes. | David Knuplesch, Manfred Reichert, Walid Fdhila, Stefanie Rinderle-Ma |
| 2013 | ER | Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives. | David Knuplesch, Manfred Reichert, Linh Thao Ly, Akhil Kumar, Stefanie Rinderle-Ma |
| 2012 | BPM | Towards Compliance of Cross-Organizational Processes and Their Changes - Research Challenges and State of Research. | David Knuplesch, Manfred Reichert, Jrgen Mangler, Stefanie Rinderle-Ma, Walid Fdhila |
| 2010 | CaiSE | SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems. | Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Gser, Holger Pfeifer, Manfred Reichert, Peter Dadam |
| 2010 | CaiSE | SeaFlows Toolset - Compliance Verification Made Easy. | Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Gser, Manfred Reichert, Peter Dadam |
| 2010 | ER | On Enabling Data-Aware Compliance Checking of Business Process Models. | David Knuplesch, Linh Thao Ly, Stefanie Rinderle-Ma, Holger Pfeifer, Peter Dadam |