David Knuplesch

31 papers A 6B 2C 2Journal 10Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures Under Active Compromise. SEFM Julius Figge, David Knuplesch, Andreas Maletti, Dragan Zuvic
2023	J	`jnl`	Evaluation of Compliance Rule Languages for Modelling Regulatory Compliance Requirements. Softw. Andrea Zasada, Mustafa Hashmi, Michael Fellmann, David Knuplesch
2022	J	`jnl`	Verifying compliance in process choreographies: Foundations, algorithms, and implementation. Inf. Syst. Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert
2021	J	`jnl`	Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation. CoRR Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma, Manfred Reichert
2020	B	`conf`	Decomposition-based Verification of Global Compliance in Process Choreographies. EDOC Walid Fdhila, Stefanie Rinderle-Ma, David Knuplesch, Manfred Reichert
2017	J	`jnl`	A Framework for Visually Monitoring Business Process Compliance. EMISA Forum David Knuplesch, Manfred Reichert, Akhil Kumar
2017	J	`jnl`	A framework for visually monitoring business process compliance. Inf. Syst. David Knuplesch, Manfred Reichert, Akhil Kumar
2017	J	`jnl`	A visual language for modeling multiple perspectives of business process compliance rules. Softw. Syst. Model. David Knuplesch, Manfred Reichert
2017	J	`jnl`	bpCMon: A Rule-Based Monitoring Framework for Business Processes Compliance. Int. J. Web Serv. Res. Ping Gong, David Knuplesch, Zaiwen Feng, Jianmin Jiang
2016	—	`conf`	A Visual Language for Modeling Multiple Perspectives of Business Process Compliance Rules (Extended Abstract). EMISA David Knuplesch, Manfred Reichert
2016	J	`jnl`	A Visual Language for Modeling Multiple Perspectives of Business Process Compliance Rules. EMISA Forum David Knuplesch, Manfred Reichert
2016	—	`conf`	Message from the CeSCop/ProMoS 2016 Workshop Chairs. EDOC Workshops Walid Fdhila, David Knuplesch, Manfred Reichert, Michael Fellmann, Agnes Koschmider, Ralf Laue
2015	—	`conf`	Change and Compliance in Collaborative Processes. SCC Walid Fdhila, Stefanie Rinderle-Ma, David Knuplesch, Manfred Reichert
2015	A	`conf`	Detecting the Effects of Changes on the Compliance of Cross-Organizational Business Processes. ER David Knuplesch, Walid Fdhila, Manfred Reichert, Stefanie Rinderle-Ma
2015	A	`conf`	RALph: A Graphical Notation for Resource Assignments in Business Processes. CAiSE Cristina Cabanillas, David Knuplesch, Manuel Resinas, Manfred Reichert, Jan Mendling, Antonio Ruiz Cortés
2015	—	`conf`	Towards Visually Monitoring Multiple Perspectives of Business Process Compliance. CAiSE Forum David Knuplesch, Manfred Reichert, Akhil Kumar
2015	A	`conf`	Visually Monitoring Multiple Perspectives of Business Process Compliance. BPM David Knuplesch, Manfred Reichert, Akhil Kumar
2014	—	`conf`	Message from the CeSCoP 2014 Workshop Chairs. EDOC Workshops Walid Fdhila, David Knuplesch, Johannes Reich, Stefanie Rinderle-Ma, Manfred Reichert
2014	—	`conf`	Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph. BMMDS/EMMSAD Franziska Semmelrodt, David Knuplesch, Manfred Reichert
2014	J	`jnl`	On Enabling Compliance of Cross-organizational Business Processes (Extended Abstract). EMISA Forum David Knuplesch, Manfred Reichert, Walid Fdhila, Stefanie Rinderle-Ma
2014	J	`jnl`	Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives (Extended Abstract). EMISA Forum David Knuplesch, Manfred Reichert, Linh Thao Ly, Akhil Kumar, Stefanie Rinderle-Ma
2013	—	`conf`	Enriching Business Process Models with Decision Rules. Business Process Management Workshops Semra Catalkaya, David Knuplesch, Carolina Ming Chiao, Manfred Reichert
2013	C	`conf`	Ensuring compliance of distributed and collaborative workflows. CollaborateCom David Knuplesch, Manfred Reichert, Rüdiger Pryss, Walid Fdhila, Stefanie Rinderle-Ma
2013	A	`conf`	On Enabling Compliance of Cross-Organizational Business Processes. BPM David Knuplesch, Manfred Reichert, Walid Fdhila, Stefanie Rinderle-Ma
2013	A	`conf`	Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives. ER David Knuplesch, Manfred Reichert, Linh Thao Ly, Akhil Kumar, Stefanie Rinderle-Ma
2012	C	`conf`	Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness. CollaborateCom David Knuplesch, Rüdiger Pryss, Manfred Reichert
2012	—	`conf`	Towards Compliance of Cross-Organizational Processes and Their Changes - Research Challenges and State of Research. Business Process Management Workshops David Knuplesch, Manfred Reichert, Jürgen Mangler, Stefanie Rinderle-Ma, Walid Fdhila
2011	—	`conf`	Monitoring Business Process Compliance Using Compliance Rule Graphs. OTM Conferences (1) Linh Thao Ly, Stefanie Rinderle-Ma, David Knuplesch, Peter Dadam
2010	A	`conf`	On Enabling Data-Aware Compliance Checking of Business Process Models. ER David Knuplesch, Linh Thao Ly, Stefanie Rinderle-Ma, Holger Pfeifer, Peter Dadam
2010	—	`conf`	SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems. CAiSE Forum (Selected Papers) Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Göser, Holger Pfeifer, Manfred Reichert, Peter Dadam
2010	—	`conf`	SeaFlows Toolset - Compliance Verification Made Easy. CAiSE Forum Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Göser, Manfred Reichert, Peter Dadam