SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems. - Linh Thao Ly; David Knuplesch; Stefanie Rinderle-Ma; Kevin Göser; Holger Pfeifer; Manfred Reichert; Peter Dadam (CAiSE Forum (Selected Papers), 2010)

SeaFlows Toolset - Compliance Verification Made Easy. - Linh Thao Ly; David Knuplesch; Stefanie Rinderle-Ma; Kevin Göser; Manfred Reichert; Peter Dadam (CAiSE Forum, 2010)

On Enabling Data-Aware Compliance Checking of Business Process Models. - David Knuplesch; Linh Thao Ly; Stefanie Rinderle-Ma; Holger Pfeifer; Peter Dadam (ER, 2010)

Monitoring Business Process Compliance Using Compliance Rule Graphs. - Linh Thao Ly; Stefanie Rinderle-Ma; David Knuplesch; Peter Dadam (OTM Conferences (1), 2011)

Towards Compliance of Cross-Organizational Processes and Their Changes - Research Challenges and State of Research. - David Knuplesch; Manfred Reichert; Jürgen Mangler; Stefanie Rinderle-Ma; Walid Fdhila (Business Process Management Workshops, 2012)

Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness. - David Knuplesch; Rüdiger Pryss; Manfred Reichert (CollaborateCom, 2012)

Enriching Business Process Models with Decision Rules. - Semra Catalkaya; David Knuplesch; Carolina Ming Chiao; Manfred Reichert (Business Process Management Workshops, 2013)

On Enabling Compliance of Cross-Organizational Business Processes. - David Knuplesch; Manfred Reichert; Walid Fdhila; Stefanie Rinderle-Ma (BPM, 2013)

Ensuring compliance of distributed and collaborative workflows. - David Knuplesch; Manfred Reichert; Rüdiger Pryss; Walid Fdhila; Stefanie Rinderle-Ma (CollaborateCom, 2013)

Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives. - David Knuplesch; Manfred Reichert; Linh Thao Ly; Akhil Kumar 001; Stefanie Rinderle-Ma (ER, 2013)

Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph. - Franziska Semmelrodt; David Knuplesch; Manfred Reichert (BMMDS/EMMSAD, 2014)

Message from the CeSCoP 2014 Workshop Chairs. - Walid Fdhila; David Knuplesch; Johannes Reich; Stefanie Rinderle-Ma; Manfred Reichert (EDOC Workshops, 2014)

On Enabling Compliance of Cross-organizational Business Processes (Extended Abstract). - David Knuplesch; Manfred Reichert; Walid Fdhila; Stefanie Rinderle-Ma (EMISA Forum, 2014)

Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives (Extended Abstract). - David Knuplesch; Manfred Reichert; Linh Thao Ly; Akhil Kumar 001; Stefanie Rinderle-Ma (EMISA Forum, 2014)

Change and Compliance in Collaborative Processes. - Walid Fdhila; Stefanie Rinderle-Ma; David Knuplesch; Manfred Reichert (SCC, 2015)

Visually Monitoring Multiple Perspectives of Business Process Compliance. - David Knuplesch; Manfred Reichert; Akhil Kumar 001 (BPM, 2015)

RALph: A Graphical Notation for Resource Assignments in Business Processes. - Cristina Cabanillas; David Knuplesch; Manuel Resinas; Manfred Reichert; Jan Mendling; Antonio Ruiz Cortés (CAiSE, 2015)

Towards Visually Monitoring Multiple Perspectives of Business Process Compliance. - David Knuplesch; Manfred Reichert; Akhil Kumar 001 (CAiSE Forum, 2015)

Detecting the Effects of Changes on the Compliance of Cross-Organizational Business Processes. - David Knuplesch; Walid Fdhila; Manfred Reichert; Stefanie Rinderle-Ma (ER, 2015)

Message from the CeSCop/ProMoS 2016 Workshop Chairs. - Walid Fdhila; David Knuplesch; Manfred Reichert; Michael Fellmann; Agnes Koschmider; Ralf Laue 001 (EDOC Workshops, 2016)

A Visual Language for Modeling Multiple Perspectives of Business Process Compliance Rules (Extended Abstract). - David Knuplesch; Manfred Reichert (EMISA, 2016)

A framework for visually monitoring business process compliance. - David Knuplesch; Manfred Reichert; Akhil Kumar 001 (Inf. Syst., 2017)

bpCMon: A Rule-Based Monitoring Framework for Business Processes Compliance. - Ping Gong 004; David Knuplesch; Zaiwen Feng; Jianmin Jiang (Int. J. Web Serv. Res., 2017)

A visual language for modeling multiple perspectives of business process compliance rules. - David Knuplesch; Manfred Reichert (Softw. Syst. Model., 2017)

Decomposition-based Verification of Global Compliance in Process Choreographies. - Walid Fdhila; Stefanie Rinderle-Ma; David Knuplesch; Manfred Reichert (EDOC, 2020)

Verifying compliance in process choreographies: Foundations, algorithms, and implementation. - Walid Fdhila; David Knuplesch; Stefanie Rinderle-Ma; Manfred Reichert (Inf. Syst., 2022)