Works by Santone, Antonella

Results: 63

A Method for Polyp Segmentation Through U-Net Network.

Published in:

Bioengineering (Basel), 2025, v. 12, n. 3, p. 236, doi. 10.3390/bioengineering12030236

By:

Santone, Antonella;
Cesarelli, Mario;
Mercaldo, Francesco

Publication type:

Article

A Method for Real-Time Lung Nodule Instance Segmentation Using Deep Learning.

Published in:

Life (2075-1729), 2024, v. 14, n. 9, p. 1192, doi. 10.3390/life14091192

By:

Santone, Antonella;
Mercaldo, Francesco;
Brunese, Luca

Publication type:

Article

Artificial Intelligence to Early Predict Liver Metastases in Patients with Colorectal Cancer: Current Status and Future Prospectives.

Published in:

Life (2075-1729), 2023, v. 13, n. 10, p. 2027, doi. 10.3390/life13102027

By:

Avella, Pasquale;
Cappuccio, Micaela;
Cappuccio, Teresa;
Rotondo, Marco;
Fumarulo, Daniela;
Guerra, Germano;
Sciaudone, Guido;
Santone, Antonella;
Cammilleri, Francesco;
Bianco, Paolo;
Brunese, Maria Chiara

Publication type:

Article

Abstract reduction in directed model checking CCS processes.

Published in:

Acta Informatica, 2012, v. 49, n. 5, p. 313, doi. 10.1007/s00236-012-0161-3

By:

Santone, Antonella;
Vaglini, Gigliola

Publication type:

Article

Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences†.

Published in:

Information (2078-2489), 2020, v. 11, n. 6, p. 304, doi. 10.3390/info11060304

By:

Casolare, Rosangela;
Martinelli, Fabio;
Mercaldo, Francesco;
Santone, Antonella

Publication type:

Article

Diabetic retinopathy detection and diagnosis by means of robust and explainable convolutional neural networks.

Published in:

Neural Computing & Applications, 2023, v. 35, n. 23, p. 17429, doi. 10.1007/s00521-023-08608-8

By:

Mercaldo, Francesco;
Di Giammarco, Marcello;
Apicella, Arianna;
Di Iadarola, Giacomo;
Cesarelli, Mario;
Martinelli, Fabio;
Santone, Antonella

Publication type:

Article

Deep Convolutional Generative Adversarial Networks in Image-Based Android Malware Detection.

Published in:

Computers (2073-431X), 2024, v. 13, n. 6, p. 154, doi. 10.3390/computers13060154

By:

Mercaldo, Francesco;
Martinelli, Fabio;
Santone, Antonella

Publication type:

Article

ASI-DBNet: An Adaptive Sparse Interactive ResNet-Vision Transformer Dual-Branch Network for the Grading of Brain Cancer Histopathological Images.

Published in:

Interdisciplinary Sciences: Computational Life Sciences, 2023, v. 15, n. 1, p. 15, doi. 10.1007/s12539-022-00532-0

By:

Zhou, Xiaoli;
Tang, Chaowei;
Huang, Pan;
Tian, Sukun;
Mercaldo, Francesco;
Santone, Antonella

Publication type:

Article

LPCANet: Classification of Laryngeal Cancer Histopathological Images Using a CNN with Position Attention and Channel Attention Mechanisms.

Published in:

Interdisciplinary Sciences: Computational Life Sciences, 2021, v. 13, n. 4, p. 666, doi. 10.1007/s12539-021-00452-5

By:

Zhou, Xiaoli;
Tang, Chaowei;
Huang, Pan;
Mercaldo, Francesco;
Santone, Antonella;
Shao, Yanqing

Publication type:

Article

Model Checking Based Approach for Compliance Checking.

Published in:

Information Technology & Control, 2019, v. 48, n. 2, p. 278, doi. 10.5755/j01.itc.48.2.21724

By:

Martinelli, Fabio;
Mercaldo, Francesco;
Nardone, Vittoria;
Orlando, Albina;
Santone, Antonella;
Vaglini, Gigliola

