Follow
Antonella Santone
Antonella Santone
Unknown affiliation
Verified email at unisannio.it
Title
Cited by
Cited by
Year
Explainable deep learning for pulmonary disease and coronavirus COVID-19 detection from X-rays
L Brunese, F Mercaldo, A Reginelli, A Santone
Computer Methods and Programs in Biomedicine 196, 105608, 2020
5932020
Diabetes mellitus affected patients classification and diagnosis through machine learning techniques
F Mercaldo, V Nardone, A Santone
Procedia computer science 112, 2519-2528, 2017
1852017
Ransomware steals your phone. formal methods rescue it
F Mercaldo, V Nardone, A Santone, CA Visaggio
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
1432016
Human behavior characterization for driving style recognition in vehicle system
F Martinelli, F Mercaldo, A Orlando, V Nardone, A Santone, AK Sangaiah
Computers & Electrical Engineering 83, 102504, 2020
1292020
Deep learning for image-based mobile malware detection
F Mercaldo, A Santone
Journal of Computer Virology and Hacking Techniques 16 (2), 157-171, 2020
1212020
An ensemble learning approach for brain cancer detection exploiting radiomic features
L Brunese, F Mercaldo, A Reginelli, A Santone
Computer methods and programs in biomedicine 185, 105134, 2020
1212020
Car hacking identification through fuzzy logic algorithms
F Martinelli, F Mercaldo, V Nardone, A Santone
2017 IEEE international conference on fuzzy systems (FUZZ-IEEE), 1-7, 2017
1152017
Talos: no more ransomware victims with formal methods
A Cimitile, F Mercaldo, V Nardone, A Santone, CA Visaggio
International Journal of Information Security 17, 719-738, 2018
912018
Towards an interpretable deep learning model for mobile malware detection and family identification
G Iadarola, F Martinelli, F Mercaldo, A Santone
Computers & Security 105, 102198, 2021
882021
Machine learning for coronavirus covid-19 detection from chest x-rays
L Brunese, F Martinelli, F Mercaldo, A Santone
Procedia computer science 176, 2212-2221, 2020
802020
Selective mu-calculus and formula-based equivalence of transition systems
R Barbuti, N De Francesco, A Santone, G Vaglini
Journal of Computer and System Sciences 59 (3), 537-556, 1999
801999
A “pay-how-you-drive” car insurance approach through cluster analysis
MF Carfora, F Martinelli, F Mercaldo, V Nardone, A Orlando, A Santone, ...
Soft Computing 23, 2863-2875, 2019
762019
Leila: formal tool for identifying mobile malicious behaviour
G Canfora, F Martinelli, F Mercaldo, V Nardone, A Santone, CA Visaggio
IEEE Transactions on Software Engineering 45 (12), 1230-1252, 2018
732018
Ransomware inside out
F Mercaldo, V Nardone, A Santone
2016 11th International Conference on Availability, Reliability and Security …, 2016
702016
Visualizing the outcome of dynamic analysis of Android malware with VizMal
A De Lorenzo, F Martinelli, E Medvet, F Mercaldo, A Santone
Journal of Information Security and Applications 50, 102423, 2020
652020
Radiomic features for prostate cancer grade detection through formal verification
A Santone, MC Brunese, F Donnarumma, P Guerriero, F Mercaldo, ...
La radiologia medica 126, 688-697, 2021
632021
Deep learning for heart disease detection through cardiac sounds
L Brunese, F Martinelli, F Mercaldo, A Santone
Procedia Computer Science 176, 2202-2211, 2020
612020
Identification of Android Malware Families with Model Checking.
P Battista, F Mercaldo, V Nardone, A Santone, CA Visaggio
ICISSP, 542-547, 2016
602016
Download malware? no, thanks: how formal methods can block update attacks
F Mercaldo, V Nardone, A Santone, CA Visaggio
Proceedings of the 4th FME Workshop on Formal Methods in Software …, 2016
572016
Transfer learning for mobile real-time face mask detection and localization
F Mercaldo, A Santone
Journal of the American Medical Informatics Association 28 (7), 1548-1554, 2021
552021
The system can't perform the operation now. Try again later.
Articles 1–20