NARDONE, Vittoria
NARDONE, Vittoria
DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE
"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
2017-01-01 Corrado Aaron Visaggio, Vittoria Nardone; Nardone, Vittoria; Visaggio, CORRADO AARON
A “pay-how-you-drive” car insurance approach through cluster analysis
2019-01-01 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
2024-01-01 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
2024-01-01 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
2024-01-01 Varriano, G.; Nardone, V.; Correra, S.; Mercaldo, F.; Santone, A.
Can machine learning predict soccer match results?
2019-01-01 Capobianco, G.; Giacomo, U. D.; Mercaldo, F.; Nardone, V.; Santone, A.
Car Hacking Identification through Fuzzy Logic Algorithms
2017-01-01 Martinelli, F; Mercaldo, F; Nardone, V; Santone, Antonella
Cluster Analysis for Driver Aggressiveness Identification
2018-01-01 Martinelli, F.; Mercaldo, F.; Nardone, V.; Orlando, A.; Santone, Antonella
Colluding Android Apps Detection via Model Checking
2020-01-01 Casolare, R.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Context-Awareness Mobile Devices for Traffic Incident.
2018-01-01 Martinelli, F.; Mercaldo, F.; Nardone, V.; Orlando, A.; Santone, Antonella
Detecting Video Game-Specific Bad Smells in Unity Projects
2020-01-01 Borrelli, A.; Nardone, V.; Di Lucca, G. A.; Canfora, G.; Di Penta, M.
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques"
2017-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella
Download Malware? No, thanks. How Formal Methods can Block Update Attacks
2016-01-01 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
Driver Identification Through Formal Methods
2021-01-01 Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Evaluating model checking for cyber threats code obfuscation identification
2018-01-01 Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Sangaiah, Arun Kumar; Cimitile, Aniello
Exploiting model checking for mobile botnet detection
2019-01-01 Bernardeschi, C.; Mercaldo, F.; Nardone, V.; Santone, A.
Formal Methods Meet Mobile Code Obfuscation
2017-01-01 Cimitile, A.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.
Formal methods meet mobile code obfuscation identification of code reordering technique
2017-01-01 Cimitile, A; Martinelli, F; Mercaldo, F; Nardone, V; Santone, A
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique
2019-01-01 Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A.
Hey Malware, I can Find You!
2016-01-01 Mercaldo, F; Nardone, V; Santone, Antonella; Visaggio, Ca
| 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 |