Publication type:

Article

Transfer learning for mobile real-time face mask detection and localization.

Published in:

2021

By:

Mercaldo, Francesco;
Santone, Antonella

Publication type:

journal article

Automatic verification of concurrent systems using a formula-based compositional approach.

Published in:

Acta Informatica, 2002, v. 38, n. 8, p. 531, doi. 10.1007/s00236-002-0084-5

By:

Santone, Antonella

Publication type:

Article

A transformation system for concurrent processes.

Published in:

Acta Informatica, 1998, v. 35, n. 12, p. 1037, doi. 10.1007/s002360050151

By:

De Francesco, Nicoletta;
Santone, Antonella

Publication type:

Article

A Formula-Driven Modular Attack on State Explosion.

Published in:

International Journal of Foundations of Computer Science, 2002, v. 13, n. 5, p. 719, doi. 10.1142/S0129054102001412

By:

Francesco, Nicoletta De;
Santone, Antonella

Publication type:

Article

Editorial: Incorporation of reporting and data systems into cancer radiology.

Published in:

Frontiers in Oncology, 2023, v. 13, p. 1, doi. 10.3389/fonc.2023.1171171

By:

López-Larrubia, Pilar;
Santone, Antonella

Publication type:

Article

Modular formal verification of specifications of concurrent systems.

Published in:

Software Testing: Verification & Reliability, 2008, v. 18, n. 1, p. 5, doi. 10.1002/stvr.371

By:

Gradara, Sara;
Santone, Antonella;
Vaglini, Gigliola;
Villani, Maria Luisa

Publication type:

Article

Syntactic reductions for efficient deadlock analysis.

Published in:

Software Testing: Verification & Reliability, 2002, v. 12, n. 3, p. 173, doi. 10.1002/stvr.252

By:

De Francesco, Nicoletta;
Santone, Antonella

Publication type:

Article

Efficient model checking of properties of a distributed application: a multimedia case study.

Published in:

Software Testing: Verification & Reliability, 2002, v. 12, n. 1, p. 3, doi. 10.1002/stvr.222

By:

Mazzocca, Nicola;
Santone, Antonella;
Vaglini, Gigliola;
Vittorini, Valeria

Publication type:

Article

Heuristic Search + Local Model Checking in Selective mu-Calculus.

Published in:

IEEE Transactions on Software Engineering, 2003, v. 29, n. 6, p. 510, doi. 10.1109/TSE.2003.1205179

By:

Santone, Antonella

Publication type:

Article

A Method for Retina Segmentation by Means of U-Net Network.

Published in:

Electronics (2079-9292), 2024, v. 13, n. 22, p. 4340, doi. 10.3390/electronics13224340

By:

Santone, Antonella;
De Vivo, Rosamaria;
Recchia, Laura;
Cesarelli, Mario;
Mercaldo, Francesco

Publication type:

Article

Toward the Adoption of Explainable Pre-Trained Large Language Models for Classifying Human-Written and AI-Generated Sentences.

Published in:

Electronics (2079-9292), 2024, v. 13, n. 20, p. 4057, doi. 10.3390/electronics13204057

By:

Petrillo, Luca;
Martinelli, Fabio;
Santone, Antonella;
Mercaldo, Francesco

Publication type:

Article

A Method for Ocular Disease Diagnosis through Visual Prediction Explainability.

Published in:

Electronics (2079-9292), 2024, v. 13, n. 14, p. 2706, doi. 10.3390/electronics13142706

By:

Santone, Antonella;
Cesarelli, Mario;
Colasuonno, Emanuella;
Bevilacqua, Vitoantonio;
Mercaldo, Francesco

Publication type:

Article

Evaluating Deep Learning Resilience in Retinal Fundus Classification with Generative Adversarial Networks Generated Images.

Published in:

Electronics (2079-9292), 2024, v. 13, n. 13, p. 2631, doi. 10.3390/electronics13132631

