Roberto Casaluce

According to our database, Roberto Casaluce authored at least 5 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

White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining.

Roberto Casaluce, Max Tschaikowski, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

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

Proceedings of the First International Workshop on Detection And Mitigation Of Cyber attacks that exploit human vuLnerabilitiES (DAMOCLES 2024) co-located with 17th International Conference on Advanced Visual Interfaces (AVI 2024), 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