CASALUCE, ROBERTO Statistiche
CASALUCE, ROBERTO
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.004 secondi).
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining
2024-01-01 Casaluce, Roberto; Burattin, Andrea; Chiaromonte, Francesca; LLUCH LAFUENTE, Alberto; Vandin, Andrea
White-box validation of quantitative product lines by statistical model checking and process mining
2024-01-01 Casaluce, R.; Burattin, A.; Chiaromonte, F.; Lafuente, A. L.; Vandin, A.
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining
2024-01-01 Casaluce, Roberto; Tschaikowski, Max; Vandin, Andrea
Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract)
2022-01-01 Casaluce, Roberto
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement
2022-01-01 Casaluce, Roberto; Burattin, Andrea; Chiaromonte, Francesca; Vandin, Andrea
| 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, Roberto; Burattin, Andrea; Chiaromonte, Francesca; LLUCH LAFUENTE, Alberto; Vandin, Andrea | |
| White-box validation of quantitative product lines by statistical model checking and process mining | 1-gen-2024 | Casaluce, R.; Burattin, A.; Chiaromonte, F.; Lafuente, A. L.; Vandin, A. | |
| White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining | 1-gen-2024 | Casaluce, Roberto; Tschaikowski, Max; Vandin, Andrea | |
| Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract) | 1-gen-2022 | Casaluce, Roberto | |
| Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement | 1-gen-2022 | Casaluce, Roberto; Burattin, Andrea; Chiaromonte, Francesca; Vandin, Andrea |