By:

Di Giammarco, Marcello;
Santone, Antonella;
Cesarelli, Mario;
Martinelli, Fabio;
Mercaldo, Francesco

Publication type:

Article

An Explainable Method for Lung Cancer Detection and Localisation from Tissue Images through Convolutional Neural Networks.

Published in:

Electronics (2079-9292), 2024, v. 13, n. 7, p. 1393, doi. 10.3390/electronics13071393

By:

Mercaldo, Francesco;
Tibaldi, Myriam Giusy;
Lombardi, Lucia;
Brunese, Luca;
Santone, Antonella;
Cesarelli, Mario

Publication type:

Article

Detection of Malicious Software by Analyzing Distinct Artifacts Using Machine Learning and Deep Learning Algorithms.

Published in:

Electronics (2079-9292), 2021, v. 10, n. 14, p. 1694, doi. 10.3390/electronics10141694

By:

Ashik, Mathew;
Jyothish, A.;
Anandaram, S.;
Vinod, P.;
Mercaldo, Francesco;
Martinelli, Fabio;
Santone, Antonella

Publication type:

Article

Neural Networks for Driver Behavior Analysis.

Published in:

Electronics (2079-9292), 2021, v. 10, n. 3, p. 342, doi. 10.3390/electronics10030342

By:

Martinelli, Fabio;
Marulli, Fiammetta;
Mercaldo, Francesco;
Santone, Antonella;
Papadopoulos, George Angelos;
Mehmood, Rashid

Publication type:

Article

Alzheimer's Disease Evaluation Through Visual Explainability by Means of Convolutional Neural Networks.

Published in:

International Journal of Neural Systems, 2024, v. 34, n. 2, p. 1, doi. 10.1142/S0129065724500072

By:

Mercaldo, Francesco;
Di Giammarco, Marcello;
Ravelli, Fabrizio;
Martinelli, Fabio;
Santone, Antonella;
Cesarelli, Mario

Publication type:

Article

MR_NET: A Method for Breast Cancer Detection and Localization from Histological Images Through Explainable Convolutional Neural Networks.

Published in:

Sensors (14248220), 2024, v. 24, n. 21, p. 7022, doi. 10.3390/s24217022

By:

Catalano, Rachele;
Tibaldi, Myriam Giusy;
Lombardi, Lucia;
Santone, Antonella;
Cesarelli, Mario;
Mercaldo, Francesco

Publication type:

Article

Explainable Convolutional Neural Networks for Brain Cancer Detection and Localisation.

Published in:

Sensors (14248220), 2023, v. 23, n. 17, p. 7614, doi. 10.3390/s23177614

By:

Mercaldo, Francesco;
Brunese, Luca;
Martinelli, Fabio;
Santone, Antonella;
Cesarelli, Mario

Publication type:

Article

Water Meter Reading for Smart Grid Monitoring.

Published in:

Sensors (14248220), 2023, v. 23, n. 1, p. 75, doi. 10.3390/s23010075

By:

Martinelli, Fabio;
Mercaldo, Francesco;
Santone, Antonella

Publication type:

Article

Radiomics for Gleason Score Detection through Deep Learning.

Published in:

Sensors (14248220), 2020, v. 20, n. 18, p. 5411, doi. 10.3390/s20185411

By:

Brunese, Luca;
Mercaldo, Francesco;
Reginelli, Alfonso;
Santone, Antonella

Publication type:

Article

Heuristic search for equivalence checking.

Published in:

Software & Systems Modeling, 2016, v. 15, n. 2, p. 513, doi. 10.1007/s10270-014-0416-2

By:

Francesco, Nicoletta;
Lettieri, Giuseppe;
Santone, Antonella;
Vaglini, Gigliola

Publication type:

Article

A "pay-how-you-drive" car insurance approach through cluster analysis.

Published in:

Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2019, v. 23, n. 9, p. 2863, doi. 10.1007/s00500-018-3274-y

