Author of the publication

A Static Analyser for Resource Sensitive Workflow Models.

, and . TASE, volume 13931 of Lecture Notes in Computer Science, page 305-312. Springer, (2023)

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

Proving Correctness of Parallel Implementations of Transition System Specifications., , , and . CoRR, (2023)Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning., , , and . EMBC, page 2163-2169. IEEE, (2021)Diversity-Aware Anonymization for Structured Health Data., , , and . EMBC, page 2148-2154. IEEE, (2021)Towards a Resource-Aware Formal Modelling Language for Workflow Planning., and . MEDI Workshops, volume 1481 of Communications in Computer and Information Science, page 251-258. Springer, (2021)Cost Analysis for an Actor-Based Workflow Modelling Language., and . SBMF, volume 13130 of Lecture Notes in Computer Science, page 104-121. Springer, (2021)A Static Analyser for Resource Sensitive Workflow Models., and . TASE, volume 13931 of Lecture Notes in Computer Science, page 305-312. Springer, (2023)Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling., , and . COORDINATION, volume 14676 of Lecture Notes in Computer Science, page 111-128. Springer, (2024)I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking., , , and . The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 1-18. Springer, (2022)SymPaths: Symbolic Execution Meets Partial Order Reduction., , , , , and . 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, Springer, (2020)A Notion of Equivalence for Refactorings with Abstract Execution., , , and . ISoLA (2), volume 13702 of Lecture Notes in Computer Science, page 259-280. Springer, (2022)