A Static Analyser for Resource Sensitive Workflow Models

von Ali, Muhammad Rizwan
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (17. : 2023 : Bristol) Theoretical aspects of software engineering (2023)

Towards a Resource-Aware Formal Modelling Language for Workflow Planning

von Ali, Muhammad Rizwan
Veröffentlicht in MEDI (10. : 2021 : Online) Advances in Model and Data Engineering in the Digitalization Era (2021)

Refactoring and Active Object Languages

von Stolz, Volker
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Active Objects with Deterministic Behaviour

von Henrio, Ludovic
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020 : proceedings

Veröffentlicht 2020

A Notion of Equivalence for Refactorings with Abstract Execution

von Abusdal, Ole Jørgen
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)