Model-driven software engineering, focused on executable models (BPMN, state machines)
Debugging and Debugging tools in IDEs
Model checking, especially BPMN model checking
Publications
Towards behavioral consistency in heterogeneous modeling scenarios. In 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).
The Visual Debugger: Past, Present, and Future. In 1st Workshop on Integrated Development Environments (IDE 2024) co-located with the 46th International Conference on Software Engineering (ICSE 2024).
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum at BPM 2024 co-located with 22nd International Conference on Business Process Management (BPM 2024).
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems. Logical Methods in Computer Science, Vol. 20, Issue 4, 2024.
Towards the Coordination and Verification of Heterogeneous Systems with Data and Time. To appear in the ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS).