CASALUCE, Roberto
CASALUCE, Roberto
Istituto di Diritto, Politica e Sviluppo
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.003 secondi).
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining
2024-01-01 Casaluce, R.; Burratin, A.; Chiaromonte, F.; Lafuente, A. L.; Vandin, A.
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement
2023-01-01 Casaluce, R.; Burattin, A.; Chiaromonte, F.; Vandin, A.
White-box validation of quantitative product lines by statistical model checking and process mining
2024-01-01 Casaluce, Roberto; Burattin, Andrea; Chiaromonte, Francesca; Lluch Lafuente, Alberto; Vandin, Andrea
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining
2025-01-01 Casaluce, R.; Tschaikowski, M.; Vandin, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining | 1-gen-2024 | Casaluce, R.; Burratin, A.; Chiaromonte, F.; Lafuente, A. L.; Vandin, A. | |
| Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement | 1-gen-2023 | Casaluce, R.; Burattin, A.; Chiaromonte, F.; Vandin, A. | |
| White-box validation of quantitative product lines by statistical model checking and process mining | 1-gen-2024 | Casaluce, Roberto; Burattin, Andrea; Chiaromonte, Francesca; Lluch Lafuente, Alberto; Vandin, Andrea | |
| White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining | 1-gen-2025 | Casaluce, R.; Tschaikowski, M.; Vandin, A. |