Process mining meets statistical model checking: Towards a novel approach to model validation and enhancement R Casaluce, A Burattin, F Chiaromonte, A Vandin International Conference on Business Process Management, 243-256, 2022 | 6 | 2022 |
White-box validation of quantitative product lines by statistical model checking and process mining R Casaluce, A Burattin, F Chiaromonte, AL Lafuente, A Vandin Journal of Systems and Software 210, 111983, 2024 | 1 | 2024 |
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining R Casaluce, A Burratin, F Chiaromonte, AL Lafuente, A Vandin CEUR Workshop Proceedings 3713, 9-20, 2024 | | 2024 |
Technological Complexity, Experience Rates and Low-Carbon Innovation and Industrial Policies: A Novel Approach Leveraging Machine Learning and Patent Networks T Schmidt, A Malhotra, L Kaack, R Casaluce 2023 APPAM Fall Research Conference, 2023 | | 2023 |
Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement R Casaluce ICPM Doctoral Consortium/Demo, 13-17, 2022 | | 2022 |