| 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 | 594 | 2020 |
| Diabetes mellitus affected patients classification and diagnosis through machine learning techniques F Mercaldo, V Nardone, A Santone Procedia computer science 112, 2519-2528, 2017 | 185 | 2017 |
| 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 | 143 | 2016 |
| 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 | 129 | 2020 |
| Deep learning for image-based mobile malware detection F Mercaldo, A Santone Journal of Computer Virology and Hacking Techniques 16 (2), 157-171, 2020 | 121 | 2020 |
| 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 | 121 | 2020 |
| 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 | 115 | 2017 |
| 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 | 91 | 2018 |
| 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 | 88 | 2021 |
| 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 | 80 | 2020 |
| 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 | 80 | 1999 |
| 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 | 76 | 2019 |
| 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 | 73 | 2018 |
| Ransomware inside out F Mercaldo, V Nardone, A Santone 2016 11th International Conference on Availability, Reliability and Security …, 2016 | 70 | 2016 |
| 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 | 65 | 2020 |
| 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 | 63 | 2021 |
| Deep learning for heart disease detection through cardiac sounds L Brunese, F Martinelli, F Mercaldo, A Santone Procedia Computer Science 176, 2202-2211, 2020 | 61 | 2020 |
| Identification of Android Malware Families with Model Checking. P Battista, F Mercaldo, V Nardone, A Santone, CA Visaggio ICISSP, 542-547, 2016 | 60 | 2016 |
| 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 | 57 | 2016 |
| 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 | 55 | 2021 |
