Sfoglia per Autore  NARDONE, Vittoria

Opzioni
Mostrati risultati da 1 a 14 di 14
Titolo Data di pubblicazione Autore(i) File
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
Ransomware Steals Your Phone. Formal Methods Rescue It 1-gen-2016 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Hey Malware, I Can Find You! 1-gen-2016 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Identification of Android Malware Families with Model Checking 1-gen-2016 Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON; Battista, Pasquale; Francesco Mercaldo, M
Download malware? no, thanks: how formal methods can block update attacks 1-gen-2016 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Identifying Mobile Repackaged Applications through Formal Methods 1-gen-2017 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON; Martinelli, Fabio
Model Checking Techniques Applied to Satellite Operational Mode Management 1-gen-2018 Nardone, V.; Santone, A.; Tipaldi, M.; Liuzza, Davide; Glielmo, L.
Talos: no more ransomware victims with formal methods 1-gen-2018 Cimitile, A.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 1-gen-2019 Canfora, G.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
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.
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.
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.
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.
Mostrati risultati da 1 a 14 di 14
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile