Antonella Santone

311 papers A 4B 65C 50Misc 5Journal 98Unranked 89

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Machine Learning Method for Facial Image-Based Autism Spectrum Disorder Detection. BIOSTEC (4) Jessica Lucarelli, Mario Cesarelli, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2026	—	`conf`	A Method for Driver Drowsiness Identification by Means of Explainable Object Detection. BIOSTEC (3) Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2026	—	`conf`	A Method for Privacy-Preserving and Explainable Pneumonia Detection and Localisation. BIOSTEC (2) Miriam Di Renzo, Filomena Niro, Desirè Menditto, Patrizia Agnello, Marta Petyx, Mario Cesarelli, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2026	J	`jnl`	A Privacy-Preserving and Explainable Method for Diabetic Retinopathy Classification and Localization. IEEE Access Giovanni Ciaramella, Mario Cesarelli, Fabio Martinelli, Patrizia Agnello, Marta Petyx, Antonella Santone, Francesco Mercaldo
2026	J	`jnl`	A method for real-world privacy-preserving Android malware detection through Federated Machine Learning. Inf. Softw. Technol. Giovanni Ciaramella, Fabio Martinelli, Christian Peluso, Antonella Santone, Francesco Mercaldo
2026	—	`conf`	Labeling the Unlabelable: A Pilot Study on Breast Density. BIOSTEC (2) Simona Correra, Ida Maruotto, Giulia Varriano, Dalila De Lucia, Maria Chiara Brunese, Corrado Caiazzo, Antonella Santone, Paolo Gargiulo, Francesco Mercaldo
2025	J	`jnl`	A Deep Learning-Based Approach for Explainable Microsatellite Instability Detection in Gastrointestinal Malignancies. J. Imaging Ludovica Ciardiello, Patrizia Agnello, Marta Petyx, Fabio Martinelli, Mario Cesarelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	A Federated Machine Learning Method for Malicious Smart Contract Detection. BCCA Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Paolo Mori, Antonella Santone
2025	—	`conf`	A Hybrid Approach to Sentence Classification in Clinical Data Through Word Embeddings: A Proposal. BIBM Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	A Method for Diabetic Retinopathy Detection Through Radiomics and Machine Learning. MetroXRAINE Simona Correra, Valeria Sorgente, Mario Cesarelli, Paolo Gargiulo, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	A Method for Explainable Anomaly Detection in Substation Networks Through Deep Learning. ARES (Workshops 1) Paul Tavolato, Oliver Eigner, Philipp Kreimel-Haindl, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2025	B	`conf`	A Method for Explainable Medical Abstracts Classification through Transformer Models. IJCNN Luca Petrillo, Anna Giacomello, Fabio Martinelli, Antonella Santone, Mario Cesarelli, Francesco Mercaldo
2025	C	`conf`	A Method for Packed (and Unpacked) Malware Detection by Means of Convolutional Neural Networks. SECRYPT Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	A Novel Algorithm based on Ankle-Mounted IMU Configuration for Computing Spatiotemporal Parameters. MetroXRAINE Giuseppe Prisco, Alfonso Maria Ponsiglione, Fabrizio Esposito, Sergio Lerma Lara, Paolo Gargiulo, Antonella Santone, Mario Cesarelli, Francesco Amato, Leandro Donisi
2025	—	`conf`	A Privacy-Preserving Method for Explainable Multiple Sclerosis Detection Through Federated Machine Learning. ICIAP (Workshops 2) Filomena Niro, Miriam Di Renzo, Patrizia Agnello, Marta Petyx, Giovanni Ciaramella, Fabio Martinelli, Mario Cesarelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	A Privacy-Preserving and Explainable Approach for Anomaly Detection in Substation Networks. IJCCI (3) Paul Tavolato, Oliver Eigner, Philipp Kreimel-Haindl, Patrizia Agnello, Marta Petyx, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2025	—	`conf`	A Proposal for Automatic Bounding Box Annotation for Object Detection Tasks. ICHI Francesco Mercaldo, Fabio Martinelli, Mario Cesarelli, Antonella Santone
2025	—	`conf`	A Proposal for Explainable Breast Cancer Detection from Histological Images. BIOSTEC (2): HEALTHINF Lucia Lombardi, Myriam Giusy Tibaldi, Rachele Catalano, Mario Cesarelli, Antonella Santone, Francesco Mercaldo
2025	J	`jnl`	A method for automatic breast density classification in magnetic resonance imaging. Comput. Vis. Image Underst. Simona Correra, Francesco Mercaldo, Vittoria Nardone, Giulia Varriano, Dalila De Lucia, Maria Chiara Brunese, Antonella Santone, Corrado Caiazzo
2025	J	`jnl`	A method for skin lesion detection and localization by means of Deep Learning and reliable prediction explainability. Image Vis. Comput. Marcello Di Giammarco, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	J	`jnl`	A method for smart grid intrusion detection through explainable deep learning. J. Comput. Virol. Hacking Tech. Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	About the Importance of Open Data in Biomedical Research. MetroXRAINE Giuseppe Cesarelli, Stefano Franceschini, Michela Russo, Francesca Angelone, Leandro Donisi, Paolo Gargiulo, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	An Explainable Framework for Text Generation Tasks. BIBM Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	Misc	`conf`	An Explainable Method for Access Control Policies Classification. CSR Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	An Explainable Method for Malware Detection Through Convolutional Neural Networks. ARES (Workshops 1) Francesco Mercaldo, Paul Tavolato, Antonella Santone, Fabio Martinelli
2025	—	`conf`	BIOFED: A Biomedical Federated and Explainable Framework for Object Detection. BIBM Francesco Mercaldo, Marcello Di Giammarco, Filomena Niro, Miriam Di Renzo, Mario Cesarelli, Fabio Martinelli, Patrizia Agnello, Marta Petyx, Antonella Santone
2025	—	`conf`	Bioimages Synthesis and Detection Through Generative Adversarial Network: A Multi-Case Study. BIOSTEC (1) Valeria Sorgente, Ilenia Verrillo, Mario Cesarelli, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2025	J	`jnl`	CGAM: An end-to-end causality graph attention Mamba network for esophageal pathology grading. Biomed. Signal Process. Control. Yingbo Qu, Xiangli Zhou, Pan Huang, Yanan Liu, Francesco Mercaldo, Antonella Santone, Peng Feng
2025	J	`jnl`	Early prediction of the evolution and prognosis of mild acute pancreatitis through Dual Source-CT and Formal Methods. Comput. Biol. Medicine Valeria Sorgente, Marco Di Serafino, Giulia Varriano, Vittoria Nardone, Alfonso Reginelli, Pasquale Avella, Salvatore Spiezia, Aldo Rocca, Antonella Santone, Maria Chiara Brunese
2025	B	`conf`	Explainable Access Control Policies Classification through Large Language Models. IJCNN Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	Explainable Brain Activity Classification from Audio Recordings and Convolutional Neural Networks. IDSTA Paul Tavolato, Hubert Schölnast, Oliver Eigner, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	J	`jnl`	Explainable Deep Learning for Breast Cancer Classification and Localization. ACM Trans. Comput. Heal. Marcello Di Giammarco, Camilla Vitulli, Simone Cirnelli, Benedetta Masone, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	Misc	`conf`	Explainable Malware Detection by means of Federated Machine Learning. CSR Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	Misc	`conf`	Explainable Ransomware Detection through Static Analysis and Machine Learning. CSR Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	J	`jnl`	Explainable Security Requirements Classification Through Transformer Models. Future Internet Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	J	`jnl`	Explainable retinal disease classification and localization through Convolutional Neural Networks. Image Vis. Comput. Marcello Di Giammarco, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	J	`jnl`	Exploring Bioimage Synthesis and Detection via Generative Adversarial Networks: A Multi-Faceted Case Study. J. Imaging Valeria Sorgente, Dante Biagiucci, Mario Cesarelli, Luca Brunese, Antonella Santone, Fabio Martinelli, Francesco Mercaldo
2025	—	`conf`	FLIP: A tool for Explainable Federated Learning for Image Processing. ICHI Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	Flip_VIT: An Explainable Federated Learning Framework for Privacy-Preserving Biomedical Imaging Analysis. BIBM Francesco Mercaldo, Marcello Di Giammarco, Filomena Niro, Miriam Di Renzo, Mario Cesarelli, Fabio Martinelli, Patrizia Agnello, Marta Petyx, Antonella Santone
2025	B	`conf`	Interpretable Res-ViTNet with Multiview Interaction and Multiobjective Optimization for sEMG-based LLMI Recognition. IJCNN Xiangli Zhou, Biao Wei, Yu Liu, Liufeng Xiao, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	Joint Angle Detection through Human Pose Estimation: A Proposal. ICHI Ludovica Ciardiello, Fabio Martinelli, Mario Cesarelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	On the Detection of Retinal Image Synthesis Obtained Through Generative Adversarial Network. BIOSTEC (1) Marcello Di Giammarco, Antonella Santone, Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo
2025	—	`conf`	Security Requirements Classification by Means of Explainable Transformer Models. EuroS&P (Workshops) Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	—	`conf`	TALLM: A framework for Text Analysis using Large Language Models. ICHI Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2025	C	`conf`	Towards Quantum Machine Learning in Ransomware Detection. SECRYPT Francesco Mercaldo, Giovanni Ciaramella, Fabio Martinelli, Antonella Santone
2025	—	`conf`	Validity of an Automatic Approach for Acceleration Signal Segmentation during Weight Lifting. MetroXRAINE Giuseppe Prisco, Maria Agnese Pirozzi, Fabrizio Esposito, Antonella Santone, Mario Cesarelli, Paolo Gargiulo, Francesco Amato, Leandro Donisi
2024	—	`conf`	A Federated Learning-Based Android Malware Detector Through Differential Privacy. EUROCAST (3) Christian Peluso, Giovanni Ciaramella, Francesco Mercaldo, Antonella Santone, Fabio Martinelli
2024	—	`conf`	A Machine Learning-Based Approach to Detect Cyberbullying Tweets. MetroXRAINE Giuseppe Prisco, Francesco Mercaldo, Antonella Santone, Mario Cesarelli
2024	B	`conf`	A Method for AI-generated sentence detection through Large Language Models. KES Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone
2024	B	`conf`	A Method for Finding Distance in Real-Time Car Detection through Object Detection. KES Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	—	`conf`	A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking. INTSYS Simona Correra, Valeria Sorgente, Giulia Varriano, Vittoria Nardone, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	Alzheimer's Disease Evaluation Through Visual Explainability by Means of Convolutional Neural Networks. Int. J. Neural Syst. Francesco Mercaldo, Marcello Di Giammarco, Fabrizio Ravelli, Fabio Martinelli, Antonella Santone, Mario Cesarelli
2024	—	`conf`	An Approach for Privacy-Preserving Mobile Malware Detection Through Federated Machine Learning. ICEIS (1) Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone
2024	J	`jnl`	An automatic radiomic-based approach for disease localization: A pilot study on COVID-19. Comput. Medical Imaging Graph. Giulia Varriano, Vittoria Nardone, Simona Correra, Francesco Mercaldo, Antonella Santone
2024	—	`conf`	Automatic Classification and Localization of Ancient Amphorae Through Object Detection in Underwater Archeology. KES-IDT Lucia Lombardi, Francesco Mercaldo, Antonella Santone
2024	—	`conf`	Biomechanical Risk Evaluation Through Machine Learning Algorithms Fed with Features Extracted From sEMG of Neck Extensors. MetroXRAINE Giuseppe Prisco, Leandro Donisi, Lorena Guerrini, Francesco Mercaldo, Fabrizio Esposito, Antonella Santone, Mario Cesarelli, Francesco Amato, Paolo Gargiulo
2024	C	`conf`	Cybersecurity-Related Tweet Classification by Explainable Deep Learning. ICISSP Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone
2024	J	`jnl`	Deep Convolutional Generative Adversarial Networks in Image-Based Android Malware Detection. Comput. Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2024	—	`conf`	Detecting Parkinson's Disease Using the Spiral and Wave Drawing Test by Means of Explainable Deep Learning. ICAART (Revised Selected Paper, 2) Antonella Santone, Mario Cesarelli, Fabio Martinelli, Luca Brunese, Francesco Mercaldo
2024	—	`conf`	Detecting Retinal Fundus Image Synthesis by Means of Generative Adversarial Network. BIOSTEC (1) Francesco Mercaldo, Luca Brunese, Mario Cesarelli, Fabio Martinelli, Antonella Santone
2024	—	`conf`	DroidDefender: An Image-based Android Antimalware Proof-of-Concept. CODASPY Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	—	`conf`	Dynamic Analysis for Explainable Fine-Grained Android Malware Detection. STM Giovanni Ciaramella, Francesco Mercaldo, Antonella Santone
2024	C	`conf`	Egyptian Hieroglyphs Localisation Through Object Detection. ICSOFT Lucia Lombardi, Francesco Mercaldo, Antonella Santone
2024	B	`conf`	Evaluating the Impact of Generative Adversarial Network in Android Malware Detection. ENASE Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	Explainable Ransomware Detection with Deep Learning Techniques. J. Comput. Virol. Hacking Tech. Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	Extreme Learning Machine for Biomedical Image Classification: A Multi-Case Study. EAI Endorsed Trans. Pervasive Health Technol. Francesco Mercaldo, Luca Brunese, Antonella Santone, Fabio Martinelli, Mario Cesarelli
2024	—	`conf`	Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. ACSOS-C Cinzia Bernardeschi, Giuseppe Lettieri, Alessio Vivani, Alessio Bechini, Alessio Vecchio, Federico Rossi, Christian Quadri, Alessia Galdeman, Adriano Fagiolini, Salvatore Pedone, Antonella Santone, Vittoria Nardone, Francesco Mercaldo, Simona Correra, Giulia Varriano
2024	C	`conf`	Identifying Ocular Diseases through Image Processing: Pattern Matching on Single Fundus Images. WETICE Simona Correra, Giulia Varriano, Vittoria Nardone, Antonella Santone
2024	J	`jnl`	Isolation forest-voting fusion-multioutput: A stroke risk classification method based on the multidimensional output of abnormal sample detection. Comput. Methods Programs Biomed. Hai He, Haibo Yang, Francesco Mercaldo, Antonella Santone, Pan Huang
2024	J	`jnl`	LA-ViT: A Network With Transformers Constrained by Learned-Parameter-Free Attention for Interpretable Grading in a New Laryngeal Histopathology Image Dataset. IEEE J. Biomed. Health Informatics Pan Huang, Hualiang Xiao, Peng He, Chentao Li, Xiaodong Guo, Sukun Tian, Peng Feng, Hu Chen, Yuchun Sun, Francesco Mercaldo, Antonella Santone, Jing Qin
2024	C	`conf`	Leveraging Deep Learning for Intrusion Detection in IoT Through Visualized Network Data. SECRYPT Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	MamlFormer: Priori-experience guiding transformer network via manifold adversarial multi-modal learning for laryngeal histopathological grading. Inf. Fusion Pan Huang, Chentao Li, Peng He, Hualiang Xiao, Yifang Ping, Peng Feng, Sukun Tian, Hu Chen, Francesco Mercaldo, Antonella Santone, Hui-Yuan Yeh, Jing Qin
2024	C	`conf`	On the Adoption of Counterexample for Classification Task Explainability. WETICE Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	C	`conf`	On the Adoption of Explainable Deep Learning for Image-Based Network Traffic Classification. SIMULTECH Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	J	`jnl`	Picker Blinder: a framework for automatic injection of malicious inter-app communication. J. Comput. Virol. Hacking Tech. Rosangela Casolare, Stefano Fagnano, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2024	C	`conf`	Preventing Epilepsy: a case study into Radiomics and pre-processing efficacy. WETICE Giulia Varriano, Luigi Pavone, Simona Correra, Giancarlo Di Gennaro, Marcello Bartolo, Ferdinando Caranci, Antonella Santone, Luca Brunese
2024	B	`conf`	Real-Time Road Sign Localisation through Object Detection. KES Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2024	—	`conf`	Reliable Leukemia diagnosis and localization through Explainable Deep Learning. IDSTA Marcello Di Giammarco, Benedetta Dukic, Fabio Martinelli, Mario Cesarelli, Fabrizio Ravelli, Antonella Santone, Francesco Mercaldo
2024	—	`conf`	Security Policy Generation and Verification through Large Language Models: A Proposal. CODASPY Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone
2024	—	`conf`	Spiral Drawing Test and Explainable Convolutional Neural Networks for Parkinson's Disease Detection. ICAART (2) Francesco Mercaldo, Luca Brunese, Mario Cesarelli, Fabio Martinelli, Antonella Santone
2023	Misc	`conf`	A Driver Detection Method by Means of Explainable Deep Learning. CSR Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	—	`conf`	A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection. FUZZ Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2023	—	`conf`	A Machine Learning approach to classify ventilatory efficiency. MetroXRAINE Giuseppe Prisco, Klara Komici, Francesco Mercaldo, Leandro Donisi, Mario Cesarelli, Germano Guerra, Antonella Santone
2023	C	`conf`	A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning. SECRYPT Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	J	`jnl`	A Novel Classification Technique based on Formal Methods. ACM Trans. Knowl. Discov. Data Gerardo Canfora, Francesco Mercaldo, Antonella Santone
2023	B	`conf`	A Proposal for Trustworthy Artificial Intelligence. IEEE Big Data Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	J	`jnl`	A ViT-AMC Network With Adaptive Model Fusion and Multiobjective Optimization for Interpretable Laryngeal Tumor Grading From Histopathological Images. IEEE Trans. Medical Imaging Pan Huang, Peng He, Sukun Tian, Mingrui Ma, Peng Feng, Hualiang Xiao, Francesco Mercaldo, Antonella Santone, Jing Qin
2023	C	`conf`	An Explainable Convolutional Neural Network for Dynamic Android Malware Detection. ICISSP Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2023	C	`conf`	Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis. ICMLA Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	B	`conf`	Computational cost of CT Radiomics workflow: a case study on COVID-19. COMPSAC Giulia Varriano, Valeria Sorgente, Francesco Mercaldo, Antonella Santone, Luca Brunese
2023	B	`conf`	Damage Detection and Localisation using UAV/ Drone with Object Detection. KES Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	B	`conf`	Data Poisoning Attacks over Diabetic Retinopathy Images Classification. IEEE Big Data Fabio Martinelli, Francesco Mercaldo, Marcello Di Giammarco, Antonella Santone
2023	J	`jnl`	Diabetic retinopathy detection and diagnosis by means of robust and explainable convolutional neural networks. Neural Comput. Appl. Francesco Mercaldo, Marcello Di Giammarco, Arianna Apicella, Giacomo Iadarola, Mario Cesarelli, Fabio Martinelli, Antonella Santone
2023	—	`conf`	Evaluating Fuzzy Machine Learning for Smart Grid Instability Detection. FUZZ Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	J	`jnl`	Explainable Convolutional Neural Networks for Brain Cancer Detection and Localisation. Sensors Francesco Mercaldo, Luca Brunese, Fabio Martinelli, Antonella Santone, Mario Cesarelli
2023	—	`conf`	Explainable Deep Learning for Brain Cancer Detection and Localisation. MetroXRAINE Mario Cesarelli, Francesco Mercaldo, Antonella Santone
2023	B	`conf`	Explainable Deep Learning for Face Mask Detection. KES Mario Cesarelli, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	B	`conf`	Explainable Deep Learning for Smart Grid Stability Detection. IEEE Big Data Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	B	`conf`	Exploring Quantum Machine Learning for Explainable Malware Detection. IJCNN Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	—	`conf`	Feasibility of Tree-Based Machine Learning Models to Discriminate Safe and Unsafe Posture During Weight Lifting. MetroXRAINE Giuseppe Prisco, Maria Romano, Fabrizio Esposito, Mario Cesarelli, Antonella Santone, Leandro Donisi
2023	—	`conf`	Image-Based Malware Detection Through a Deep Neuro-Fuzzy Model. FUZZ Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2023	J	`jnl`	Interpretable laryngeal tumor grading of histopathological images via depth domain adaptive network with integration gradient CAM and priori experience-guided attention. Comput. Biol. Medicine Pan Huang, Xiaoli Zhou, Peng He, Peng Feng, Sukun Tian, Yuchun Sun, Francesco Mercaldo, Antonella Santone, Jing Qin, Hualiang Xiao
2023	B	`conf`	Obfuscated Mobile Malware Detection by Means of Dynamic Analysis and Explainable Deep Learning. ARES Francesco Mercaldo, Giovanni Ciaramella, Antonella Santone, Fabio Martinelli
2023	B	`conf`	Object Detection and Localisation in Thermal Images by means of UAV/Drone. KES Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2023	C	`conf`	StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation. ICISSP Daniele Albanese, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone
2023	J	`jnl`	TriAD: A Deep Ensemble Network for Alzheimer Classification and Localization. IEEE Access Francesco Mercaldo, Marcello Di Giammarco, Fabrizio Ravelli, Fabio Martinelli, Antonella Santone, Mario Cesarelli
2023	J	`jnl`	Water Meter Reading for Smart Grid Monitoring. Sensors Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	J	`jnl`	2Faces: a new model of malware based on dynamic compiling and reflection. J. Comput. Virol. Hacking Tech. Rosangela Casolare, Giovanni Lacava, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone
2022	B	`conf`	A Method for Intrusion Detection in Smart Grid. KES Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	C	`conf`	A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning. SECRYPT Giuseppe Crincoli, Fabiana Fierro, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	B	`conf`	A Model Checking-based Approach to Malicious Family Detection in iOS Environment. KES Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	C	`conf`	A Real-time Method for CAN Bus Intrusion Detection by Means of Supervised Machine Learning. SECRYPT Francesco Mercaldo, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Ranieri, Antonella Santone
2022	J	`jnl`	A novel methodology for head and neck carcinoma treatment stage detection by means of model checking. Artif. Intell. Medicine Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2022	—	`conf`	Assessing Deep Learning Predictions in Image-Based Malware Detection with Activation Maps. STM Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2022	B	`conf`	Automatic Gleason Score Diagnosis with Fuzzy Classification and Radiomic Features. FUZZ-IEEE Luca Brunese, Francesco Mercaldo, Antonella Santone
2022	B	`conf`	Blood Cells Counting and Localisation through Deep Learning Object Detection. IEEE Big Data Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Mario Cesarelli
2022	C	`conf`	COVID-19 Detection from Cough Recording by means of Explainable Deep Learning. ICMLA Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tavone
2022	C	`conf`	Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning. ICMLA Giovanni Ciaramella, Stefano Fagnano, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	B	`conf`	Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning: A Proposal. IEEE Big Data Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	C	`conf`	Deep Learning for Heartbeat Phonocardiogram Signals Explainable Classification. BIBE Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	C	`conf`	Deep learning for blood cells classification and localisation. ICMV Francesco Mercaldo, Mario Cesarelli, Fabio Martinelli, Antonella Santone
2022	A	`conf`	Designing Robust Deep Learning Classifiers for Image-based Malware Analysis. ICDCS Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2022	J	`jnl`	Driver Identification Through Formal Methods. IEEE Trans. Intell. Transp. Syst. Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2022	B	`conf`	Drone Audio recognition based on Machine Learning Techniques. KES Giovanni Lacava, Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Mario Pizzi
2022	—	`conf`	Emotion Recognition from Facial Expression using Explainable Deep Learning. DASC/PiCom/CBDCom/CyberSciTech Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	J	`jnl`	Explainability of radiomics through formal methods. Comput. Methods Programs Biomed. Giulia Varriano, Pasquale Guerriero, Antonella Santone, Francesco Mercaldo, Luca Brunese
2022	A	`conf`	Explainable Deep Learning Methodologies for Biomedical Images Classification. ICDCS Marcello Di Giammarco, Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2022	—	`conf`	Explainable Deep Learning for Alzheimer Disease Classification and Localisation. AII Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Fabrizio Ravelli, Antonella Santone
2022	B	`conf`	Explainable Retinopathy Diagnosis and Localisation by means of Class Activation Mapping. IJCNN Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	J	`jnl`	FABNet: Fusion Attention Block and Transfer Learning for Laryngeal Cancer Tumor Grading in P63 IHC Histopathology Images. IEEE J. Biomed. Health Informatics Pan Huang, Xiaoheng Tan, Xiaoli Zhou, Shuxian Liu, Francesco Mercaldo, Antonella Santone
2022	J	`jnl`	Formal Equivalence Checking for Mobile Malware Detection and Family Classification. IEEE Trans. Software Eng. Francesco Mercaldo, Antonella Santone
2022	B	`conf`	High Grade Brain Cancer Segmentation by means of Deep Learning. KES Marcello Di Giammarco, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	B	`conf`	Introducing Quantum Computing in Mobile Malware Detection. ARES Giovanni Ciaramella, Giacomo Iadarola, Francesco Mercaldo, Marco Storto, Antonella Santone, Fabio Martinelli
2022	C	`conf`	Machine Learning for Uterine Cervix Screening. BIBE Francesco Mercaldo, Xiaoli Zhou, Pan Huang, Fabio Martinelli, Antonella Santone
2022	J	`jnl`	Machine Learning on Soccer Player Positions. Int. J. Decis. Support Syst. Technol. Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone, Giovanni Capobianco
2022	C	`conf`	On the Influence of Image Settings in Deep Learning-based Malware Detection. ICISSP Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Vinod P.
2022	B	`conf`	On the Resilience of Shallow Machine Learning Classification in Image-based Malware Detection. KES Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tommasone
2022	B	`conf`	Smart Grid monitoring through Deep Learning for Image-based Automatic Dial Meter Reading. IEEE Big Data Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2022	—	`conf`	Timed Automata Networks for SCADA Attacks Real-Time Mitigation. KES-IDT Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2022	—	`conf`	Vulnerable Smart Contract Detection by Means of Model Checking. BSCI Giuseppe Crincoli, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	B	`conf`	A Method for Automatic Penetration Testing and Mitigation: A KES Eric Filiol, Francesco Mercaldo, Antonella Santone
2021	—	`conf`	A Methodology based on Formal Methods for Thermal Ablation Area Detection. BIOINFORMATICS Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli
2021	B	`conf`	A Proposal to Ensure Social Distancing with Deep Learning-based Object Detection. IJCNN Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2021	B	`conf`	A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning. IJCNN Giacomo Iadarola, Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone
2021	B	`conf`	Android Collusion Detection by means of Audio Signal Analysis with Machine Learning techniques. KES Rosangela Casolare, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	J	`jnl`	Audio signal processing for Android malware detection and family identification. J. Comput. Virol. Hacking Tech. Francesco Mercaldo, Antonella Santone
2021	—	`conf`	Automated Intention Mining with Comparatively Fine-tuning BERT. NLPIR Xuan Sun, Luqun Li, Francesco Mercaldo, Yichen Yang, Antonella Santone, Fabio Martinelli
2021	J	`jnl`	CAN-Bus Attack Detection With Deep Learning. IEEE Trans. Intell. Transp. Syst. Flora Amato, Luigi Coppolino, Francesco Mercaldo, Francesco Moscato, Roberto Nardone, Antonella Santone
2021	C	`conf`	Colluding Covert Channel for Malicious Information Exfiltration in Android Environment. ICISSP Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	B	`conf`	Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment. KES Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	J	`jnl`	Dynamic Mobile Malware Detection through System Call-based Image representation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Rosangela Casolare, Carlo De Dominicis, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	J	`jnl`	Editorial. J. Comput. Virol. Hacking Tech. Antonella Santone
2021	B	`conf`	Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment. KES Umberto Di Giacomo, Rosangela Casolare, Oliver Eigner, Fabio Martinelli, Francesco Mercaldo, Torsten Priebe, Antonella Santone
2021	C	`conf`	Mobile Family Detection through Audio Signals Classification. SECRYPT Rosangela Casolare, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	—	`conf`	Perturbation of Image-based Malware Detection with Smali level morphing techniques. ISPA/BDCloud/SocialCom/SustainCom Federico Gerardi, Giacomo Iadarola, Fabio Martinelli, Antonella Santone, Francesco Mercaldo
2021	B	`conf`	SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications. ARES Rosangela Casolare, Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	B	`conf`	Thermal Ablation Treatment Detection by means of Machine Learning. IJCNN Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli
2021	J	`jnl`	Towards an interpretable deep learning model for mobile malware detection and family identification. Comput. Secur. Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2021	J	`jnl`	Transfer learning for mobile real-time face mask detection and localization. J. Am. Medical Informatics Assoc. Francesco Mercaldo, Antonella Santone
2021	B	`conf`	Vulnerability Evaluation of Android Malware Detectors against Adversarial Examples. KES Ijas Ah, Vinod P., Akka Zemmari, Harikrishnan D, Godvin Poulose, Don Jose, Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2020	C	`conf`	Accidental Sensitive Data Leaks Prevention via Formal Verification. ICISSP Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	An ensemble learning approach for brain cancer detection exploiting radiomic features. Comput. Methods Programs Biomed. Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2020	J	`jnl`	Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences. Inf. Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	C	`conf`	Android Run-time Permission Exploitation User Awareness by Means of Formal Methods. ICISSP Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Anomaly detection in substation networks. J. Inf. Secur. Appl. Philipp Kreimel, Oliver Eigner, Francesco Mercaldo, Antonella Santone, Paul Tavolato
2020	J	`jnl`	BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes. Ind. Manag. Data Syst. Domenico Raucci, Antonella Santone, Francesco Mercaldo, Tomasz Dyczkowski
2020	C	`conf`	Bank Credit Risk Management based on Data Mining Techniques. ICISSP Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone
2020	B	`conf`	Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. AINA Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	—	`conf`	Colluding Android Apps Detection via Model Checking. AINA Workshops Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2020	J	`jnl`	DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification. Knowl. Based Syst. Longquan Jiang, Xuan Sun, Francesco Mercaldo, Antonella Santone
2020	B	`conf`	Deep learning for heart disease detection through cardiac sounds. KES Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Deep learning for image-based mobile malware detection. J. Comput. Virol. Hacking Tech. Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Editorial. J. Comput. Virol. Hacking Tech. Antonella Santone
2020	B	`conf`	Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. IJCNN Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone
2020	—	`conf`	Evaluating Deep Learning Classification Reliability in Android Malware Family Detection. ISSRE Workshops Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays. Comput. Methods Programs Biomed. Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2020	J	`jnl`	Extended pointers for memory protection in single address space systems. Comput. Electr. Eng. Lanfranco Lopriore, Antonella Santone
2020	B	`conf`	Hourly Global Solar Radiation Reconstruction Applying Machine Learning. IJCNN Francesco Mercaldo, Antonella Santone, Francesco Tariello, Giuseppe Peter Vanoli
2020	J	`jnl`	Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah
2020	B	`conf`	Identify Potential Attacks from Simulated Log Analysis. IJCNN Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone
2020	C	`conf`	Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques. IoTBDS Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	B	`conf`	Lung Cancer Detection and Characterisation through Genomic and Radiomic Biomarkers. IJCNN Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2020	—	`conf`	Machine Learning for Driver Detection through CAN bus. VTC Spring Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	B	`conf`	Machine learning for coronavirus covid-19 detection from chest x-rays. KES Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	B	`conf`	Malicious Collusion Detection in Mobile Environment by means of Model Checking. IJCNN Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Model checking and machine learning techniques for Simul. Model. Pract. Theory Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2020	J	`jnl`	Model checking for malicious family detection and phylogenetic analysis in mobile environment. Comput. Secur. Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini
2020	—	`conf`	Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques. AINA Workshops Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone
2020	J	`jnl`	Radiomics for Gleason Score Detection through Deep Learning. Sensors Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2020	J	`jnl`	Timed Automata for Mobile Ransomware Detection. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2020	—	`conf`	Towards the Use of Generative Adversarial Neural Networks to Attack Online Resources. AINA Workshops Lelio Campanile, Mauro Iacono, Fabio Martinelli, Fiammetta Marulli, Michele Mastroianni, Francesco Mercaldo, Antonella Santone
2020	B	`conf`	VisualDroid: automatic triage and detection of Android repackaged applications. ARES Rosangela Casolare, Carlo De Dominicis, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2020	J	`jnl`	Visualizing the outcome of dynamic analysis of Android malware with VizMal. J. Inf. Secur. Appl. Andrea De Lorenzo, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Antonella Santone
2019	J	`jnl`	A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
2019	B	`conf`	A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods. KES Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2019	A	`conf`	A Data Life Cycle Modeling Proposal by Means of Formal Methods. AsiaCCS Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	—	`conf`	A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking. IEEE BigData Giovanni Capobianco, Umberto Di Giacomo, Tommaso Di Tusa, Francesco Mercaldo, Antonella Santone
2019	—	`conf`	A Model Checking based Proposal for Mobile Colluding Attack Detection. IEEE BigData Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	—	`conf`	Can Machine Learning Predict Soccer Match Results? ICAART (2) Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2019	B	`conf`	Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics. IJCNN Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	B	`conf`	Energy Consumption Metrics for Mobile Device Dynamic Malware Detection. KES Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	B	`conf`	Exploiting Model Checking for Mobile Botnet Detection. KES Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2019	—	`conf`	Formal Methods for Android Banking Malware Analysis and Detection. IoTSMS Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	B	`conf`	Formal Modeling for Magnetic Resonance Images Tamper Mitigation. KES Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2019	C	`conf`	Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. WETICE Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone
2019	B	`conf`	Investigating Mobile Applications Quality in Official and Third-party Marketplaces. ENASE Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	J	`jnl`	LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2019	B	`conf`	Machine Learning to Identify Gender via Hair Elements. IJCNN Pasquale Avino, Francesco Mercaldo, Vittoria Nardone, Ivan Notardonato, Antonella Santone
2019	J	`jnl`	Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
2019	J	`jnl`	Model Checking Techniques Applied to Satellite Operational Mode Management. IEEE Syst. J. Vittoria Nardone, Antonella Santone, Massimo Tipaldi, Davide Liuzza, Luigi Glielmo
2019	B	`conf`	Model Checking for Data Anomaly Detection. KES Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	Misc	`conf`	Model Checking to Detect the Hummingbad Malware. IDC Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2019	B	`conf`	Neural Networks for Lung Cancer Detection through Radiomic Features. IJCNN Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2019	J	`jnl`	Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification. IEEE Access Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2019	J	`jnl`	Protected pointers to specify access privileges in distributed systems. J. Parallel Distributed Comput. Lanfranco Lopriore, Antonella Santone
2019	B	`conf`	Radiomic Features for Medical Images Tamper Detection by Equivalence Checking. KES Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
2019	C	`conf`	Real-Time SCADA Attack Detection by Means of Formal Methods. WETICE Francesco Mercaldo, Fabio Martinelli, Antonella Santone
2019	B	`conf`	Social Network Polluting Contents Detection through Deep Learning Techniques. IJCNN Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2019	C	`conf`	Spyware Detection using Temporal Logic. ICISSP Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2019	—	`conf`	User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal. IEEE BigData Fabio Di Tommaso, Michele Guerra, Fabio Martinelli, Francesco Mercaldo, Massimo Piedimonte, Giovanni Rosa, Antonella Santone
2019	C	`conf`	Wearable Devices for Human Activity Recognition and User Detection. PDP Giovanni Capobianco, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2018	—	`conf`	A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment. IEEE BigData Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone
2018	C	`conf`	Cluster Analysis for Driver Aggressiveness Identification. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
2018	—	`conf`	Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
2018	—	`conf`	Data Leakage in Java Applets with Exception Mechanism. ITASEC Cinzia Bernardeschi, Paolo Masci, Antonella Santone
2018	J	`jnl`	Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile
2018	—	`conf`	Measuring Mobile Applications Quality and Security in Higher Education. IEEE BigData Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
2018	—	`conf`	Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2018	C	`conf`	Safety Critical Systems Formal Verification Using Execution Traces. WETICE Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
2018	J	`jnl`	Special issue on formal methods for security engineering. J. Comput. Virol. Hacking Tech. Antonella Santone
2018	J	`jnl`	Talos: no more ransomware victims with formal methods. Int. J. Inf. Sec. Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2018	C	`conf`	Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
2017	B	`conf`	Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	B	`conf`	Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. KES Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	C	`conf`	Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	A	`conf`	How Discover a Malware using Model Checking. AsiaCCS Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	C	`conf`	Identifying Mobile Repackaged Applications through Formal Methods. ICISSP Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2017	B	`conf`	Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2017	—	`conf`	Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini
2016	—	`conf`	Conformance Checking using Formal Methods. ICSOFT-EA Antonella Santone, Gigliola Vaglini
2016	—	`conf`	Download malware? no, thanks: how formal methods can block update attacks. FormaliSE@ICSE Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2016	J	`jnl`	Heuristic search for equivalence checking. Softw. Syst. Model. Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
2016	C	`conf`	Hey Malware, I Can Find You! WETICE Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2016	C	`conf`	Identification of Android Malware Families with Model Checking. ICISSP Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2016	C	`conf`	Model Checking to Support Action Controls in the Purchasing Process. WETICE Vittoria Nardone, Domenico Raucci, Antonella Santone
2016	B	`conf`	Ransomware Inside Out. ARES Francesco Mercaldo, Vittoria Nardone, Antonella Santone
2016	C	`conf`	Ransomware Steals Your Phone. Formal Methods Rescue It. FORTE Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
2015	C	`conf`	Analysing Wiki Quality Using Probabilistic Model Checking. WETICE Giuseppe De Ruvo, Antonella Santone
2015	C	`conf`	Equivalence-Based Selection of Best-Fit Models to Support Wiki Design. WETICE Giuseppe De Ruvo, Antonella Santone
2015	—	`conf`	Improving Design Patterns Finder Precision Using a Model Checking Approach. CAiSE Forum Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone
2015	—	`conf`	Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. FormaliSE@ICSE Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone
2015	—	`conf`	Integrating Model Driven and Model Checking to Mine Design Patterns. ICSOFT (Selected Papers) Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone
2015	—	`conf`	Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. ICSOFT-PT Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone
2015	—	`conf`	k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. FACS Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini
2014	C	`conf`	A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis. WETICE Giuseppe De Ruvo, Antonella Santone
2014	C	`conf`	An Eclipse-Based Editor to Support LOTOS Newcomers. WETICE Giuseppe De Ruvo, Antonella Santone
2014	J	`jnl`	CD-Form: A clone detector based on formal methods. Sci. Comput. Program. Antonio Cuomo, Antonella Santone, Umberto Villano
2014	J	`jnl`	GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini
2014	J	`jnl`	Model Checking Properties on Reduced Trace Systems. Algorithms Antonella Santone, Gigliola Vaglini
2014	B	`conf`	Powerful Equivalence Checking in the Bank Supply Process. SERVICES Giuseppe De Ruvo, Antonella Santone, Domenico Raucci
2013	C	`conf`	Application of Equivalence Checking in a Loan Origination Process in Banking Industry. WETICE Antonella Santone, Valentina Intilangelo, Domenico Raucci
2013	B	`conf`	Efficient Formal Verification in Banking Processes. SERVICES Antonella Santone, Valentina Intilangelo, Domenico Raucci
2013	J	`jnl`	Incremental construction of systems: An efficient characterization of the lacking sub-system. Sci. Comput. Program. Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
2013	—	`conf`	Infer gene regulatory networks from time series data with formal methods. BIBM Michele Ceccarelli, Luigi Cerulo, Antonella Santone
2013	C	`conf`	Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. ICSOFT Antonella Santone, Gigliola Vaglini
2012	—	`conf`	A novel approach based on formal methods for clone detection. IWSC Antonio Cuomo, Antonella Santone, Umberto Villano
2012	J	`jnl`	Abstract reduction in directed model checking CCS processes. Acta Informatica Antonella Santone, Gigliola Vaglini
2012	C	`conf`	Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. ICSOFT Antonella Santone, Gigliola Vaglini
2011	B	`conf`	Ant Colony Optimization for Deadlock Detection in Concurrent Systems. COMPSAC Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
2011	—	`conf`	Clone detection through process algebras and Java bytecode. IWSC Antonella Santone
2009	—	`conf`	A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
2009	—	`conf`	Abstracting Models from Execution Traces for Performing Formal Verification. FGIT-ASEA Thierry Bodhuin, Federico Pagnozzi, Antonella Santone, Maria Tortorella, Maria Luisa Villani
2009	—	`conf`	Applying Formal Methods to Process Innovation. FGIT-ASEA Antonella Santone, Maria Tortorella
2008	J	`jnl`	Modular formal verification of specifications of concurrent systems. Softw. Test. Verification Reliab. Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
2007	J	`jnl`	A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
2007	—	`conf`	Discovery of SOA patterns via model checking. IW-SOSWE Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani
2006	J	`jnl`	DELFIN J. Comput. Syst. Sci. Sara Gradara, Antonella Santone, Maria Luisa Villani
2006	—	`conf`	Formal Verification of Concurrent Systems via Directed Model Checking. AVoCS Sara Gradara, Antonella Santone, Maria Luisa Villani
2005	J	`jnl`	A local approach for temporal model checking of Java bytecode. J. Comput. Syst. Sci. Antonella Santone, Gigliola Vaglini
2005	J	`jnl`	Compositionality and locality for improving model checking in the selective mu-calculus. Sci. Comput. Program. Antonella Santone, Gigliola Vaglini
2005	J	`jnl`	Reduced Models for Efficient CCS Verification. Formal Methods Syst. Des. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
2005	J	`jnl`	Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput. Sara Gradara, Antonella Santone, Maria Luisa Villani
2004	J	`jnl`	Formula-based abstractions and symbolic execution for model checking programs. Microprocess. Microsystems Antonella Santone, Gigliola Vaglini
2004	—	`conf`	Model Checking Multithreaded Programs by Means of Reduced Models. LDTA@ETAPS Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
2003	J	`jnl`	Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Informaticae Nicoletta De Francesco, Antonella Santone, Luca Tesei
2003	J	`jnl`	Heuristic Search + Local Model Checking in Selective mu-Calculus. IEEE Trans. Software Eng. Antonella Santone
2003	J	`jnl`	Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. J. Autom. Reason. Antonella Santone, Gigliola Vaglini
2002	J	`jnl`	A Formula-Driven Modular Attack on State Explosion. Int. J. Found. Comput. Sci. Nicoletta De Francesco, Antonella Santone
2002	J	`jnl`	A Notion of Non-Interference for Timed Automata. Fundam. Informaticae Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
2002	B	`conf`	A Tableau-Based Procedure for Model Checking Programs. COMPSAC Antonella Santone, Gigliola Vaglini
2002	J	`jnl`	A tool supporting efficient model checking of concurrent specifications. Microprocess. Microsystems Nicoletta De Francesco, Antonella Santone
2002	J	`jnl`	Automatic verification of concurrent systems using a formula-based compositional approach. Acta Informatica Antonella Santone
2002	J	`jnl`	Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test. Verification Reliab. Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
2002	C	`conf`	Local model checking of Java bytecode. SEKE Antonella Santone, Gigliola Vaglini
2002	J	`jnl`	Syntactic reductions for efficient deadlock analysis. Softw. Test. Verification Reliab. Nicoletta De Francesco, Antonella Santone
2001	J	`jnl`	Efficient Verification of a Multicast Protocol for Mobile Computing. Comput. J. Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone
2001	J	`jnl`	Reusing LOTOS specifications. Microprocess. Microsystems Antonella Santone, Gigliola Vaglini
2000	C	`conf`	Compositionality for Improving Model Checking. FORTE Antonella Santone
2000	J	`jnl`	Logic Based Abstractions of Real-Time Systems. Formal Methods Syst. Des. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1999	J	`jnl`	Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1999	—	`conf`	Formula Based Abstractions of Transition Systems for Real-Time Model Checking. World Congress on Formal Methods Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1999	J	`jnl`	LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw. Pract. Exp. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1999	J	`jnl`	Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. J. Comput. Syst. Sci. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1998	J	`jnl`	A Transformation System for Concurrent Processes. Acta Informatica Nicoletta De Francesco, Antonella Santone
1998	J	`jnl`	State Space Reduction by Non-Standard Semantics for Deadlock Analysis. Sci. Comput. Program. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1998	J	`jnl`	Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone
1997	J	`jnl`	Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Informatica Roberto Barbuti, Nicoletta De Francesco, Antonella Santone
1997	C	`conf`	Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1996	—	`conf`	A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
1996	—	`conf`	Unfold/Fold Transformations of Concurrent Processes. PLILP Nicoletta De Francesco, Antonella Santone
1995	B	`conf`	Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP Roberto Barbuti, Nicoletta De Francesco, Antonella Santone