CASALUCE, Roberto
CASALUCE, Roberto
Istituto di Diritto, Politica e Sviluppo
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 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
| 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 |