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
1772020
Ransomware steals your phone. formal methods rescue it
F Mercaldo, V Nardone, A Santone, CA Visaggio
International Conference on Formal Techniques for Distributed Objects …, 2016
1062016
Diabetes mellitus affected patients classification and diagnosis through machine learning techniques
F Mercaldo, V Nardone, A Santone
Procedia computer science 112, 2519-2528, 2017
872017
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
771999
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
752017
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
742020
Ransomware inside out
F Mercaldo, V Nardone, A Santone
2016 11th International Conference on Availability, Reliability and Security …, 2016
602016
Talos: no more ransomware victims with formal methods
A Cimitile, F Mercaldo, V Nardone, A Santone, CA Visaggio
International Journal of Information Security 17 (6), 719-738, 2018
592018
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
512014
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
502018
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
482016
Identification of Android Malware Families with Model Checking.
P Battista, F Mercaldo, V Nardone, A Santone, CA Visaggio
ICISSP, 542-547, 2016
472016
Clone detection through process algebras and java bytecode
A Santone
Proceedings of the 5th International Workshop on Software Clones, 73-74, 2011
442011
Deep learning for image-based mobile malware detection
F Mercaldo, A Santone
Journal of Computer Virology and Hacking Techniques, 1-15, 2020
412020
Ant colony optimization for deadlock detection in concurrent systems
G Francesca, A Santone, G Vaglini, ML Villani
2011 IEEE 35th Annual Computer Software and Applications Conference, 108-117, 2011
412011
Abstract reduction in directed model checking ccs processes
A Santone, G Vaglini
Acta informatica 49 (5), 313-341, 2012
382012
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
372020
Hey malware, i can find you!
F Mercaldo, V Nardone, A Santone, CA Visaggio
2016 IEEE 25th International Conference on Enabling Technologies …, 2016
362016
Automatic verification of concurrent systems using a formula-based compositional approach
A Santone
Acta Informatica 38 (8), 531-564, 2002
352002
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 (9), 2863-2875, 2019
342019
The system can't perform the operation now. Try again later.
Articles 1–20