Christoph Czepa

19 papers A 1C 2Misc 2Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2020 J jnl
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language.
IEEE Trans. Software Eng.
Christoph Czepa, Uwe Zdun
2019 J jnl
How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?
ACM Trans. Softw. Eng. Methodol.
Christoph Czepa, Uwe Zdun
2019 J jnl
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.
Softw. Syst. Model.
Christoph Czepa, Amirali Amiri, Evangelos Ntentos, Uwe Zdun
2018 — ch.
Enabling Flexibility of Business Processes Using Compliance Rules: The Case of Mobiliar.
Business Process Management Cases
Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam, Christoph Czepa, Huy Tran, Uwe Zdun
2017 Misc conf
Lightweight approach for seamless modeling of process flows in case management models.
SAC
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam
2017 A conf
On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment.
ICSA
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam
2017 Misc conf
Reduction techniques for efficient behavioral model checking in adaptive case management.
SAC
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam
2016 — conf
An Ontology-Based Approach for Defining Compliance Rules by Knowledge Workers in Adaptive Case Management - A Repair Service Management Case.
EDOC Workshops
Thanh Tran Thi Kim, Erhard Weiss, Alexander Adensamer, Christoph Ruhsam, Christoph Czepa, Huy Tran, Uwe Zdun
2016 — conf
Ontology-Based Behavioral Constraint Authoring.
EDOC Workshops
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam
2016 — conf
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract).
EMISA
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam
2016 — conf
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
CAiSE Forum
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam
2016 J jnl
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
EMISA Forum
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam
2016 — conf
Towards a Compliance Support Framework for Adaptive Case Management.
EDOC Workshops
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam
2015 — conf
Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM - A Repair Service Management Case.
Business Process Management Workshops
Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam, Christoph Czepa, Huy Tran, Uwe Zdun
2015 — conf
Enabling flexibility of business processes by compliance rules - a case study from the insurance industry.
BPM (Industry Track)
Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam, Christoph Czepa, Huy Tran, Uwe Zdun
2015 — conf
Supporting Structural Consistency Checking in Adaptive Case Management.
OTM Conferences
Christoph Czepa, Huy Tran, Uwe Zdun, Stefanie Rinderle-Ma, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam
2015 — conf
Towards Structural Consistency Checking in Adaptive Case Management.
Business Process Management Workshops
Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam
2012 C conf
Streaming DirectX-Based Games on Windows.
Advances in Computer Entertainment
Alexander Franiak, Yohann Pitrey, Christoph Czepa, Helmut Hlavacs
2012 C conf
Towards an energy-efficient attention-aware mobile video player with sensor and face detection support.
WOWMOM
Christoph Czepa, Shelley Buchinger, Helmut Hlavacs, Ewald Hotop, Yohann Pitrey