Christoph Czepa
Orcid: 0000-0003-0043-5541
According to our database1,
Christoph Czepa
authored at least 18 papers
between 2012 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language.
IEEE Trans. Software Eng., 2020
2019
How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?
ACM Trans. Softw. Eng. Methodol., 2019
Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.
Softw. Syst. Model., 2019
2018
Enabling Flexibility of Business Processes Using Compliance Rules: The Case of Mobiliar.
Proceedings of the Business Process Management Cases, 2018
2017
Reduction techniques for efficient behavioral model checking in adaptive case management.
Proceedings of the Symposium on Applied Computing, 2017
Lightweight approach for seamless modeling of process flows in case management models.
Proceedings of the Symposium on Applied Computing, 2017
On the Understandability of Semantic Constraints for Behavioral Software Architecture Compliance: A Controlled Experiment.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017
2016
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
EMISA Forum, 2016
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract).
Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, 2016
An Ontology-Based Approach for Defining Compliance Rules by Knowledge Workers in Adaptive Case Management - A Repair Service Management Case.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016
2015
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015
Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM - A Repair Service Management Case.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015
Enabling flexibility of business processes by compliance rules - a case study from the insurance industry.
Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 co-located with 13th International Conference on Business Process Management (BPM 2015), 2015
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015
2012
Towards an energy-efficient attention-aware mobile video player with sensor and face detection support.
Proceedings of the 2012 IEEE International Symposium on a World of Wireless, 2012
Proceedings of the Advances in Computer Entertainment - 9th International Conference, 2012