NARDONE, Vittoria
NARDONE, Vittoria
DIPARTIMENTO DI INGEGNERIA (solo contabile)
Detecting Video Game-Specific Bad Smells in Unity Projects
2020-01-01 Borrelli, A.; Nardone, V.; Di Lucca, G. A.; Canfora, G.; Di Penta, M.
Download malware? no, thanks: how formal methods can block update attacks
2016-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique
2019-01-01 Borrelli, A.; Di Lucca, G. A.; Nardone, V.; Santone, A.
Hey Malware, I Can Find You!
2016-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study
2024-01-01 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
2024-01-01 Mastropaolo, A.; Nardone, V.; Bavota, G.; Di Penta, M.
Identification of Android Malware Families with Model Checking
2016-01-01 Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON; Battista, Pasquale; Francesco Mercaldo, M
Identifying Mobile Repackaged Applications through Formal Methods
2017-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON; Martinelli, Fabio
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking
2015-01-01 Ruvo, Gd; Nardone, Vittoria; Santone, Antonella; Ceccarelli, M; Cerulo, L
LEILA: formaL tool for idEntifying mobIle maLicious behAviour
2019-01-01 Canfora, G.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
Model Checking Techniques Applied to Satellite Operational Mode Management
2018-01-01 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
2022-01-01 Zampetti, F.; Nardone, V.; Di Penta, M.
Ransomware Steals Your Phone. Formal Methods Rescue It
2016-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Talos: no more ransomware victims with formal methods
2018-01-01 Cimitile, A.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
UnityLint: A Bad Smell Detector for Unity
2023-01-01 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
2023-01-01 Nardone, V.; Muse, B.; Abidi, M.; Khomh, F.; Di Penta, M.
| 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. |