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
5652020
Diabetes mellitus affected patients classification and diagnosis through machine learning techniques
F Mercaldo, V Nardone, A Santone
Procedia computer science 112, 2519-2528, 2017
1722017
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
1382016
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
1272020
Deep learning for image-based mobile malware detection
F Mercaldo, A Santone
Journal of Computer Virology and Hacking Techniques 16 (2), 157-171, 2020
1152020
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
1152020
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
1102017
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
872018
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
791999
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
772021
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
752019
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
742020
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
712018
Ransomware inside out
F Mercaldo, V Nardone, A Santone
2016 11th International Conference on Availability, Reliability and Security …, 2016
692016
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
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
602020
Identification of Android Malware Families with Model Checking.
P Battista, F Mercaldo, V Nardone, A Santone, CA Visaggio
ICISSP, 542-547, 2016
592016
Deep learning for heart disease detection through cardiac sounds
L Brunese, F Martinelli, F Mercaldo, A Santone
Procedia Computer Science 176, 2202-2211, 2020
582020
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
De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods
M Ceccarelli, L Cerulo, A Santone
Methods 69 (3), 298-305, 2014
542014
The system can't perform the operation now. Try again later.
Articles 1–20