Formal Model Checking and Transformations of Models Represented in UML with Alloy. - Meriem Kherbouche; Bálint Molnár (M2P, 2020)

The Use of M2P in Business Process Improvement and Optimization. - Meriem Kherbouche; Yossra Zghal; Bálint Molnár; András Benczúr (ADBIS (Short Papers), 2022)

Blockchain-Based Business Process Management (BPM) for Finance: The Case of Loan-Application. - Galena Pisoni; Meriem Kherbouche; Bálint Molnár (BLOCKCHAIN, 2022)