By:

Carfora, Maria Francesca;
Martinelli, Fabio;
Mercaldo, Francesco;
Nardone, Vittoria;
Orlando, Albina;
Santone, Antonella;
Vaglini, Gigliola

Publication type:

Article

An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis.

Published in:

Scientific Reports, 2024, v. 14, n. 1, p. 1, doi. 10.1038/s41598-024-69392-6

By:

Varriano, Giulia;
Nardone, Vittoria;
Brunese, Maria Chiara;
Bruno, Michela;
Santone, Antonella;
Brunese, Luca;
Zappia, Marcello

Publication type:

Article

Colon cancer diagnosis by means of explainable deep learning.

Published in:

Scientific Reports, 2024, v. 14, n. 1, p. 1, doi. 10.1038/s41598-024-63659-8

By:

Di Giammarco, Marcello;
Martinelli, Fabio;
Santone, Antonella;
Cesarelli, Mario;
Mercaldo, Francesco

Publication type:

Article

Detecting Colluding Inter-App Communication in Mobile Environment.

Published in:

Applied Sciences (2076-3417), 2020, v. 10, n. 23, p. 8351, doi. 10.3390/app10238351

By:

Casolare, Rosangela;
Martinelli, Fabio;
Mercaldo, Francesco;
Santone, Antonella

Publication type:

Article

Call Graph and Model Checking for Fine-Grained Android Malicious Behaviour Detection.

Published in:

Applied Sciences (2076-3417), 2020, v. 10, n. 22, p. 7975, doi. 10.3390/app10227975

By:

Iadarola, Giacomo;
Martinelli, Fabio;
Mercaldo, Francesco;
Santone, Antonella

Publication type:

Article

Explainable Security Requirements Classification Through Transformer Models.

Published in:

Future Internet, 2025, v. 17, n. 1, p. 15, doi. 10.3390/fi17010015

By:

Petrillo, Luca;
Martinelli, Fabio;
Santone, Antonella;
Mercaldo, Francesco

Publication type:

Article

Extreme Learning Machine for Biomedical Image Classification: A Multi-Case Study.

Published in:

EAI Endorsed Transactions on Pervasive Health & Technology, 2024, v. 10, n. 1, p. 1, doi. 10.4108/eetpht.10.5542

By:

Mercaldo, Francesco;
Brunese, Luca;
Santone, Antonella;
Martinelli, Fabio;
Cesarelli, Mario

Publication type:

Article

Early Diagnosis of Liver Metastases from Colorectal Cancer through CT Radiomics and Formal Methods: A Pilot Study.

Published in:

2022

By:

Rocca, Aldo;
Brunese, Maria Chiara;
Santone, Antonella;
Avella, Pasquale;
Bianco, Paolo;
Scacchi, Andrea;
Scaglione, Mariano;
Bellifemine, Fabio;
Danzi, Roberta;
Varriano, Giulia;
Vallone, Gianfranco;
Calise, Fulvio;
Brunese, Luca

Publication type:

Abstract

Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods.

Published in:

JAMIA Open, 2023, v. 6, n. 2, p. 1, doi. 10.1093/jamiaopen/ooad025

By:

Casale, Roberto;
Varriano, Giulia;
Santone, Antonella;
Messina, Carmelo;
Casale, Chiara;
Gitto, Salvatore;
Sconfienza, Luca Maria;
Bali, Maria Antonietta;
Brunese, Luca

Publication type:

Article

Explainable and Robust Deep Learning for Liver Segmentation Through U-Net Network.

Published in:

Diagnostics (2075-4418), 2025, v. 15, n. 7, p. 878, doi. 10.3390/diagnostics15070878

By:

Brunese, Maria Chiara;
Rocca, Aldo;
Santone, Antonella;
Cesarelli, Mario;
Brunese, Luca;
Mercaldo, Francesco

Publication type:

Article

Combining Postural Sway Parameters and Machine Learning to Assess Biomechanical Risk Associated with Load-Lifting Activities.

