Items where Author is "Czepa, Christoph"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Journal Paper | Paper in Conference Proceedings or in Workshop Proceedings | Book Section/Chapter | Technical Report
Number of items: 21.

Journal Paper

  • On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language
    Czepa, Christoph and Zdun, Uwe pp. 100-112 ISSN 0098-5589 IEEE (2020)

  • How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?
    Czepa, Christoph and Zdun, Uwe 11:1-11:38 ISSN 1049-331X ACM (2019)

  • Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability
    Czepa, Christoph and Amiri, Amirali and Ntentos, Evangelos and Zdun, Uwe pp. 3331-3371 ISSN 1619-1366 Springer (2019)

    • Paper in Conference Proceedings or in Workshop Proceedings

  • Lightweight Approach for Seamless Modeling of Process Flows in Case Management Models
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: The 32nd ACM Symposium on Applied Computing (SAC 2017) , 3-6 Apr 2017 , Marrakesh, Morocco (2017)

  • On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: IEEE International Conference on Software Architecture (ICSA 2017) , 3-7 April 2017 , Gothenburg, Sweden (2017)

  • Reduction Techniques for Efficient Behavioral Model Checking in Adaptive Case Management
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: The 32nd ACM Symposium on Applied Computing (SAC 2017) , 3-6 Apr 2017 , Marrakesh, Morocco (2017)

  • Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract)
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 7th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2016) , 3-5 Oct 2016 , Vienna, Austria (2016)

  • An Ontology-Based Approach for Defining Compliance Rules by Knowledge Workers in Adaptive Case Management
    Tran, Thanh and Weiss, Erhard and Adensamer, Alexander and Ruhsam, Christoph and Czepa, Christoph and Tran, Huy and Zdun, Uwe In: 5th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 16), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016) , 05 - 09 Sep 2016 , Vienna, Austria (2016)

  • Ontology-Based Behavioral Constraint Authoring
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 2nd International Workshop on Compliance, Evolution and Security in intra- and Cross-Organizational Processes (CeSCoP 2016), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016) , 05 - 09 Sept 2016 , Vienna, Austria (2016)

  • Towards a Compliance Support Framework for Adaptive Case Management
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 5th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 16), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016) , 05 - 09 Sep 2015 , Vienna, Austria (2016)

  • Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 28th International Conference on Advanced Information Systems Engineering (CAiSE'16), Forum Track , 13-17 June 2016 , Ljubljana, Slovenia (2016)

  • Supporting Structural Consistency Checking in Adaptive Case Management
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Rinderle-Ma, Stefanie and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: International Conference on Cooperative Information Systems (CoopIS) 2015 , 28-30 October , Rhodes, Greece (2015)

  • Embracing Process Compliance and Flexibility through Behavioral Consistency Checking in ACM: A Repair Service Management Case
    Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph and Czepa, Christoph and Tran, Huy and Zdun, Uwe In: 4th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 15) , 31 Aug - 03 Sep 2015 , Innsbruck, Austria (2015)

  • Enabling Flexibility of Business Processes by Compliance Rules: A Case Study from the Insurance Industry
    Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph and Czepa, Christoph and Tran, Huy and Zdun, Uwe In: 13th International Conference on Business Process Management 2015, Industry Track , 31 Aug - 3 Sep 2015 , Innsbruck, Austria (2015)

  • Towards Structural Consistency Checking in Adaptive Case Management
    Czepa, Christoph and Tran, Huy and Zdun, Uwe and Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph In: 4th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 15) , 31 Aug- 03 Sep 2015 , Innsbruck, Austria (2015)

  • Developing location-based games by means of Near Field Communication technology and content creation tools
    Czepa, Christoph and Al Rostami, M. and Halachliyski, D. In: Mobile Gaming 2012 (Moga 12), Workshop at ICEC 2012 (2012)

  • Towards an energy-efficient attention-aware mobile video player with sensor and face detection support
    Czepa, Christoph and Buchinger, Shelley and Hlavacs, Helmut and Hotop, Ewald and Pitrey Helpiquet, Yohann In: World of Wireless, Mobile and Multimedia Networks (WoWMoM) 2012 (2012)

  • Streaming DirectX-Based Games on Windows
    Franiak, Alexander and Pitrey, Yohann and Czepa, Christoph and Hlavacs, Helmut In: Advances in Computer Entertainment - 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings (2012)

    • Book Section/Chapter

  • Enabling Flexibility of Business Processes Using Compliance Rules: The Case of Mobiliar
    Tran, Thanh and Weiss, Erhard and Ruhsam, Christoph and Czepa, Christoph and Tran, Huy and Zdun, Uwe In: Business Process Management. Cases. Springer (2017)

  • Transforming Compliance Regulations into User Experience
    Czepa, Christoph and Zdun, Uwe and Ruhsam, Christoph In: Intelligent Adaptability. Future Strategies Inc., in association with the Workflow Management Coalition (WfMC) (2017)

    • Technical Report

  • On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language (Appendix)
    Czepa, Christoph and Zdun, Uwe Technical Report. UNSPECIFIED (2018)

    • This list was generated on Wed Nov 20 17:26:41 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.