Roberto Casaluce

According to our database, Roberto Casaluce authored at least 3 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., April, 2024

2022

Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract).

Roberto Casaluce

Proceedings of the ICPM Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining (ICPM 2022), 2022

Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement.

Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Andrea Vandin

Proceedings of the Business Process Management Workshops, 2022