Published in:

Diagnostics (2075-4418), 2025, v. 15, n. 1, p. 105, doi. 10.3390/diagnostics15010105

By:

Prisco, Giuseppe;
Pirozzi, Maria Agnese;
Santone, Antonella;
Cesarelli, Mario;
Esposito, Fabrizio;
Gargiulo, Paolo;
Amato, Francesco;
Donisi, Leandro

Publication type:

Article

Validity of Wearable Inertial Sensors for Gait Analysis: A Systematic Review.

Published in:

2025

By:

Prisco, Giuseppe;
Pirozzi, Maria Agnese;
Santone, Antonella;
Esposito, Fabrizio;
Cesarelli, Mario;
Amato, Francesco;
Donisi, Leandro

Publication type:

Literature Review

Capability of Machine Learning Algorithms to Classify Safe and Unsafe Postures during Weight Lifting Tasks Using Inertial Sensors.

Published in:

Diagnostics (2075-4418), 2024, v. 14, n. 6, p. 576, doi. 10.3390/diagnostics14060576

By:

Prisco, Giuseppe;
Romano, Maria;
Esposito, Fabrizio;
Cesarelli, Mario;
Santone, Antonella;
Donisi, Leandro;
Amato, Francesco

Publication type:

Article

The Naples Prognostic Score Is a Useful Tool to Assess Surgical Treatment in Non-Small Cell Lung Cancer.

Published in:

Diagnostics (2075-4418), 2023, v. 13, n. 24, p. 3641, doi. 10.3390/diagnostics13243641

By:

Elia, Stefano;
Patirelis, Alexandro;
Hardavella, Georgia;
Santone, Antonella;
Carlea, Federica;
Pompeo, Eugenio

Publication type:

Article

Radiomics and Artificial Intelligence Can Predict Malignancy of Solitary Pulmonary Nodules in the Elderly.

Published in:

Diagnostics (2075-4418), 2023, v. 13, n. 3, p. 384, doi. 10.3390/diagnostics13030384

By:

Elia, Stefano;
Pompeo, Eugenio;
Santone, Antonella;
Rigoli, Rebecca;
Chiocchi, Marcello;
Patirelis, Alexandro;
Mercaldo, Francesco;
Mancuso, Leonardo;
Brunese, Luca

Publication type:

Article

Detection and Severity Classification of COVID-19 in CT Images Using Deep Learning.

Published in:

Diagnostics (2075-4418), 2021, v. 11, n. 5, p. 893, doi. 10.3390/diagnostics11050893

By:

Qiblawey, Yazan;
Tahir, Anas;
Chowdhury, Muhammad E. H.;
Khandakar, Amith;
Kiranyaz, Serkan;
Rahman, Tawsifur;
Ibtehaz, Nabil;
Mahmud, Sakib;
Maadeed, Somaya Al;
Musharavati, Farayi;
Ayari, Mohamed Arselene;
Santone, Antonella

Publication type:

Article

A Novel Computational Model for Detecting the Severity of Inflammation in Confirmed COVID-19 Patients Using Chest X-ray Images.

Published in:

Diagnostics (2075-4418), 2021, v. 11, n. 5, p. 855, doi. 10.3390/diagnostics11050855

By:

Alqahtani, Mohammed S.;
Abbas, Mohamed;
Alqahtani, Ali;
Alshahrani, Mohammad;
Alkulib, Abdulhadi;
Alelyani, Magbool;
Almarhaby, Awad;
Alsabaani, Abdullah;
Suzuki, Kenji;
Santone, Antonella

Publication type:

Article

On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis.

Published in:

Diagnostics (2075-4418), 2021, v. 11, n. 2, p. 293, doi. 10.3390/diagnostics11020293

By:

Santone, Antonella;
Belfiore, Maria Paola;
Mercaldo, Francesco;
Varriano, Giulia;
Brunese, Luca;
Soilleuxr, Elizabeth

Publication type:

Article