| 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 | 423 | 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 | 139 | 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 | 128 | 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 | 109 | 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 | 98 | 2017 |
| Deep learning for image-based mobile malware detection F Mercaldo, A Santone Journal of Computer Virology and Hacking Techniques 16 (2), 157-171, 2020 | 89 | 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 | 81 | 2020 |
| 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 | 78 | 2018 |
| 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 | 78 | 1999 |
| 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 | 64 | 2018 |
| Ransomware inside out F Mercaldo, V Nardone, A Santone 2016 11th International Conference on Availability, Reliability and Security …, 2016 | 64 | 2016 |
| 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 | 60 | 2019 |
| 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 | 58 | 2020 |
| 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 | 55 | 2016 |
| Identification of Android Malware Families with Model Checking. P Battista, F Mercaldo, V Nardone, A Santone, CA Visaggio ICISSP, 542-547, 2016 | 55 | 2016 |
| 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 | 54 | 2014 |
| 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 | 50 | 2021 |
| 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 | 50 | 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 | 47 | 2021 |
| Clone detection through process algebras and java bytecode A Santone Proceedings of the 5th International Workshop on Software Clones, 73-74, 2011 | 45 | 2011 |
