Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. - Michele Ceccarelli; Luigi Cerulo; Giuseppe De Ruvo; Vittoria Nardone; Antonella Santone (FormaliSE@ICSE, 2015)

Ransomware Inside Out. - Francesco Mercaldo; Vittoria Nardone; Antonella Santone (ARES, 2016)

Ransomware Steals Your Phone. Formal Methods Rescue It. - Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Corrado Aaron Visaggio (FORTE, 2016)

Identification of Android Malware Families with Model Checking. - Pasquale Battista; Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Corrado Aaron Visaggio (ICISSP, 2016)

Download malware? no, thanks: how formal methods can block update attacks. - Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Corrado Aaron Visaggio (FormaliSE@ICSE, 2016)

Hey Malware, I Can Find You! - Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Corrado Aaron Visaggio (WETICE, 2016)

Model Checking to Support Action Controls in the Purchasing Process. - Vittoria Nardone; Domenico Raucci; Antonella Santone (WETICE, 2016)

Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (ARES, 2017)

How Discover a Malware using Model Checking. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (AsiaCCS, 2017)

Car hacking identification through fuzzy logic algorithms. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (FUZZ-IEEE, 2017)

Identifying Mobile Repackaged Applications through Formal Methods. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Corrado Aaron Visaggio (ICISSP, 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 (ICISSP, 2017)

Model Checking for Mobile Android Malware Evolution. - Aniello Cimitile; Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Gigliola Vaglini (FormaliSE@ICSE, 2017)

Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. - Francesco Mercaldo; Vittoria Nardone; Antonella Santone (KES, 2017)

Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. - Aniello Cimitile; Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (WETICE, 2017)

Identifying Insecure Features in Android Applications using Model Checking. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone (ICISSP, 2018)

Who's Driving My Car? A Machine Learning based Approach to Driver Identification. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Albina Orlando; Antonella Santone (ICISSP, 2018)

Cluster Analysis for Driver Aggressiveness Identification. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Albina Orlando; Antonella Santone (ICISSP, 2018)

Context-Awareness Mobile Devices for Traffic Incident Prevention. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Albina Orlando; Antonella Santone (PerCom Workshops, 2018)

Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Gigliola Vaglini (SAFECOMP Workshops, 2018)

Safety Critical Systems Formal Verification Using Execution Traces. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Albina Orlando; Antonella Santone; Gigliola Vaglini (WETICE, 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)

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)

Can Machine Learning Predict Soccer Match Results? - Giovanni Capobianco; Umberto Di Giacomo; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (ICAART (2), 2019)

Spyware Detection using Temporal Logic. - Fausto Fasano; Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (ICISSP, 2019)

Model Checking to Detect the Hummingbad Malware. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Gigliola Vaglini (IDC, 2019)

Machine Learning to Identify Gender via Hair Elements. - Pasquale Avino; Francesco Mercaldo; Vittoria Nardone; Ivan Notardonato; Antonella Santone (IJCNN, 2019)

Exploiting Model Checking for Mobile Botnet Detection. - Cinzia Bernardeschi; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (KES, 2019)

Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. - Antonio Borrelli; Giuseppe Antonio Di Lucca; Vittoria Nardone; Antonella Santone (WETICE, 2019)

Model Checking Based Approach for Compliance Checking. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Albina Orlando; Antonella Santone; Gigliola Vaglini (Inf. Technol. Control., 2019)

Model Checking Techniques Applied to Satellite Operational Mode Management. - Vittoria Nardone; Antonella Santone; Massimo Tipaldi; Davide Liuzza; Luigi Glielmo (IEEE Syst. J., 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)

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)

Colluding Android Apps Detection via Model Checking. - Rosangela Casolare; Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (AINA Workshops, 2020)

Detecting Video Game-Specific Bad Smells in Unity Projects. - Antonio Borrelli; Vittoria Nardone; Giuseppe A. Di Lucca; Gerardo Canfora; Massimiliano Di Penta (MSR, 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)

Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone; Gigliola Vaglini (Simul. Model. Pract. Theory, 2020)

