1. Controlling Break-the-Glass through Alignment
2. Ahmed Awad , Kristo Raun , and Matthias Weidlich . 2021 . Efficient Approximate Conformance Checking Using Trie Data Structures. In 2021 3rd International Conference on Process Mining (ICPM). IEEE, 1--8. Ahmed Awad, Kristo Raun, and Matthias Weidlich. 2021. Efficient Approximate Conformance Checking Using Trie Data Structures. In 2021 3rd International Conference on Process Mining (ICPM). IEEE, 1--8.
3. Vincent Bloemen , Sebastiaan J van Zelst , Wil MP van der Aalst , Boudewijn F van Dongen, and Jaco van de Pol. 2018 . Maximizing synchronization for aligning observed and modelled behaviour. In BPM. Springer , 233--249. Vincent Bloemen, Sebastiaan J van Zelst, Wil MP van der Aalst, Boudewijn F van Dongen, and Jaco van de Pol. 2018. Maximizing synchronization for aligning observed and modelled behaviour. In BPM. Springer, 233--249.
4. Mathilde Boltenhagen , Thomas Chatain , and Josep Carmona . 2021 . A discounted cost function for fast alignments of business processes . In International Conference on Business Process Management. Springer, 252--269 . Mathilde Boltenhagen, Thomas Chatain, and Josep Carmona. 2021. A discounted cost function for fast alignments of business processes. In International Conference on Business Process Management. Springer, 252--269.
5. Optimized SAT encoding of conformance checking artefacts