Streaming DirectX-Based Games on Windows. - Alexander Franiak; Yohann Pitrey; Christoph Czepa; Helmut Hlavacs (Advances in Computer Entertainment, 2012)

Towards an energy-efficient attention-aware mobile video player with sensor and face detection support. - Christoph Czepa; Shelley Buchinger; Helmut Hlavacs; Ewald Hotop; Yohann Pitrey (WOWMOM, 2012)

Towards Structural Consistency Checking in Adaptive Case Management. - Christoph Czepa; Huy Tran; Uwe Zdun; Thanh Tran Thi Kim; Erhard Weiss; Christoph Ruhsam (Business Process Management Workshops, 2015)

Enabling flexibility of business processes by compliance rules - a case study from the insurance industry. - Thanh Tran Thi Kim; Erhard Weiss; Christoph Ruhsam; Christoph Czepa; Huy Tran; Uwe Zdun (BPM (Industry Track), 2015)

Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM - A Repair Service Management Case. - Thanh Tran Thi Kim; Erhard Weiss; Christoph Ruhsam; Christoph Czepa; Huy Tran; Uwe Zdun (Business Process Management Workshops, 2015)

Supporting Structural Consistency Checking in Adaptive Case Management. - Christoph Czepa; Huy Tran; Uwe Zdun; Stefanie Rinderle-Ma; Thanh Tran Thi Kim; Erhard Weiss; Christoph Ruhsam (OTM Conferences, 2015)

Ontology-Based Behavioral Constraint Authoring. - Christoph Czepa; Huy Tran; Uwe Zdun; Thanh Tran Thi Kim; Erhard Weiss; Christoph Ruhsam (EDOC Workshops, 2016)

Towards a Compliance Support Framework for Adaptive Case Management. - Christoph Czepa; Huy Tran; Uwe Zdun; Thanh Tran Thi Kim; Erhard Weiss; Christoph Ruhsam (EDOC Workshops, 2016)

An Ontology-Based Approach for Defining Compliance Rules by Knowledge Workers in Adaptive Case Management - A Repair Service Management Case. - Thanh Tran Thi Kim; Erhard Weiss; Alexander Adensamer; Christoph Ruhsam; Christoph Czepa; Huy Tran; Uwe Zdun (EDOC Workshops, 2016)

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract). - Christoph Czepa; Huy Tran; Uwe Zdun; Thanh Thi Kim Tran; Erhard Weiss; Christoph Ruhsam (EMISA, 2016)

Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic. - Christoph Czepa; Huy Tran; Uwe Zdun; Thanh Thi Kim Tran; Erhard Weiss; Christoph Ruhsam (EMISA Forum, 2016)

On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment. - Christoph Czepa; Huy Tran; Uwe Zdun; Thanh Tran Thi Kim; Erhard Weiss; Christoph Ruhsam (ICSA, 2017)

Lightweight approach for seamless modeling of process flows in case management models. - Christoph Czepa; Huy Tran; Uwe Zdun; Thanh Thi Kim Tran; Erhard Weiss; Christoph Ruhsam (SAC, 2017)

Reduction techniques for efficient behavioral model checking in adaptive case management. - Christoph Czepa; Huy Tran; Uwe Zdun; Thanh Thi Kim Tran; Erhard Weiss; Christoph Ruhsam (SAC, 2017)

Enabling Flexibility of Business Processes Using Compliance Rules: The Case of Mobiliar. - Thanh Tran Thi Kim; Erhard Weiss; Christoph Ruhsam; Christoph Czepa; Huy Tran; Uwe Zdun (Business Process Management Cases, 2018)

Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability. - Christoph Czepa; Amirali Amiri; Evangelos Ntentos; Uwe Zdun (Softw. Syst. Model., 2019)

How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers? - Christoph Czepa; Uwe Zdun (ACM Trans. Softw. Eng. Methodol., 2019)

On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language. - Christoph Czepa; Uwe Zdun (IEEE Trans. Software Eng., 2020)