LLUCH LAFUENTE, ALBERTO Statistiche
LLUCH LAFUENTE, ALBERTO
Mostra
records
Risultati 1 - 2 di 2 (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, Roberto; Burattin, Andrea; Chiaromonte, Francesca; LLUCH LAFUENTE, Alberto; Vandin, Andrea
Exploiting over- and under-approximations for infinite-state counterpart models
2012-01-01 Gadducci, Fabio; LLUCH LAFUENTE, Alberto; 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, Roberto; Burattin, Andrea; Chiaromonte, Francesca; LLUCH LAFUENTE, Alberto; Vandin, Andrea | |
| Exploiting over- and under-approximations for infinite-state counterpart models | 1-gen-2012 | Gadducci, Fabio; LLUCH LAFUENTE, Alberto; Vandin, A. |