An Empirical Study on the Usage and Availability of Machine Learning Libraries in Open-Source Python Projects - Dataset. - Giuliano Antoniol; Massimiliano Di Penta; Cyrine Zid; Vittoria Nardone (Zenodo, 2021)

Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems. - Fiorella Zampetti; Vittoria Nardone; Massimiliano Di Penta (MSR, 2022)

Driver Identification Through Formal Methods. - Fabio Martinelli; Francesco Mercaldo; Vittoria Nardone; Antonella Santone (IEEE Trans. Intell. Transp. Syst., 2022)

Dataset of the manuscript "Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems". - Fiorella Zampetti; Vittoria Nardone; Massimiliano Di Penta (Zenodo, 2022)

Video Games Bad Smells: What they are and how Developers Perceive Them - Online dataset. - Vittoria Nardone; Biruk Asmare Muse; Mouna Abidi; Foutse Khomh; Massimiliano Di Penta (Zenodo, 2022)

Video Games Bad Smells: What they are and how Developers Perceive Them - Online dataset. - Vittoria Nardone; Biruk Asmare Muse; Mouna Abidi; Foutse Khomh; Massimiliano Di Penta (Zenodo, 2022)

Video Games Bad Smells: What they are and how Developers Perceive Them - Online dataset. - Vittoria Nardone; Biruk Asmare Muse; Mouna Abidi; Foutse Khomh; Massimiliano Di Penta (Zenodo, 2022)

Video Games Bad Smells: What they are and how Developers Perceive Them - Online dataset. - Vittoria Nardone; Biruk Asmare Muse; Mouna Abidi; Foutse Khomh; Massimiliano Di Penta (Zenodo, 2022)

Video Game Bad Smells: What they are and how Developers Perceive Them - Online dataset. - Vittoria Nardone; Biruk Asmare Muse; Mouna Abidi; Foutse Khomh; Massimiliano Di Penta (Zenodo, 2022)

UnityLint: A Bad Smell Detector for Unity. - Matteo Bosco; Pasquale Cavoto; Augusto Ungolo; Biruk Asmare Muse; Foutse Khomh; Vittoria Nardone; Massimiliano Di Penta (ICPC, 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., 2023)

Dataset of the paper: "How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study". - Federica Pepe; Vittoria Nardone; Antonio Mastropaolo; Gerardo Canfora; Gabriele Bavota; Massimiliano Di Penta (Zenodo, 2023)

Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. - Cinzia Bernardeschi; Giuseppe Lettieri; Alessio Vivani; Alessio Bechini; Alessio Vecchio; Federico Rossi 003; Christian Quadri; Alessia Galdeman; Adriano Fagiolini; Salvatore Pedone; Antonella Santone; Vittoria Nardone; et al. (ACSOS-C, 2024)

How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching. - Antonio Mastropaolo; Vittoria Nardone; Gabriele Bavota; Massimiliano Di Penta (EASE, 2024)

A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking. - Simona Correra; Valeria Sorgente; Giulia Varriano; Vittoria Nardone; Francesco Mercaldo; Antonella Santone (INTSYS, 2024)

How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study. - Federica Pepe; Vittoria Nardone; Antonio Mastropaolo; Gabriele Bavota; Gerardo Canfora; Massimiliano Di Penta (ICPC, 2024)

Identifying Ocular Diseases through Image Processing: Pattern Matching on Single Fundus Images. - Simona Correra; Giulia Varriano; Vittoria Nardone; Antonella Santone (WETICE, 2024)

An automatic radiomic-based approach for disease localization: A pilot study on COVID-19. - Giulia Varriano; Vittoria Nardone; Simona Correra; Francesco Mercaldo; Antonella Santone (Comput. Medical Imaging Graph., 2024)

Early prediction of the evolution and prognosis of mild acute pancreatitis through Dual Source-CT and Formal Methods. - Valeria Sorgente; Marco Di Serafino; Giulia Varriano; Vittoria Nardone; Alfonso Reginelli; Pasquale Avella; Salvatore Spiezia; Aldo Rocca; Antonella Santone; Maria Chiara Brunese (Comput. Biol. Medicine, 2025)