Roberto Casaluce

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Temporal Properties

Top Venues

J. Syst. Softw.

Business Process Management Workshops

Publications

Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
White-box validation of quantitative product lines by statistical model checking and process mining. J. Syst. Softw. 210 (2024)
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
White-box validation of quantitative product lines by statistical model checking and process mining. CoRR (2024)
Roberto Casaluce, Andrea Burratin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining. DAMOCLES@AVI (2024)
Roberto Casaluce
Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract). ICPM Doctoral Consortium / Demo (2022)
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Andrea Vandin
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement. Business Process Management Workshops (2022)