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
5992020
Diabetes mellitus affected patients classification and diagnosis through machine learning techniques
F Mercaldo, V Nardone, A Santone
Procedia computer science 112, 2519-2528, 2017
1882017
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
1442016
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
1322020
Deep learning for image-based mobile malware detection
F Mercaldo, A Santone
Journal of Computer Virology and Hacking Techniques 16 (2), 157-171, 2020
1252020
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
1222020
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
1192017
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
922021
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
922018
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
842020
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
811999
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
802019
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
732016
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
662020
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
642021
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
582016
Can-bus attack detection with deep learning
F Amato, L Coppolino, F Mercaldo, F Moscato, R Nardone, A Santone
IEEE Transactions on Intelligent Transportation Systems 22 (8), 5081-5090, 2021
572021
The system can't perform the operation now. Try again later.
Articles 1–20