2024
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024

Probabilistic Runtime Enforcement of Executable BPMN Processes.
Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

Probabilistic Model Checking of BPMN Processes at Runtime.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

WEASY: A Tool for Modelling Optimised BPMN Processes.
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021
Semi-automated Modelling of Optimized BPMN Processes.
Proceedings of the IEEE International Conference on Services Computing, 2021