NARDONE, Vittoria

NARDONE, Vittoria  

DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE  

Mostra records
Risultati 1 - 20 di 50 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) File
"Mirror, Mirror on the Wall, Who is the Fairest One of All?" - Machine Learning versus Model Checking: A Comparison between Two Static Techniques for Malware Family Identification 1-gen-2017 Corrado Aaron Visaggio, Vittoria Nardone; Nardone, Vittoria; Visaggio, CORRADO AARON
A “pay-how-you-drive” car insurance approach through cluster analysis 1-gen-2019 Carfora, Maria Francesca; Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Orlando, Albina; Santone, Antonella; Vaglini, Gigliola
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 1-gen-2024 Varriano, G.; Nardone, V.; Brunese, M. C.; Bruno, M.; Santone, A.; Brunese, L.; Zappia, M.
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 1-gen-2024 Varriano, G.; Nardone, V.; Brunese, M. C.; Bruno, M.; Santone, A.; Brunese, L.; Zappia, M.
An automatic radiomic-based approach for disease localization: A pilot study on COVID-19 1-gen-2024 Varriano, G.; Nardone, V.; Correra, S.; Mercaldo, F.; Santone, A.
Can machine learning predict soccer match results? 1-gen-2019 Capobianco, G.; Giacomo, U. D.; Mercaldo, F.; Nardone, V.; Santone, A.
Car Hacking Identification through Fuzzy Logic Algorithms 1-gen-2017 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella
Cluster Analysis for Driver Aggressiveness Identification 1-gen-2018 Martinelli, F.; Mercaldo, F.; Nardone, V.; Orlando, A.; Santone, Antonella
Colluding Android Apps Detection via Model Checking 1-gen-2020 Casolare, R.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Context-Awareness Mobile Devices for Traffic Incident. 1-gen-2018 Martinelli, F.; Mercaldo, F.; Nardone, V.; Orlando, A.; Santone, Antonella
Detecting Video Game-Specific Bad Smells in Unity Projects 1-gen-2020 Borrelli, A.; Nardone, V.; Di Lucca, G. A.; Canfora, G.; Di Penta, M.
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 1-gen-2017 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 1-gen-2016 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Driver Identification Through Formal Methods 1-gen-2021 Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Evaluating model checking for cyber threats code obfuscation identification 1-gen-2018 Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Sangaiah, Arun Kumar; Cimitile, Aniello
Exploiting model checking for mobile botnet detection 1-gen-2019 Bernardeschi, C.; Mercaldo, F.; Nardone, V.; Santone, A.
Formal Methods Meet Mobile Code Obfuscation 1-gen-2017 Cimitile, A.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Formal methods meet mobile code obfuscation identification of code reordering technique 1-gen-2017 Cimitile, A; Martinelli, F; Mercaldo, F; Nardone, V; Santone, A
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 1-gen-2019 Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A.
Hey Malware, I can Find You! 1-gen-2016 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca