Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement. - Roberto Casaluce; Andrea Burattin; Francesca Chiaromonte; Andrea Vandin (Business Process Management Workshops, 2022)

Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract). - Roberto Casaluce (ICPM Doctoral Consortium / Demo, 2022)

Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining. - Roberto Casaluce; Andrea Burratin; Francesca Chiaromonte; Alberto Lluch-Lafuente; Andrea Vandin (DAMOCLES@AVI, 2024)

White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. - Roberto Casaluce; Max Tschaikowski; Andrea Vandin (ISoLA (1), 2024)

White-box validation of quantitative product lines by statistical model checking and process mining. - Roberto Casaluce; Andrea Burattin; Francesca Chiaromonte; Alberto Lluch-Lafuente; Andrea Vandin (J. Syst. Softw., 2024)