SANTONE, ANTONELLA
SANTONE, ANTONELLA
De novo reconstruction of gene regulatory networks from time series data an approach based on formal methods
2014-01-01 Ceccarelli, M; Cerulo, L; Santone, A
Download malware? no, thanks: how formal methods can block update attacks
2016-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Hey Malware, I Can Find You!
2016-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
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 Formal Methods
2013-01-01 Ceccarelli, Michele; Cerulo, L; Santone, Antonella
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.
Ransomware Steals Your Phone. Formal Methods Rescue It
2016-01-01 Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON
Reconnaissance of 2016 central Italy earthquake sequence
2018-01-01 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.
Talos: no more ransomware victims with formal methods
2018-01-01 Cimitile, A.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| 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 | |
| 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 Formal Methods | 1-gen-2013 | Ceccarelli, Michele; Cerulo, L; Santone, Antonella | |
| 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. | |
| Ransomware Steals Your Phone. Formal Methods Rescue It | 1-gen-2016 | Mercaldo, Francesco; Nardone, Vittoria; Santone, Antonella; Visaggio, CORRADO AARON | |
| 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. | |
| Talos: no more ransomware victims with formal methods | 1-gen-2018 | Cimitile, A.; Mercaldo, F.; Nardone, V.; Santone, A.; Visaggio, C. A. |