Christoph Czepa

Orcid: 0000-0003-0043-5541

According to our database1, Christoph Czepa authored at least 18 papers between 2012 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

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

Towards a Compliance Support Framework for Adaptive Case Management.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Ontology-Based Behavioral Constraint Authoring.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

2015
Supporting Structural Consistency Checking in Adaptive Case Management.
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

Towards Structural Consistency Checking in Adaptive Case Management.
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

Streaming DirectX-Based Games on Windows.
Proceedings of the Advances in Computer Entertainment - 9th International Conference, 2012


  Loading...