Vittoria Nardone

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 44

Top Topics

Malware Detection

Diabetes Mellitus

Top Venues

Publications

Federica Pepe, Vittoria Nardone, Antonio Mastropaolo, Gabriele Bavota, Gerardo Canfora, Massimiliano Di Penta
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study. ICPC (2024)
Antonio Mastropaolo, Vittoria Nardone, Gabriele Bavota, Massimiliano Di Penta
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching. EASE (2024)
Antonio Mastropaolo, Vittoria Nardone, Gabriele Bavota, Massimiliano Di Penta
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching. CoRR (2024)
Giulia Varriano, Vittoria Nardone, Simona Correra, Francesco Mercaldo, Antonella Santone
An automatic radiomic-based approach for disease localization: A pilot study on COVID-19. Comput. Medical Imaging Graph. 116 (2024)
Matteo Bosco, Pasquale Cavoto, Augusto Ungolo, Biruk Asmare Muse, Foutse Khomh, Vittoria Nardone, Massimiliano Di Penta
UnityLint: A Bad Smell Detector for Unity. ICPC (2023)
Vittoria Nardone, Biruk Asmare Muse, Mouna Abidi, Foutse Khomh, Massimiliano Di Penta
Video Game Bad Smells: What They Are and How Developers Perceive Them. ACM Trans. Softw. Eng. Methodol. 32 (4) (2023)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Driver Identification Through Formal Methods. IEEE Trans. Intell. Transp. Syst. 23 (6) (2022)
Fiorella Zampetti, Vittoria Nardone, Massimiliano Di Penta
Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems. MSR (2022)
Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Colluding Android Apps Detection via Model Checking. AINA Workshops (2020)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
mobile malware detection and mitigation. Simul. Model. Pract. Theory 105 (2020)
Antonio Borrelli, Vittoria Nardone, Giuseppe A. Di Lucca, Gerardo Canfora, Massimiliano Di Penta
Detecting Video Game-Specific Bad Smells in Unity Projects. MSR (2020)
Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah
Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. 83 (2020)
Pasquale Avino, Francesco Mercaldo, Vittoria Nardone, Ivan Notardonato, Antonella Santone
Machine Learning to Identify Gender via Hair Elements. IJCNN (2019)
Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. WETICE (2019)
Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Exploiting Model Checking for Mobile Botnet Detection. KES (2019)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. 48 (2) (2019)
Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. 23 (9) (2019)
Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. 45 (12) (2019)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
Model Checking to Detect the Hummingbad Malware. IDC (2019)
Vittoria Nardone, Antonella Santone, Massimo Tipaldi, Davide Liuzza, Luigi Glielmo
Model Checking Techniques Applied to Satellite Operational Mode Management. IEEE Syst. J. 13 (1) (2019)
Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Can Machine Learning Predict Soccer Match Results? ICAART (2) (2019)
Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Spyware Detection using Temporal Logic. ICISSP (2019)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
Safety Critical Systems Formal Verification Using Execution Traces. WETICE (2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
Cluster Analysis for Driver Aggressiveness Identification. ICISSP (2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile
Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. 119 (2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP (2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops (2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops (2018)
Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
Talos: no more ransomware victims with formal methods. Int. J. Inf. Sec. 17 (6) (2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone
Identifying Insecure Features in Android Applications using Model Checking. ICISSP (2018)
Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE (2017)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE (2017)
Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE (2017)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
How Discover a Malware using Model Checking. AsiaCCS (2017)
Vittoria Nardone, Corrado Aaron Visaggio
"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. ICISSP (2017)
Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. KES (2017)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES (2017)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
Identifying Mobile Repackaged Applications through Formal Methods. ICISSP (2017)
Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
Identification of Android Malware Families with Model Checking. ICISSP (2016)
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
Hey Malware, I Can Find You! WETICE (2016)
Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Ransomware Inside Out. ARES (2016)
Vittoria Nardone, Domenico Raucci, Antonella Santone
Model Checking to Support Action Controls in the Purchasing Process. WETICE (2016)
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
Ransomware Steals Your Phone. Formal Methods Rescue It. FORTE (2016)
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
Download malware? no, thanks: how formal methods can block update attacks. FormaliSE@ICSE (2016)
Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. FormaliSE@ICSE (2015)