Roberto Casaluce
Orcid: 0000-0002-5786-9167
According to our database1,
Roberto Casaluce
authored at least 4 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
White-box validation of quantitative product lines by statistical model checking and process mining.
J. Syst. Softw., April, 2024
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining.
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).
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.
Proceedings of the Business Process Management Workshops, 2022