NARDONE, Vittoria

NARDONE, Vittoria  

DIPARTIMENTO DI INGEGNERIA (solo contabile)  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) File
Detecting Video Game-Specific Bad Smells in Unity Projects 1-gen-2020 Borrelli, A.; Nardone, V.; Di Lucca, G. A.; Canfora, G.; Di Penta, M.
Download malware? no, thanks: how formal methods can block update attacks 1-gen-2016 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 1-gen-2019 Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A.
Hey Malware, I Can Find You! 1-gen-2016 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study 1-gen-2024 Pepe, Federica; Nardone, V.; Mastropaolo, A.; Canfora, G.; Bavota, G.; Di Penta, M.
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching 1-gen-2024 Mastropaolo, A.; Nardone, V.; Bavota, G.; Di Penta, M.
Identification of Android Malware Families with Model Checking 1-gen-2016 Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON; Battista, Pasquale; Francesco Mercaldo, M
Identifying Mobile Repackaged Applications through Formal Methods 1-gen-2017 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON; Martinelli, Fabio
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 1-gen-2015 Ruvo, Gd; Nardone, Vittoria; Santone, Antonella; Ceccarelli, M; Cerulo, L
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 1-gen-2019 Canfora, G.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
Model Checking Techniques Applied to Satellite Operational Mode Management 1-gen-2018 Nardone, V.; Santone, A.; Tipaldi, M.; Liuzza, Davide; Glielmo, L.
Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems 1-gen-2022 Zampetti, F.; Nardone, V.; Di Penta, M.
Ransomware Steals Your Phone. Formal Methods Rescue It 1-gen-2016 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Talos: no more ransomware victims with formal methods 1-gen-2018 Cimitile, A.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
UnityLint: A Bad Smell Detector for Unity 1-gen-2023 Bosco, M.; Cavoto, P.; Ungolo, A.; Muse, B. A.; Khomh, F.; Nardone, V.; Di Penta, M.
Video Game Bad Smells: What They Are and How Developers Perceive Them 1-gen-2023 Nardone, V.; Muse, B.; Abidi, M.; Khomh, F.; Di Penta, M.