Vittoria Nardone

51 papers A 6B 6C 14Misc 1Journal 15Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Datasets, bias, licenses, and terms of use: A large and longitudinal study on the documentation of hugging face machine learning models. Empir. Softw. Eng. Federica Pepe, Vittoria Nardone, Antonio Mastropaolo, Gerardo Canfora, Gabriele Bavota, Massimiliano Di Penta
2025	J	`jnl`	A method for automatic breast density classification in magnetic resonance imaging. Comput. Vis. Image Underst. Simona Correra, Francesco Mercaldo, Vittoria Nardone, Giulia Varriano, Dalila De Lucia, Maria Chiara Brunese, Antonella Santone, Corrado Caiazzo
2025	J	`jnl`	Early prediction of the evolution and prognosis of mild acute pancreatitis through Dual Source-CT and Formal Methods. Comput. Biol. Medicine Valeria Sorgente, Marco Di Serafino, Giulia Varriano, Vittoria Nardone, Alfonso Reginelli, Pasquale Avella, Salvatore Spiezia, Aldo Rocca, Antonella Santone, Maria Chiara Brunese
2024	—	`conf`	A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking. INTSYS Simona Correra, Valeria Sorgente, Giulia Varriano, Vittoria Nardone, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	An automatic radiomic-based approach for disease localization: A pilot study on COVID-19. Comput. Medical Imaging Graph. Giulia Varriano, Vittoria Nardone, Simona Correra, Francesco Mercaldo, Antonella Santone
2024	—	`conf`	Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. ACSOS-C Cinzia Bernardeschi, Giuseppe Lettieri, Alessio Vivani, Alessio Bechini, Alessio Vecchio, Federico Rossi, Christian Quadri, Alessia Galdeman, Adriano Fagiolini, Salvatore Pedone, Antonella Santone, Vittoria Nardone, Francesco Mercaldo, Simona Correra, Giulia Varriano
2024	A	`conf`	How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study. ICPC Federica Pepe, Vittoria Nardone, Antonio Mastropaolo, Gabriele Bavota, Gerardo Canfora, Massimiliano Di Penta
2024	A	`conf`	How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching. EASE Antonio Mastropaolo, Vittoria Nardone, Gabriele Bavota, Massimiliano Di Penta
2024	J	`jnl`	How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching. CoRR Antonio Mastropaolo, Vittoria Nardone, Gabriele Bavota, Massimiliano Di Penta
2024	C	`conf`	Identifying Ocular Diseases through Image Processing: Pattern Matching on Single Fundus Images. WETICE Simona Correra, Giulia Varriano, Vittoria Nardone, Antonella Santone
2023	A	`conf`	UnityLint: A Bad Smell Detector for Unity. ICPC Matteo Bosco, Pasquale Cavoto, Augusto Ungolo, Biruk Asmare Muse, Foutse Khomh, Vittoria Nardone, Massimiliano Di Penta
2023	J	`jnl`	Video Game Bad Smells: What They Are and How Developers Perceive Them. ACM Trans. Softw. Eng. Methodol. Vittoria Nardone, Biruk Asmare Muse, Mouna Abidi, Foutse Khomh, Massimiliano Di Penta
2022	J	`jnl`	Driver Identification Through Formal Methods. IEEE Trans. Intell. Transp. Syst. Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2022	A	`conf`	Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems. MSR Fiorella Zampetti, Vittoria Nardone, Massimiliano Di Penta
2020	—	`conf`	Colluding Android Apps Detection via Model Checking. AINA Workshops Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2020	A	`conf`	Detecting Video Game-Specific Bad Smells in Unity Projects. MSR Antonio Borrelli, Vittoria Nardone, Giuseppe A. Di Lucca, Gerardo Canfora, Massimiliano Di Penta
2020	J	`jnl`	Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah
2020	J	`jnl`	Model checking and machine learning techniques for Simul. Model. Pract. Theory Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2019	J	`jnl`	A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
2019	—	`conf`	Can Machine Learning Predict Soccer Match Results? ICAART (2) Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2019	B	`conf`	Exploiting Model Checking for Mobile Botnet Detection. KES Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2019	C	`conf`	Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. WETICE Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone
2019	J	`jnl`	LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2019	B	`conf`	Machine Learning to Identify Gender via Hair Elements. IJCNN Pasquale Avino, Francesco Mercaldo, Vittoria Nardone, Ivan Notardonato, Antonella Santone
2019	J	`jnl`	Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
2019	J	`jnl`	Model Checking Techniques Applied to Satellite Operational Mode Management. IEEE Syst. J. Vittoria Nardone, Antonella Santone, Massimo Tipaldi, Davide Liuzza, Luigi Glielmo
2019	Misc	`conf`	Model Checking to Detect the Hummingbad Malware. IDC Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2019	C	`conf`	Spyware Detection using Temporal Logic. ICISSP Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2018	C	`conf`	Cluster Analysis for Driver Aggressiveness Identification. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
2018	—	`conf`	Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
2018	J	`jnl`	Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile
2018	C	`conf`	Identifying Insecure Features in Android Applications using Model Checking. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone
2018	—	`conf`	Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2018	C	`conf`	Safety Critical Systems Formal Verification Using Execution Traces. WETICE Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
2018	J	`jnl`	Talos: no more ransomware victims with formal methods. Int. J. Inf. Sec. Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2018	C	`conf`	Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
2017	C	`conf`	"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 Vittoria Nardone, Corrado Aaron Visaggio
2017	B	`conf`	Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	B	`conf`	Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. KES Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	C	`conf`	Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	A	`conf`	How Discover a Malware using Model Checking. AsiaCCS Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	C	`conf`	Identifying Mobile Repackaged Applications through Formal Methods. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2017	B	`conf`	Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	—	`conf`	Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2016	—	`conf`	Download malware? no, thanks: how formal methods can block update attacks. FormaliSE@ICSE Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2016	C	`conf`	Hey Malware, I Can Find You! WETICE Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2016	C	`conf`	Identification of Android Malware Families with Model Checking. ICISSP Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2016	C	`conf`	Model Checking to Support Action Controls in the Purchasing Process. WETICE Vittoria Nardone, Domenico Raucci, Antonella Santone
2016	B	`conf`	Ransomware Inside Out. ARES Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2016	C	`conf`	Ransomware Steals Your Phone. Formal Methods Rescue It. FORTE Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2015	—	`conf`	Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. FormaliSE@ICSE Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone