CASALUCE, ROBERTO
CASALUCE, ROBERTO
DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.017 secondi).
Impact of Formal and Informal Collaborations on Academic Performance in Italy
2025 Casaluce, R; D'Agata, R
MaScoNet: A Web-Based Application for Mapping Formal and Informal Scientific Collaborations
2025 Casaluce, R; D'Agata, R
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining
2025 Casaluce, R; Tschaikowski, M; Vandin, A
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining
2024 Casaluce, R; Burratin, A; Chiaromonte, F; Lafuente, A; Vandin, A
White-box validation of quantitative product lines by statistical model checking and process mining
2024 Casaluce, R; Burattin, A; Chiaromonte, F; Lafuente, A; Vandin, A
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement
2023 Casaluce, R; Burattin, A; Chiaromonte, F; Vandin, A
Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract)
2022 Casaluce, R