SANTONE, Antonella

SANTONE, Antonella  

DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE  

Mostra records
Risultati 1 - 20 di 205 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autore(i) File
2Faces: a new model of malware based on dynamic compiling and reflection 1-gen-2021 Casolare, R.; Lacava, G.; Martinelli, F.; Mercaldo, F.; Russodivito, M.; Santone, A.
A* for Deadlock Detection in CCS processes 1-gen-2003 Gradara, S; Santone, Antonella; Villani, Ml
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 1-gen-2003 N., DE FRANCESCO; Santone, Antonella; L., Tesei
Abstract Interpretation of Trace Semantics for Concurrent Calculi 1-gen-1999 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Abstract Reduction in Directed Model Checking CCS Processes 1-gen-2012 Santone, Antonella; Vaglini, G.
Abstracting models from execution traces for performing formal verification 1-gen-2009 Bodhuin, T; Pagnozzi, F; Santone, Antonella; Tortorella, M; Villani, M. L.
Accidental sensitive data leaks prevention via formal verification 1-gen-2020 Ciobanu, M. G.; Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica 1-gen-1997 R., Barbuti; N., DE FRANCESCO; Santone, Antonella
Analysing Wiki Quality using Probabilistic Model Checking 1-gen-2015 De Ruvo, G; Santone, Antonella
Android collusion detection by means of audio signal analysis with machine learning techniques 1-gen-2021 Casolare, R.; Di Giacomo, U.; Martinelli, F.; Mercaldo, F.; Santone, A.
Android collusion: Detecting malicious applications inter-communication through SharedPreferences 1-gen-2020 Casolare, R.; Martinelli, F.; Mercaldo, F.; Santone, A.
Android run-time permission exploitation user awareness by means of formal methods 1-gen-2020 Fasano, F.; Martinelli, F.; Mercaldo, F.; Santone, A.
Anomaly detection in substation networks 1-gen-2020 Kreimel, P.; Eigner, O.; Mercaldo, F.; Santone, A.; Tavolato, P.
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 1-gen-2011 Francesca, G; Santone, Antonella; Vaglini, G; Villani, Ml
Application of Equivalence Checking in a Loan Origination Process in Banking Industry 1-gen-2013 Santone, Antonella; Intilangelo, V; Raucci, D.
Applying formal methods to process innovation 1-gen-2009 Santone, Antonella; Tortorella, M.
Audio signal processing for Android malware detection and family identification 1-gen-2021 Mercaldo, F.; Santone, A.
Automatable Integrations for the Reuse of Concurrent Specifications 1-gen-2001 Santone, Antonella; Vaglini, G.
Automated Intention Mining with Comparatively Fine-tuning BERT 1-gen-2021 Sun, X.; Li, L.; Mercaldo, F.; Yang, Y.; Santone, A.; Martinelli, F.
Automated Verification of Fault Tolerance Mechanism 1-gen-1998 Bernardeschi, B; Fantechi, A; Gnesi, S; Santone, Antonella