default search action
Vittoria Nardone
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j11]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: 102411 (2024) - [c34]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:
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. ACSOS-C 2024: 176-177 - [c33]Antonio Mastropaolo
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching. EASE 2024: 150-159 - [c32]Federica Pepe
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study. ICPC 2024: 370-381 - [i1]Antonio Mastropaolo, Vittoria Nardone, Gabriele Bavota, Massimiliano Di Penta:
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching. CoRR abs/2404.17896 (2024) - 2023
- [j10]Vittoria Nardone
Video Game Bad Smells: What They Are and How Developers Perceive Them. ACM Trans. Softw. Eng. Methodol. 32(4): 88:1-88:35 (2023) - [c31]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: 186-190 - [d8]Federica Pepe, Vittoria Nardone
Dataset of the paper: "How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study". Zenodo, 2023 - 2022
- [j9]Fabio Martinelli, Francesco Mercaldo
Driver Identification Through Formal Methods. IEEE Trans. Intell. Transp. Syst. 23(6): 5625-5637 (2022) - [c30]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: 646-657 - [d7]Vittoria Nardone
Video Games Bad Smells: What they are and how Developers Perceive Them - Online dataset. Version 1. Zenodo, 2022 [all versions] - [d6]Vittoria Nardone
Video Games Bad Smells: What they are and how Developers Perceive Them - Online dataset. Version 2. Zenodo, 2022 [all versions] - [d5]Vittoria Nardone
Video Games Bad Smells: What they are and how Developers Perceive Them - Online dataset. Version 3. Zenodo, 2022 [all versions] - [d4]Vittoria Nardone
Video Games Bad Smells: What they are and how Developers Perceive Them - Online dataset. Version 4. Zenodo, 2022 [all versions] - [d3]Vittoria Nardone
Video Game Bad Smells: What they are and how Developers Perceive Them - Online dataset. Version 5. Zenodo, 2022 [all versions] - [d2]Fiorella Zampetti
Dataset of the manuscript "Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems". Zenodo, 2022 - 2021
- [d1]Giuliano Antoniol, Massimiliano Di Penta
An Empirical Study on the Usage and Availability of Machine Learning Libraries in Open-Source Python Projects - Dataset. Zenodo, 2021 - 2020
- [j8]Fabio Martinelli, Francesco Mercaldo, Albina Orlando
Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. 83: 102504 (2020) - [j7]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation. Simul. Model. Pract. Theory 105: 102169 (2020) - [c29]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Colluding Android Apps Detection via Model Checking. AINA Workshops 2020: 776-786 - [c28]Antonio Borrelli, Vittoria Nardone, Giuseppe A. Di Lucca, Gerardo Canfora, Massimiliano Di Penta:
Detecting Video Game-Specific Bad Smells in Unity Projects. MSR 2020: 198-208
2010 – 2019
- 2019
- [j6]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando
Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. 48(2): 278-298 (2019) - [j5]Vittoria Nardone, Antonella Santone
Model Checking Techniques Applied to Satellite Operational Mode Management. IEEE Syst. J. 13(1): 1018-1029 (2019) - [j4]Maria Francesca Carfora
A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. 23(9): 2863-2875 (2019) - [j3]Gerardo Canfora
LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. 45(12): 1230-1252 (2019) - [c27]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Can Machine Learning Predict Soccer Match Results? ICAART (2) 2019: 458-465 - [c26]Fausto Fasano
Spyware Detection using Temporal Logic. ICISSP 2019: 690-699 - [c25]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking to Detect the Hummingbad Malware. IDC 2019: 485-494 - [c24]Pasquale Avino
Machine Learning to Identify Gender via Hair Elements. IJCNN 2019: 1-7 - [c23]Cinzia Bernardeschi
Exploiting Model Checking for Mobile Botnet Detection. KES 2019: 963-972 - [c22]Antonio Borrelli, Giuseppe Antonio Di Lucca
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. WETICE 2019: 249-254 - 2018
- [j2]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): 719-738 (2018) - [j1]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah
Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. 119: 203-218 (2018) - [c21]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando
Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP 2018: 367-372 - [c20]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando
Cluster Analysis for Driver Aggressiveness Identification. ICISSP 2018: 562-569 - [c19]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone:
Identifying Insecure Features in Android Applications using Model Checking. ICISSP 2018: 589-596 - [c18]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando
Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops 2018: 143-148 - [c17]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops 2018: 374-386 - [c16]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando
Safety Critical Systems Formal Verification Using Execution Traces. WETICE 2018: 247-250 - 2017
- [c15]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES 2017: 76:1-76:6 - [c14]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
How Discover a Malware using Model Checking. AsiaCCS 2017: 902-904 - [c13]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE 2017: 1-7 - [c12]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: 663-672 - [c11]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identifying Mobile Repackaged Applications through Formal Methods. ICISSP 2017: 673-682 - [c10]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE 2017: 24-30 - [c9]Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. KES 2017: 2519-2528 - [c8]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE 2017: 263-268 - 2016
- [c7]Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Ransomware Inside Out. ARES 2016: 628-637 - [c6]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Ransomware Steals Your Phone. Formal Methods Rescue It. FORTE 2016: 212-221 - [c5]Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identification of Android Malware Families with Model Checking. ICISSP 2016: 542-547 - [c4]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Download malware? no, thanks: how formal methods can block update attacks. FormaliSE@ICSE 2016: 22-28 - [c3]Vittoria Nardone, Domenico Raucci, Antonella Santone:
Model Checking to Support Action Controls in the Purchasing Process. WETICE 2016: 199-204 - [c2]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Hey Malware, I Can Find You! WETICE 2016: 261-262 - 2015
- [c1]Michele Ceccarelli
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. FormaliSE@ICSE 2015: 26-32
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-15 01:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: