Author of the publication

Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability.

, , , and . Software and Systems Modeling, 18 (6): 3331-3371 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM - A Repair Service Management Case., , , , , and . Business Process Management Workshops, volume 256 of Lecture Notes in Business Information Processing, page 43-54. Springer, (2015)Towards an energy-efficient attention-aware mobile video player with sensor and face detection support., , , , and . WOWMOM, page 1-6. IEEE Computer Society, (2012)Supporting Structural Consistency Checking in Adaptive Case Management., , , , , , and . OTM Conferences, volume 9415 of Lecture Notes in Computer Science, page 311-319. Springer, (2015)Towards Structural Consistency Checking in Adaptive Case Management., , , , , and . Business Process Management Workshops, volume 256 of Lecture Notes in Business Information Processing, page 90-95. Springer, (2015)Enabling flexibility of business processes by compliance rules - a case study from the insurance industry., , , , , and . BPM (Industry Track), volume 1439 of CEUR Workshop Proceedings, page 30-43. CEUR-WS.org, (2015)How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?, and . ACM Trans. Softw. Eng. Methodol., 28 (2): 11:1-11:38 (2019)Streaming DirectX-Based Games on Windows., , , and . Advances in Computer Entertainment, volume 7624 of Lecture Notes in Computer Science, page 485-489. Springer, (2012)An Ontology-Based Approach for Defining Compliance Rules by Knowledge Workers in Adaptive Case Management - A Repair Service Management Case., , , , , , and . EDOC Workshops, page 1-8. IEEE Computer Society, (2016)Ontology-Based Behavioral Constraint Authoring., , , , , and . EDOC Workshops, page 1-8. IEEE Computer Society, (2016)Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic., , , , , and . CAiSE Forum, volume 1612 of CEUR Workshop Proceedings, page 1-8. CEUR-WS.org, (2016)