Vittoria Nardone

According to our database, Vittoria Nardone authored at least 41 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Video Game Bad Smells: What They Are and How Developers Perceive Them.

Vittoria Nardone, Biruk Asmare Muse, Mouna Abidi, Foutse Khomh, Massimiliano Di Penta

ACM Trans. Softw. Eng. Methodol., July, 2023

UnityLint: A Bad Smell Detector for Unity.

Matteo Bosco, Pasquale Cavoto, Augusto Ungolo, Biruk Asmare Muse, Foutse Khomh, Vittoria Nardone, Massimiliano Di Penta

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

2022

Driver Identification Through Formal Methods.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

IEEE Trans. Intell. Transp. Syst., 2022

Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems.

Fiorella Zampetti, Vittoria Nardone, Massimiliano Di Penta

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

2020

Model checking and machine learning techniques for <i>HummingBad</i> mobile malware detection and mitigation.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Simul. Model. Pract. Theory, 2020

Human behavior characterization for driving style recognition in vehicle system.

Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah

Comput. Electr. Eng., 2020

Detecting Video Game-Specific Bad Smells in Unity Projects.

Antonio Borrelli, Vittoria Nardone, Giuseppe A. Di Lucca, Gerardo Canfora, Massimiliano Di Penta

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Colluding Android Apps Detection via Model Checking.

Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

2019

LEILA: Formal Tool for Identifying Mobile Malicious Behaviour.

Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

IEEE Trans. Software Eng., 2019

A "pay-how-you-drive" car insurance approach through cluster analysis.

Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini

Soft Comput., 2019

Model Checking Techniques Applied to Satellite Operational Mode Management.

Vittoria Nardone, Antonella Santone, Massimo Tipaldi, Davide Liuzza, Luigi Glielmo

IEEE Syst. J., 2019

Model Checking Based Approach for Compliance Checking.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini

Inf. Technol. Control., 2019

Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique.

Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone

Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

Exploiting Model Checking for Mobile Botnet Detection.

Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Machine Learning to Identify Gender via Hair Elements.

Pasquale Avino, Francesco Mercaldo, Vittoria Nardone, Ivan Notardonato, Antonella Santone

Proceedings of the International Joint Conference on Neural Networks, 2019

Model Checking to Detect the Hummingbad Malware.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Proceedings of the Intelligent Distributed Computing XIII, 2019

Spyware Detection using Temporal Logic.

Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

Can Machine Learning Predict Soccer Match Results?

Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2018

Evaluating model checking for cyber threats code obfuscation identification.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile

J. Parallel Distributed Comput., 2018

Talos: no more ransomware victims with formal methods.

Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Int. J. Inf. Sec., 2018

Safety Critical Systems Formal Verification Using Execution Traces.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Proceedings of the Computer Safety, Reliability, and Security, 2018

Context-Awareness Mobile Devices for Traffic Incident Prevention.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Cluster Analysis for Driver Aggressiveness Identification.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone

Proceedings of the 4th International Conference on Information Systems Security and Privacy, 2018

Who's Driving My Car? A Machine Learning based Approach to Driver Identification.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone

Proceedings of the 4th International Conference on Information Systems Security and Privacy, 2018

Identifying Insecure Features in Android Applications using Model Checking.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone

Proceedings of the 4th International Conference on Information Systems Security and Privacy, 2018

2017

Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique.

Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques.

Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

Model Checking for Mobile Android Malware Evolution.

Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

"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

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Identifying Mobile Repackaged Applications through Formal Methods.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Car hacking identification through fuzzy logic algorithms.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

How Discover a Malware using Model Checking.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016

Model Checking to Support Action Controls in the Purchasing Process.

Vittoria Nardone, Domenico Raucci, Antonella Santone

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Hey Malware, I Can Find You!

Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Download malware? no, thanks: how formal methods can block update attacks.

Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

Identification of Android Malware Families with Model Checking.

Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

Ransomware Steals Your Phone. Formal Methods Rescue It.

Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Ransomware Inside Out.

Francesco Mercaldo, Vittoria Nardone, Antonella Santone

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking.

Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015