Login / Signup
Andrea Burratin
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Process Mining
Timed Automata
Model Validation
White Box
Top Venues
DAMOCLES@AVI
</>
Publications
</>
Roberto Casaluce
,
Andrea Burratin
,
Francesca Chiaromonte
,
Alberto Lluch-Lafuente
,
Andrea Vandin
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining.
DAMOCLES@AVI
(2024)