Login / Signup
Erhard Weiss
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 13
Top Topics
Ws Bpel
Extended Abstract
Consistency Checking
Business Process
Top Venues
EDOC Workshops
SAC
Business Process Management Workshops
BPM (Industry Track)
</>
Publications
</>
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Thanh Tran Thi Kim
,
Erhard Weiss
,
Christoph Ruhsam
On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment.
ICSA
(2017)
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Thanh Thi Kim Tran
,
Erhard Weiss
,
Christoph Ruhsam
Reduction techniques for efficient behavioral model checking in adaptive case management.
SAC
(2017)
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Thanh Thi Kim Tran
,
Erhard Weiss
,
Christoph Ruhsam
Lightweight approach for seamless modeling of process flows in case management models.
SAC
(2017)
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Thanh Tran Thi Kim
,
Erhard Weiss
,
Christoph Ruhsam
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
CAiSE Forum
(2016)
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Thanh Thi Kim Tran
,
Erhard Weiss
,
Christoph Ruhsam
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
EMISA Forum
36 (2) (2016)
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Thanh Tran Thi Kim
,
Erhard Weiss
,
Christoph Ruhsam
Ontology-Based Behavioral Constraint Authoring.
EDOC Workshops
(2016)
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Thanh Tran Thi Kim
,
Erhard Weiss
,
Christoph Ruhsam
Towards a Compliance Support Framework for Adaptive Case Management.
EDOC Workshops
(2016)
Thanh Tran Thi Kim
,
Erhard Weiss
,
Alexander Adensamer
,
Christoph Ruhsam
,
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
An Ontology-Based Approach for Defining Compliance Rules by Knowledge Workers in Adaptive Case Management - A Repair Service Management Case.
EDOC Workshops
(2016)
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Thanh Thi Kim Tran
,
Erhard Weiss
,
Christoph Ruhsam
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract).
EMISA
(2016)
Thanh Tran Thi Kim
,
Erhard Weiss
,
Christoph Ruhsam
,
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
Enabling flexibility of business processes by compliance rules - a case study from the insurance industry.
BPM (Industry Track)
(2015)
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Thanh Tran Thi Kim
,
Erhard Weiss
,
Christoph Ruhsam
Towards Structural Consistency Checking in Adaptive Case Management.
Business Process Management Workshops
(2015)
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
,
Stefanie Rinderle-Ma
,
Thanh Tran Thi Kim
,
Erhard Weiss
,
Christoph Ruhsam
Supporting Structural Consistency Checking in Adaptive Case Management.
OTM Conferences
(2015)
Thanh Tran Thi Kim
,
Erhard Weiss
,
Christoph Ruhsam
,
Christoph Czepa
,
Huy Tran
,
Uwe Zdun
Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM - A Repair Service Management Case.
Business Process Management Workshops
(2015)