Vittoria Nardone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
14
Active years
2015–2024
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EASE | How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching. | Antonio Mastropaolo, Vittoria Nardone, Gabriele Bavota, Massimiliano Di Penta |
| 2024 | WETICE | Identifying Ocular Diseases through Image Processing: Pattern Matching on Single Fundus Images. | Simona Correra, Giulia Varriano, Vittoria Nardone, Antonella Santone |
| 2022 | MSR | Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems. | Fiorella Zampetti, Vittoria Nardone, Massimiliano Di Penta |
| 2020 | AINA | Colluding Android Apps Detection via Model Checking. | Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2020 | MSR | Detecting Video Game-Specific Bad Smells in Unity Projects. | Antonio Borrelli, Vittoria Nardone, Giuseppe A. Di Lucca, Gerardo Canfora, Massimiliano Di Penta |
| 2019 | ICAART | Can Machine Learning Predict Soccer Match Results? | Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2019 | ICISSP | Spyware Detection using Temporal Logic. | Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2019 | IJCNN | Machine Learning to Identify Gender via Hair Elements. | Pasquale Avino, Francesco Mercaldo, Vittoria Nardone, Ivan Notardonato, Antonella Santone |
| 2019 | IDC | Model Checking to Detect the Hummingbad Malware. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
| 2019 | KES | Exploiting Model Checking for Mobile Botnet Detection. | Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2019 | WETICE | Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. | Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone |
| 2018 | ICISSP | Identifying Insecure Features in Android Applications using Model Checking. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone |
| 2018 | ICISSP | Who's Driving My Car? A Machine Learning based Approach to Driver Identification. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone |
| 2018 | ICISSP | Cluster Analysis for Driver Aggressiveness Identification. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone |
| 2018 | PERCOM | Context-Awareness Mobile Devices for Traffic Incident Prevention. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone |
| 2018 | WETICE | Safety Critical Systems Formal Verification Using Execution Traces. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini |
| 2018 | SAFECOMP | Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
| 2017 | CCS | How Discover a Malware using Model Checking. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2017 | ICISSP | Identifying Mobile Repackaged Applications through Formal Methods. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2017 | ICISSP | "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. | Vittoria Nardone, Corrado Aaron Visaggio |
| 2017 | ICSE | Model Checking for Mobile Android Malware Evolution. | Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
| 2017 | KES | Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. | Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2017 | WETICE | Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. | Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2016 | FORTE | Ransomware Steals Your Phone. Formal Methods Rescue It. | Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | ICISSP | Identification of Android Malware Families with Model Checking. | Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | ICSE | Download malware? no, thanks: how formal methods can block update attacks. | Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | WETICE | Hey Malware, I Can Find You! | Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | WETICE | Model Checking to Support Action Controls in the Purchasing Process. | Vittoria Nardone, Domenico Raucci, Antonella Santone |
| 2015 | ICSE | Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. | Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone |