IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 12 di 12
Titolo Data di pubblicazione Autore(i) File
Infer Gene Regulatory Networks from Time Series Data with Formal Methods 1-gen-2013 Ceccarelli, Michele; Cerulo, L; Santone, Antonella
De novo reconstruction of gene regulatory networks from time series data an approach based on formal methods 1-gen-2014 Ceccarelli, M; Cerulo, L; Santone, A
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
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
Hey Malware, I Can Find You! 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.
Reconnaissance of 2016 central Italy earthquake sequence 1-gen-2018 Stewart, J. P.; Zimmaro, P.; Lanzo, G.; Mazzoni, S.; Ausilio, E.; Aversa, S.; Bozzoni, F.; Cairo, R.; Capatti, M. C.; Castiglia, M.; Chiabrando, F.; Chiaradonna, A.; D'Onofrio, A.; Dashti, S.; De Risi, R.; De Silva, F.; Della Pasqua, F.; Dezi, F.; Di Domenica, A.; Di Sarno, L.; Durante, M. G.; Falcucci, E.; Foti, S.; Franke, K. W.; Galadini, F.; Giallini, S.; Gori, S.; Kayen, R. E.; Kishida, T.; Lingua, A.; Lingwall, B.; Mucciacciaro, M.; Pagliaroli, A.; Passeri, F.; Pelekis, P.; Pizzi, A.; Reimschiissel, B.; Santo, A.; De Magistris, F. S.; Scasserra, G.; Sextos, A.; Sica, S.; Silvestri, F.; Simonelli, A. L.; Spano, A.; Tommasi, P.; Tropeano, G.
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 1-gen-2019 Canfora, G.; Martinelli, F.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
Mostrati risultati da 1 a 12 di 12
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