Items where Author is "Knuplesch, David"

Article

Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2017) A framework for visually monitoring business process compliance. Information Systems, 64 . pp. 381-409.

Knuplesch, David and Reichert, Manfred (2017) A Visual Language for Modeling Business Process Compliance Rules. Software & Systems Modeling, 16 . pp. 715-736. ISSN 1619-1374

Monograph

Gong, Ping and Knuplesch, David and Reichert, Manfred (2016) Rule-based Monitoring Framework for Business Process Compliance. Technical Report. Ulm University, Ulm.

Nguyen, Dac Mai Trang and Knuplesch, David (2016) Projekt-Bericht: eCRG Evaluation. Project Report. Institute of Databases and Information Systems.

Knuplesch, David and Reichert, Manfred (2014) An Operational Semantics for the Extended Compliance Rule Graph Language. Technical Report. Ulm University, Ulm.

Knuplesch, David and Reichert, Manfred and Ly, Linh Thao and Kumar, Akhil and Rinderle-Ma, Stefanie (2013) On the Formal Semantics of the Extended Compliance Rule Graph. Technical Report. Ulm University, Ulm.

Knuplesch, David and Pryss, Rüdiger and Reichert, Manfred (2012) A Formal Framework for Data-Aware Process Interaction Models. Technical Report. University of Ulm, Ulm.

Knuplesch, David and Reichert, Manfred (2011) Ensuring Business Process Compliance Along the Process Life Cycle. Technical Report. University of Ulm, Ulm.

Conference or Workshop Item

Fdhila, Walid and Rinderle-Ma, Stefanie and Knuplesch, David and Reichert, Manfred (2020) Decomposition-based Verification of Global Compliance in Process Choreographies. In: 24th Int'l Enterprise Distributed Object Computing Conference (EDOC 2020), 5 - 8 October 2020, Eindhoven, The Netherlands.

Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2017) A Framework for Visually Monitoring Business Process Compliance (Extended Abstract). In: 8th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2017), June 12-13, 2017, Essen, Germany.

Knuplesch, David and Reichert, Manfred (2016) A Visual Language for Modeling Multiple Perspectives of Business Process Compliance Rules (Extended Abstract). In: 7th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2016, Vienna.

Knuplesch, David and Fdhila, Walid and Reichert, Manfred and Rinderle-Ma, Stefanie (2015) Detecting the Effects of Changes on the Compliance of Cross-organizational Business Processes. In: 34th International Conference on Conceptual Modeling (ER 2015), 19-22 October 2015, Stockholm, Sweden.

Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2015) Visually Monitoring Multiple Perspectives of Business Process Compliance. In: 13th Int'l Conference on Business Process Management (BPM 2015), 1-3 September 2015, Innsbruck, Austria.

Fdhila, Walid and Rinderle-Ma, Stefanie and Knuplesch, David and Reichert, Manfred (2015) Change and Compliance in Collaborative Processes. In: 12th IEEE International Conference on Services Computing (SCC 2015), June 27 - July 2, 2015, New York, USA.

Cabanillas, Cristina and Knuplesch, David and Resinas, Manuel and Reichert, Manfred and Mendling, Jan and Ruiz-Cortes, Antonio (2015) RALph: A Graphical Notation for Resource Assignments in Business Processes. In: 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 8-12 June 2015, Stockholm, Sweden.

Knuplesch, David and Reichert, Manfred and Kumar, Akhil (2015) Towards Visually Monitoring Multiple Perspectives of Business Process Compliance. In: CAiSE Forum 2015, 10 June 2015, Stockholm, Sweden.

Semmelrodt, Franziska and Knuplesch, David and Reichert, Manfred (2014) Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph. In: 15th Int Working Conference on Business Process Modeling, Development, and Support (BPMDS 2014), 16-17 June 2014, Thessaloniki, Greece.

Knuplesch, David and Reichert, Manfred and Ly, Linh Thao and Kumar, Akhil and Rinderle-Ma, Stefanie (2013) Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives. In: 32nd Int'l Conference on Conceptual Modeling (ER 2013), November 11-13, 2013, Hong Kong.

Knuplesch, David and Reichert, Manfred and Pryss, Rüdiger and Fdhila, Walid and Rinderle-Ma, Stefanie (2013) Ensuring Compliance of Distributed and Collaborative Workflows. In: 9th IEEE Int'l Conference on Collaborative Computing: Networking, Applications and Worksharing (CollborateCom'13), October 20–23, 2013, Austin, Texas, United States.

Catalkaya, Semra and Knuplesch, David and Chiao, Carolina Ming and Reichert, Manfred (2013) Enriching Business Process Models with Decision Rules. In: BPM 2013 International Workshops, Int'l Workshop on Decision Mining & Modeling for Business Processes (DeMiMoP’13), August 26, 2013, Beijing, China.

Knuplesch, David and Reichert, Manfred and Fdhila, Walid and Rinderle-Ma, Stefanie (2013) On Enabling Compliance of Cross-Organizational Business Processes. In: 11th Int'l Conference Business Process Management (BPM'13), August 26-30, 2013, Beijing, China.

Knuplesch, David and Pryss, Rüdiger and Reichert, Manfred (2012) Data-Aware Interaction in Distributed and Collaborative Workflows: Modeling, Semantics, Correctness. In: 8th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom'12), October 14–17, 2012, Pittsburgh, Pennsylvania, United States.

Knuplesch, David and Reichert, Manfred and Mangler, Jürgen and Rinderle-Ma, Stefanie and Fdhila, Walid (2012) Towards Compliance of Cross-Organizational Processes and their Changes. In: 1st Int Workshop on Security in Business Processes (SBP’12), BPM'12 Workshops, 2 September 2012, Tallinn, Estonia.

Ly, Linh Thao and Rinderle-Ma, Stefanie and Knuplesch, David and Dadam, Peter (2011) Monitoring Business Process Compliance Using Compliance Rule Graphs. In: 19th International Conference on Cooperative Information Systems (CoopIS 2011) , Oct 19 - 21, 2011, Crete, Greece.

Ly, Linh Thao and Knuplesch, David and Rinderle-Ma, Stefanie and Goeser, Kevin and Reichert, Manfred and Dadam, Peter (2010) SeaFlows Toolset - Compliance Verification Made Easy. In: CAiSE'10 Demos, June 2010, Hammamet, Tunisia.

Knuplesch, David and Ly, Linh Thao and Rinderle-Ma, Stefanie and Pfeifer, Holger and Dadam, Peter (2010) On Enabling Data-Aware Compliance Checking of Business Process Models. In: 29th International Conference on Conceptual Modeling, November 2010, Vancouver, BC, Canada.

Ly, Linh Thao and Knuplesch, David and Rinderle-Ma, Stefanie and Goeser, Kevin and Pfeifer, Holger and Reichert, Manfred and Dadam, Peter (2010) SeaFlows Toolset - Compliance Verification Made Easy for Process-aware Information Systems. In: Proc. CAiSE'10 Forum - Information Systems Evolution, June 2010, Hammamet, Tunisia.

Thesis

Knuplesch, David (2019) Enabling Multi-Perspective Business Process Compliance. PhD thesis, Ulm University.

Knuplesch, David (2008) Verifikation von ADEPT-Prozessen mittels Model Checking. Diploma thesis, Universität Ulm.