Alignment-Based Conformance Checking of Hierarchical Process Models.

Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay.

Model Predictive Power Control for Cooperative Vehicle Safety Systems.