Author of the publication

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes.

, , and . FM, volume 9109 of Lecture Notes in Computer Science, page 143-160. Springer, (2015)

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

Flexible, adaptable, and compliant business systems with dynamic condition response graphs.. ForMABS@ASE, page 1. ACM, (2016)Replication, refinement & reachability: complexity in dynamic condition-response graphs., , and . Acta Inf., 55 (6): 489-520 (2018)Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9., , , and . SER&IP@ICSE, page 54-57. IEEE, (2015)Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management., , , and . OTM Workshops, volume 8186 of Lecture Notes in Computer Science, page 166-171. Springer, (2013)Declarative process mining for DCR graphs., , , and . SAC, page 759-764. ACM, (2017)The DCR Graphs Process Portal., , , and . BPM (Demos), volume 1789 of CEUR Workshop Proceedings, page 7-11. CEUR-WS.org, (2016)Decision Modelling in Timed Dynamic Condition Response Graphs with Data., , , , and . Business Process Management Workshops, volume 436 of Lecture Notes in Business Information Processing, page 362-374. Springer, (2021)Bigraphical Models of Context-Aware Systems., , , , and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 187-201. Springer, (2006)A Relational Model of Non-deterministic Dataflow., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 613-628. Springer, (1998)Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs., , , and . J. Log. Algebraic Methods Program., 82 (5-7): 164-185 (2013)