default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAntonella Santone
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j85]Giulia Varriano
, Vittoria Nardone, Simona Correra, Francesco Mercaldo, Antonella Santone:
An automatic radiomic-based approach for disease localization: A pilot study on COVID-19. Comput. Medical Imaging Graph. 116: 102411 (2024)- [j84]Hai He, Haibo Yang, Francesco Mercaldo, Antonella Santone, Pan Huang:
Isolation forest-voting fusion-multioutput: A stroke risk classification method based on the multidimensional output of abnormal sample detection. Comput. Methods Programs Biomed. 253: 108255 (2024) - [j83]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Deep Convolutional Generative Adversarial Networks in Image-Based Android Malware Detection. Comput. 13(6): 154 (2024) - [j82]Francesco Mercaldo, Marcello Di Giammarco, Fabrizio Ravelli, Fabio Martinelli, Antonella Santone, Mario Cesarelli:
Alzheimer's Disease Evaluation Through Visual Explainability by Means of Convolutional Neural Networks. Int. J. Neural Syst. 34(2): 2450007:1-2450007:15 (2024) - [j81]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:
MamlFormer: Priori-experience guiding transformer network via manifold adversarial multi-modal learning for laryngeal histopathological grading. Inf. Fusion 108: 102333 (2024) - [j80]Pan Huang, Hualiang Xiao, Peng He, Chentao Li, Xiaodong Guo, Sukun Tian, Peng Feng, Hu Chen, Yuchun Sun, Francesco Mercaldo, Antonella Santone, Jing Qin:
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 28(6): 3557-3570 (2024) - [j79]Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Explainable Ransomware Detection with Deep Learning Techniques. J. Comput. Virol. Hacking Tech. 20(2): 317-330 (2024) - [j78]Rosangela Casolare, Stefano Fagnano, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Picker Blinder: a framework for automatic injection of malicious inter-app communication. J. Comput. Virol. Hacking Tech. 20(2): 331-346 (2024) - [c164]Francesco Mercaldo, Luca Brunese, Mario Cesarelli, Fabio Martinelli, Antonella Santone:
Detecting Retinal Fundus Image Synthesis by Means of Generative Adversarial Network. BIOSTEC (1) 2024: 471-478 - [c163]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
DroidDefender: An Image-based Android Antimalware Proof-of-Concept. CODASPY 2024: 139-141 - [c162]Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone:
Security Policy Generation and Verification through Large Language Models: A Proposal. CODASPY 2024: 143-145 - [c161]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Evaluating the Impact of Generative Adversarial Network in Android Malware Detection. ENASE 2024: 590-597 - [c160]Francesco Mercaldo, Luca Brunese, Mario Cesarelli, Fabio Martinelli, Antonella Santone:
Spiral Drawing Test and Explainable Convolutional Neural Networks for Parkinson's Disease Detection. ICAART (2) 2024: 443-452 - [c159]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone:
An Approach for Privacy-Preserving Mobile Malware Detection Through Federated Machine Learning. ICEIS (1) 2024: 553-563 - [c158]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone:
Cybersecurity-Related Tweet Classification by Explainable Deep Learning. ICISSP 2024: 438-445 - [c157]Lucia Lombardi, Francesco Mercaldo, Antonella Santone:
Egyptian Hieroglyphs Localisation Through Object Detection. ICSOFT 2024: 434-441 - [c156]Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Leveraging Deep Learning for Intrusion Detection in IoT Through Visualized Network Data. SECRYPT 2024: 722-729 - [c155]Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
On the Adoption of Explainable Deep Learning for Image-Based Network Traffic Classification. SIMULTECH 2024: 370-377 - 2023
- [j77]Francesco Mercaldo, Marcello Di Giammarco, Fabrizio Ravelli, Fabio Martinelli, Antonella Santone, Mario Cesarelli:
TriAD: A Deep Ensemble Network for Alzheimer Classification and Localization. IEEE Access 11: 91969-91980 (2023) - [j76]Pan Huang, Xiaoli Zhou, Peng He, Peng Feng, Sukun Tian, Yuchun Sun, Francesco Mercaldo, Antonella Santone, Jing Qin, Hualiang Xiao:
Interpretable laryngeal tumor grading of histopathological images via depth domain adaptive network with integration gradient CAM and priori experience-guided attention. Comput. Biol. Medicine 154: 106447 (2023) - [j75]Francesco Mercaldo, Marcello Di Giammarco, Arianna Apicella, Giacomo Iadarola, Mario Cesarelli, Fabio Martinelli, Antonella Santone:
Diabetic retinopathy detection and diagnosis by means of robust and explainable convolutional neural networks. Neural Comput. Appl. 35(23): 17429-17441 (2023) - [j74]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Water Meter Reading for Smart Grid Monitoring. Sensors 23(1): 75 (2023) - [j73]Francesco Mercaldo, Luca Brunese, Fabio Martinelli, Antonella Santone, Mario Cesarelli:
Explainable Convolutional Neural Networks for Brain Cancer Detection and Localisation. Sensors 23(17): 7614 (2023) - [j72]Gerardo Canfora, Francesco Mercaldo, Antonella Santone:
A Novel Classification Technique based on Formal Methods. ACM Trans. Knowl. Discov. Data 17(8): 113:1-113:30 (2023) - [j71]Pan Huang, Peng He, Sukun Tian, Mingrui Ma, Peng Feng, Hualiang Xiao, Francesco Mercaldo, Antonella Santone, Jing Qin:
A ViT-AMC Network With Adaptive Model Fusion and Multiobjective Optimization for Interpretable Laryngeal Tumor Grading From Histopathological Images. IEEE Trans. Medical Imaging 42(1): 15-28 (2023) - [c154]Francesco Mercaldo, Giovanni Ciaramella, Antonella Santone, Fabio Martinelli:
Obfuscated Mobile Malware Detection by Means of Dynamic Analysis and Explainable Deep Learning. ARES 2023: 79:1-79:10 - [c153]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Proposal for Trustworthy Artificial Intelligence. IEEE Big Data 2023: 1-3 - [c152]Fabio Martinelli, Francesco Mercaldo, Marcello Di Giammarco, Antonella Santone:
Data Poisoning Attacks over Diabetic Retinopathy Images Classification. IEEE Big Data 2023: 3698-3703 - [c151]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Explainable Deep Learning for Smart Grid Stability Detection. IEEE Big Data 2023: 3763-3769 - [c150]Giulia Varriano, Valeria Sorgente, Francesco Mercaldo, Antonella Santone, Luca Brunese:
Computational cost of CT Radiomics workflow: a case study on COVID-19. COMPSAC 2023: 1539-1544 - [c149]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Driver Detection Method by Means of Explainable Deep Learning. CSR 2023: 54-59 - [c148]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Evaluating Fuzzy Machine Learning for Smart Grid Instability Detection. FUZZ 2023: 1-6 - [c147]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Image-Based Malware Detection Through a Deep Neuro-Fuzzy Model. FUZZ 2023: 1-7 - [c146]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection. FUZZ 2023: 1-7 - [c145]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
An Explainable Convolutional Neural Network for Dynamic Android Malware Detection. ICISSP 2023: 305-312 - [c144]Daniele Albanese, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone:
StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation. ICISSP 2023: 741-748 - [c143]Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis. ICMLA 2023: 2207-2213 - [c142]Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Exploring Quantum Machine Learning for Explainable Malware Detection. IJCNN 2023: 1-6 - [c141]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Damage Detection and Localisation using UAV/ Drone with Object Detection. KES 2023: 118-127 - [c140]Mario Cesarelli, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Explainable Deep Learning for Face Mask Detection. KES 2023: 128-133 - [c139]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Object Detection and Localisation in Thermal Images by means of UAV/Drone. KES 2023: 2234-2243 - [c138]Mario Cesarelli, Francesco Mercaldo, Antonella Santone:
Explainable Deep Learning for Brain Cancer Detection and Localisation. MetroXRAINE 2023: 496-501 - [c137]Giuseppe Prisco, Klara Komici, Francesco Mercaldo, Leandro Donisi, Mario Cesarelli, Germano Guerra, Antonella Santone:
A Machine Learning approach to classify ventilatory efficiency. MetroXRAINE 2023: 646-651 - [c136]Giuseppe Prisco, Maria Romano, Fabrizio Esposito, Mario Cesarelli, Antonella Santone, Leandro Donisi:
Feasibility of Tree-Based Machine Learning Models to Discriminate Safe and Unsafe Posture During Weight Lifting. MetroXRAINE 2023: 870-875 - [c135]Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning. SECRYPT 2023: 385-393 - 2022
- [j70]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking. Artif. Intell. Medicine 127: 102263 (2022) - [j69]Giulia Varriano, Pasquale Guerriero, Antonella Santone, Francesco Mercaldo, Luca Brunese:
Explainability of radiomics through formal methods. Comput. Methods Programs Biomed. 220: 106824 (2022) - [j68]Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone, Giovanni Capobianco:
Machine Learning on Soccer Player Positions. Int. J. Decis. Support Syst. Technol. 14(1): 1-19 (2022) - [j67]Pan Huang, Xiaoheng Tan, Xiaoli Zhou, Shuxian Liu, Francesco Mercaldo, Antonella Santone:
FABNet: Fusion Attention Block and Transfer Learning for Laryngeal Cancer Tumor Grading in P63 IHC Histopathology Images. IEEE J. Biomed. Health Informatics 26(4): 1696-1707 (2022) - [j66]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Driver Identification Through Formal Methods. IEEE Trans. Intell. Transp. Syst. 23(6): 5625-5637 (2022) - [j65]Francesco Mercaldo, Antonella Santone:
Formal Equivalence Checking for Mobile Malware Detection and Family Classification. IEEE Trans. Software Eng. 48(7): 2643-2657 (2022) - [j64]Rosangela Casolare, Giovanni Lacava, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone:
2Faces: a new model of malware based on dynamic compiling and reflection. J. Comput. Virol. Hacking Tech. 18(3): 215-230 (2022) - [c134]Giovanni Ciaramella, Giacomo Iadarola, Francesco Mercaldo, Marco Storto, Antonella Santone, Fabio Martinelli:
Introducing Quantum Computing in Mobile Malware Detection. ARES 2022: 88:1-88:8 - [c133]Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Fabrizio Ravelli, Antonella Santone:
Explainable Deep Learning for Alzheimer Disease Classification and Localisation. AII 2022: 129-143 - [c132]Francesco Mercaldo, Xiaoli Zhou, Pan Huang, Fabio Martinelli, Antonella Santone:
Machine Learning for Uterine Cervix Screening. BIBE 2022: 71-74 - [c131]Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Deep Learning for Heartbeat Phonocardiogram Signals Explainable Classification. BIBE 2022: 75-78 - [c130]Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Mario Cesarelli:
Blood Cells Counting and Localisation through Deep Learning Object Detection. IEEE Big Data 2022: 4400-4409 - [c129]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Smart Grid monitoring through Deep Learning for Image-based Automatic Dial Meter Reading. IEEE Big Data 2022: 4534-4542 - [c128]Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning: A Proposal. IEEE Big Data 2022: 6628-6630 - [c127]Giuseppe Crincoli, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Vulnerable Smart Contract Detection by Means of Model Checking. BSCI 2022: 3-10 - [c126]Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Emotion Recognition from Facial Expression using Explainable Deep Learning. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c125]Luca Brunese, Francesco Mercaldo, Antonella Santone:
Automatic Gleason Score Diagnosis with Fuzzy Classification and Radiomic Features. FUZZ-IEEE 2022: 1-7 - [c124]Marcello Di Giammarco, Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Explainable Deep Learning Methodologies for Biomedical Images Classification. ICDCS 2022: 1262-1264 - [c123]Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Designing Robust Deep Learning Classifiers for Image-based Malware Analysis. ICDCS 2022: 1265-1267 - [c122]Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Vinod P.:
On the Influence of Image Settings in Deep Learning-based Malware Detection. ICISSP 2022: 669-676 - [c121]Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tavone:
COVID-19 Detection from Cough Recording by means of Explainable Deep Learning. ICMLA 2022: 1702-1707 - [c120]Giovanni Ciaramella, Stefano Fagnano, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning. ICMLA 2022: 1791-1798 - [c119]Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Explainable Retinopathy Diagnosis and Localisation by means of Class Activation Mapping. IJCNN 2022: 1-8 - [c118]Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tommasone:
On the Resilience of Shallow Machine Learning Classification in Image-based Malware Detection. KES 2022: 145-157 - [c117]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Method for Intrusion Detection in Smart Grid. KES 2022: 327-334 - [c116]Giovanni Lacava, Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Mario Pizzi:
Drone Audio recognition based on Machine Learning Techniques. KES 2022: 848-857 - [c115]Marcello Di Giammarco, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
High Grade Brain Cancer Segmentation by means of Deep Learning. KES 2022: 1633-1640 - [c114]Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Model Checking-based Approach to Malicious Family Detection in iOS Environment. KES 2022: 1981-1991 - [c113]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Timed Automata Networks for SCADA Attacks Real-Time Mitigation. KES-IDT 2022: 549-559 - [c112]Giuseppe Crincoli, Fabiana Fierro, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning. SECRYPT 2022: 513-518 - [c111]Francesco Mercaldo, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Ranieri, Antonella Santone:
A Real-time Method for CAN Bus Intrusion Detection by Means of Supervised Machine Learning. SECRYPT 2022: 534-539 - [c110]Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Assessing Deep Learning Predictions in Image-Based Malware Detection with Activation Maps. STM 2022: 104-114 - 2021
- [j63]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Towards an interpretable deep learning model for mobile malware detection and family identification. Comput. Secur. 105: 102198 (2021) - [j62]Francesco Mercaldo, Antonella Santone:
Transfer learning for mobile real-time face mask detection and localization. J. Am. Medical Informatics Assoc. 28(7): 1548-1554 (2021) - [j61]Rosangela Casolare, Carlo De Dominicis, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Dynamic Mobile Malware Detection through System Call-based Image representation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 12(1): 44-63 (2021) - [j60]Flora Amato, Luigi Coppolino, Francesco Mercaldo, Francesco Moscato, Roberto Nardone, Antonella Santone:
CAN-Bus Attack Detection With Deep Learning. IEEE Trans. Intell. Transp. Syst. 22(8): 5081-5090 (2021) - [j59]Francesco Mercaldo, Antonella Santone:
Audio signal processing for Android malware detection and family identification. J. Comput. Virol. Hacking Tech. 17(2): 139-152 (2021) - [j58]Antonella Santone:
Editorial. J. Comput. Virol. Hacking Tech. 17(3): 165-166 (2021) - [c109]Rosangela Casolare, Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications. ARES 2021: 51:1-51:7 - [c108]Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli:
A Methodology based on Formal Methods for Thermal Ablation Area Detection. BIOINFORMATICS 2021: 191-194 - [c107]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Colluding Covert Channel for Malicious Information Exfiltration in Android Environment. ICISSP 2021: 811-818 - [c106]Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli:
Thermal Ablation Treatment Detection by means of Machine Learning. IJCNN 2021: 1-6 - [c105]Giacomo Iadarola, Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone:
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning. IJCNN 2021: 1-8 - [c104]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
A Proposal to Ensure Social Distancing with Deep Learning-based Object Detection. IJCNN 2021: 1-5 - [c103]Federico Gerardi, Giacomo Iadarola, Fabio Martinelli, Antonella Santone, Francesco Mercaldo:
Perturbation of Image-based Malware Detection with Smali level morphing techniques. ISPA/BDCloud/SocialCom/SustainCom 2021: 1651-1656 - [c102]Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment. KES 2021: 1659-1669 - [c101]Eric Filiol, Francesco Mercaldo, Antonella Santone:
A Method for Automatic Penetration Testing and Mitigation: A Red Hat Approach. KES 2021: 2039-2046 - [c100]Rosangela Casolare, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Collusion Detection by means of Audio Signal Analysis with Machine Learning techniques. KES 2021: 2340-2346 - [c99]Umberto Di Giacomo, Rosangela Casolare, Oliver Eigner, Fabio Martinelli, Francesco Mercaldo, Torsten Priebe, Antonella Santone:
Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment. KES 2021: 2440-2449 - [c98]Ijas Ah, Vinod P., Akka Zemmari, Harikrishnan D, Godvin Poulose, Don Jose, Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Vulnerability Evaluation of Android Malware Detectors against Adversarial Examples. KES 2021: 3320-3331 - [c97]Xuan Sun, Luqun Li, Francesco Mercaldo, Yichen Yang, Antonella Santone, Fabio Martinelli:
Automated Intention Mining with Comparatively Fine-tuning BERT. NLPIR 2021: 157-162 - [c96]Rosangela Casolare, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Mobile Family Detection through Audio Signals Classification. SECRYPT 2021: 479-486 - 2020
- [j57]Lanfranco Lopriore, Antonella Santone:
Extended pointers for memory protection in single address space systems. Comput. Electr. Eng. 82: 106551 (2020) - [j56]Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah:
Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. 83: 102504 (2020) - [j55]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
An ensemble learning approach for brain cancer detection exploiting radiomic features. Comput. Methods Programs Biomed. 185: 105134 (2020) - [j54]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays. Comput. Methods Programs Biomed. 196: 105608 (2020) - [j53]Mario G. C. A. Cimino, Nicoletta De Francesco, Francesco Mercaldo, Antonella Santone, Gigliola Vaglini:
Model checking for malicious family detection and phylogenetic analysis in mobile environment. Comput. Secur. 90: 101691 (2020) - [j52]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Timed Automata for Mobile Ransomware Detection. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020) - [j51]Domenico Raucci, Antonella Santone, Francesco Mercaldo, Tomasz Dyczkowski:
BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes. Ind. Manag. Data Syst. 120(7): 1383-1400 (2020) - [j50]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences. Inf. 11(6): 304 (2020) - [j49]Andrea De Lorenzo, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Antonella Santone:
Visualizing the outcome of dynamic analysis of Android malware with VizMal. J. Inf. Secur. Appl. 50 (2020) - [j48]Philipp Kreimel, Oliver Eigner, Francesco Mercaldo, Antonella Santone, Paul Tavolato:
Anomaly detection in substation networks. J. Inf. Secur. Appl. 54: 102527 (2020) - [j47]Longquan Jiang, Xuan Sun, Francesco Mercaldo, Antonella Santone:
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification. Knowl. Based Syst. 210: 106486 (2020) - [j46]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Radiomics for Gleason Score Detection through Deep Learning. Sensors 20(18): 5411 (2020) - [j45]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation. Simul. Model. Pract. Theory 105: 102169 (2020) - [j44]Antonella Santone:
Editorial. J. Comput. Virol. Hacking Tech. 16(1): 1-2 (2020) - [j43]Francesco Mercaldo, Antonella Santone:
Deep learning for image-based mobile malware detection. J. Comput. Virol. Hacking Tech. 16(2): 157-171 (2020) - [c95]Rosangela Casolare, Carlo De Dominicis, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
VisualDroid: automatic triage and detection of Android repackaged applications. ARES 2020: 50:1-50:7 - [c94]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Colluding Android Apps Detection via Model Checking. AINA Workshops 2020: 776-786 - [c93]Lelio Campanile, Mauro Iacono, Fabio Martinelli, Fiammetta Marulli, Michele Mastroianni, Francesco Mercaldo, Antonella Santone:
Towards the Use of Generative Adversarial Neural Networks to Attack Online Resources. AINA Workshops 2020: 890-901 - [c92]Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone:
Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques. AINA Workshops 2020: 959-969 - [c91]Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. AINA 2020: 1368-1382 - [c90]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Android Run-time Permission Exploitation User Awareness by Means of Formal Methods. ICISSP 2020: 804-814 - [c89]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Accidental Sensitive Data Leaks Prevention via Formal Verification. ICISSP 2020: 825-834 - [c88]Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone:
Bank Credit Risk Management based on Data Mining Techniques. ICISSP 2020: 837-843 - [c87]Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone:
Identify Potential Attacks from Simulated Log Analysis. IJCNN 2020: 1-6 - [c86]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Lung Cancer Detection and Characterisation through Genomic and Radiomic Biomarkers. IJCNN 2020: 1-8 - [c85]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Malicious Collusion Detection in Mobile Environment by means of Model Checking. IJCNN 2020: 1-6 - [c84]Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone:
Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. IJCNN 2020: 1-8 - [c83]Francesco Mercaldo, Antonella Santone, Francesco Tariello, Giuseppe Peter Vanoli:
Hourly Global Solar Radiation Reconstruction Applying Machine Learning. IJCNN 2020: 1-8 - [c82]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques. IoTBDS 2020: 499-506 - [c81]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Evaluating Deep Learning Classification Reliability in Android Malware Family Detection. ISSRE Workshops 2020: 255-260 - [c80]Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Deep learning for heart disease detection through cardiac sounds. KES 2020: 2202-2211 - [c79]Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Machine learning for coronavirus covid-19 detection from chest x-rays. KES 2020: 2212-2221 - [c78]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Machine Learning for Driver Detection through CAN bus. VTC Spring 2020: 1-5
2010 – 2019
- 2019
- [j42]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification. IEEE Access 7: 186236-186246 (2019) - [j41]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Model Checking Based Approach for Compliance Checking. Inf. Technol. Control. 48(2): 278-298 (2019) - [j40]Lanfranco Lopriore, Antonella Santone:
Protected pointers to specify access privileges in distributed systems. J. Parallel Distributed Comput. 126: 1-12 (2019) - [j39]Vittoria Nardone, Antonella Santone, Massimo Tipaldi, Davide Liuzza, Luigi Glielmo:
Model Checking Techniques Applied to Satellite Operational Mode Management. IEEE Syst. J. 13(1): 1018-1029 (2019) - [j38]Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
A "pay-how-you-drive" car insurance approach through cluster analysis. Soft Comput. 23(9): 2863-2875 (2019) - [j37]Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
LEILA: Formal Tool for Identifying Mobile Malicious Behaviour. IEEE Trans. Software Eng. 45(12): 1230-1252 (2019) - [c77]Giovanni Capobianco, Umberto Di Giacomo, Tommaso Di Tusa, Francesco Mercaldo, Antonella Santone:
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking. IEEE BigData 2019: 5995-5997 - [c76]Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Model Checking based Proposal for Mobile Colluding Attack Detection. IEEE BigData 2019: 5998-6000 - [c75]Fabio Di Tommaso, Michele Guerra, Fabio Martinelli, Francesco Mercaldo, Massimo Piedimonte, Giovanni Rosa, Antonella Santone:
User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal. IEEE BigData 2019: 6232-6234 - [c74]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
A Data Life Cycle Modeling Proposal by Means of Formal Methods. AsiaCCS 2019: 670-672 - [c73]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Investigating Mobile Applications Quality in Official and Third-party Marketplaces. ENASE 2019: 169-178 - [c72]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Can Machine Learning Predict Soccer Match Results? ICAART (2) 2019: 458-465 - [c71]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Spyware Detection using Temporal Logic. ICISSP 2019: 690-699 - [c70]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking to Detect the Hummingbad Malware. IDC 2019: 485-494 - [c69]Pasquale Avino, Francesco Mercaldo, Vittoria Nardone, Ivan Notardonato, Antonella Santone:
Machine Learning to Identify Gender via Hair Elements. IJCNN 2019: 1-7 - [c68]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Neural Networks for Lung Cancer Detection through Radiomic Features. IJCNN 2019: 1-10 - [c67]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics. IJCNN 2019: 1-10 - [c66]Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Social Network Polluting Contents Detection through Deep Learning Techniques. IJCNN 2019: 1-10 - [c65]Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Formal Methods for Android Banking Malware Analysis and Detection. IoTSMS 2019: 331-336 - [c64]Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Exploiting Model Checking for Mobile Botnet Detection. KES 2019: 963-972 - [c63]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Energy Consumption Metrics for Mobile Device Dynamic Malware Detection. KES 2019: 1045-1052 - [c62]Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Model Checking for Data Anomaly Detection. KES 2019: 1277-1286 - [c61]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone:
Dunuen: A User-Friendly Formal Verification Tool. KES 2019: 1431-1438 - [c60]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods. KES 2019: 1787-1794 - [c59]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Radiomic Features for Medical Images Tamper Detection by Equivalence Checking. KES 2019: 1795-1802 - [c58]Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone:
Formal Modeling for Magnetic Resonance Images Tamper Mitigation. KES 2019: 1803-1810 - [c57]Giovanni Capobianco, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Wearable Devices for Human Activity Recognition and User Detection. PDP 2019: 365-372 - [c56]Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Real-Time SCADA Attack Detection by Means of Formal Methods. WETICE 2019: 231-236 - [c55]Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone:
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. WETICE 2019: 249-254 - 2018
- [j36]Aniello Cimitile, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Talos: no more ransomware victims with formal methods. Int. J. Inf. Sec. 17(6): 719-738 (2018) - [j35]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile:
Evaluating model checking for cyber threats code obfuscation identification. J. Parallel Distributed Comput. 119: 203-218 (2018) - [j34]Antonella Santone:
Special issue on formal methods for security engineering. J. Comput. Virol. Hacking Tech. 14(4): 251 (2018) - [c54]Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone:
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment. IEEE BigData 2018: 5305-5307 - [c53]Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone:
Measuring Mobile Applications Quality and Security in Higher Education. IEEE BigData 2018: 5319-5321 - [c52]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Who's Driving My Car? A Machine Learning based Approach to Driver Identification. ICISSP 2018: 367-372 - [c51]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Cluster Analysis for Driver Aggressiveness Identification. ICISSP 2018: 562-569 - [c50]Cinzia Bernardeschi, Paolo Masci, Antonella Santone:
Data Leakage in Java Applets with Exception Mechanism. ITASEC 2018 - [c49]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone:
Context-Awareness Mobile Devices for Traffic Incident Prevention. PerCom Workshops 2018: 143-148 - [c48]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. SAFECOMP Workshops 2018: 374-386 - [c47]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini:
Safety Critical Systems Formal Verification Using Execution Traces. WETICE 2018: 247-250 - 2017
- [c46]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour. ARES 2017: 76:1-76:6 - [c45]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
How Discover a Malware using Model Checking. AsiaCCS 2017: 902-904 - [c44]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Car hacking identification through fuzzy logic algorithms. FUZZ-IEEE 2017: 1-7 - [c43]Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identifying Mobile Repackaged Applications through Formal Methods. ICISSP 2017: 673-682 - [c42]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. FormaliSE@ICSE 2017: 24-30 - [c41]Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. KES 2017: 2519-2528 - [c40]Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. WETICE 2017: 263-268 - 2016
- [j33]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
Heuristic search for equivalence checking. Softw. Syst. Model. 15(2): 513-530 (2016) - [c39]Francesco Mercaldo, Vittoria Nardone, Antonella Santone:
Ransomware Inside Out. ARES 2016: 628-637 - [c38]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Ransomware Steals Your Phone. Formal Methods Rescue It. FORTE 2016: 212-221 - [c37]Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Identification of Android Malware Families with Model Checking. ICISSP 2016: 542-547 - [c36]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Download malware? no, thanks: how formal methods can block update attacks. FormaliSE@ICSE 2016: 22-28 - [c35]Antonella Santone, Gigliola Vaglini:
Conformance Checking using Formal Methods. ICSOFT-EA 2016: 258-263 - [c34]Vittoria Nardone, Domenico Raucci, Antonella Santone:
Model Checking to Support Action Controls in the Purchasing Process. WETICE 2016: 199-204 - [c33]Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio:
Hey Malware, I Can Find You! WETICE 2016: 261-262 - 2015
- [c32]Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Improving Design Patterns Finder Precision Using a Model Checking Approach. CAiSE Forum 2015: 113-120 - [c31]Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini:
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. FACS 2015: 181-198 - [c30]Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone:
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. FormaliSE@ICSE 2015: 26-32 - [c29]Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. ICSOFT-PT 2015: 53-63 - [c28]Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone:
Integrating Model Driven and Model Checking to Mine Design Patterns. ICSOFT (Selected Papers) 2015: 99-117 - [c27]Giuseppe De Ruvo, Antonella Santone:
Equivalence-Based Selection of Best-Fit Models to Support Wiki Design. WETICE 2015: 204-209 - [c26]Giuseppe De Ruvo, Antonella Santone:
Analysing Wiki Quality Using Probabilistic Model Checking. WETICE 2015: 224-229 - 2014
- [j32]Antonella Santone, Gigliola Vaglini:
Model Checking Properties on Reduced Trace Systems. Algorithms 7(3): 339-362 (2014) - [j31]Antonio Cuomo, Antonella Santone, Umberto Villano:
CD-Form: A clone detector based on formal methods. Sci. Comput. Program. 95: 390-405 (2014) - [j30]Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini:
GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Trans. Softw. Eng. Methodol. 23(3): 24:1-24:26 (2014) - [c25]Giuseppe De Ruvo, Antonella Santone, Domenico Raucci:
Powerful Equivalence Checking in the Bank Supply Process. SERVICES 2014: 87-94 - [c24]Giuseppe De Ruvo, Antonella Santone:
An Eclipse-Based Editor to Support LOTOS Newcomers. WETICE 2014: 372-377 - [c23]Giuseppe De Ruvo, Antonella Santone:
A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis. WETICE 2014: 411-416 - 2013
- [j29]Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Incremental construction of systems: An efficient characterization of the lacking sub-system. Sci. Comput. Program. 78(9): 1346-1367 (2013) - [c22]Michele Ceccarelli, Luigi Cerulo, Antonella Santone:
Infer gene regulatory networks from time series data with formal methods. BIBM 2013: 115-120 - [c21]Antonella Santone, Gigliola Vaglini:
Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. ICSOFT 2013: 233-238 - [c20]Antonella Santone, Valentina Intilangelo, Domenico Raucci:
Efficient Formal Verification in Banking Processes. SERVICES 2013: 325-332 - [c19]Antonella Santone, Valentina Intilangelo, Domenico Raucci:
Application of Equivalence Checking in a Loan Origination Process in Banking Industry. WETICE 2013: 292-297 - 2012
- [j28]Antonella Santone, Gigliola Vaglini:
Abstract reduction in directed model checking CCS processes. Acta Informatica 49(5): 313-341 (2012) - [c18]Antonella Santone, Gigliola Vaglini:
Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. ICSOFT 2012: 336-339 - [c17]Antonio Cuomo, Antonella Santone, Umberto Villano:
A novel approach based on formal methods for clone detection. IWSC 2012: 8-14 - 2011
- [c16]Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Ant Colony Optimization for Deadlock Detection in Concurrent Systems. COMPSAC 2011: 108-117 - [c15]Antonella Santone:
Clone detection through process algebras and Java bytecode. IWSC 2011: 73-74
2000 – 2009
- 2009
- [c14]Antonella Santone, Maria Tortorella:
Applying Formal Methods to Process Innovation. FGIT-ASEA 2009: 135-142 - [c13]Thierry Bodhuin, Federico Pagnozzi, Antonella Santone, Maria Tortorella, Maria Luisa Villani:
Abstracting Models from Execution Traces for Performing Formal Verification. FGIT-ASEA 2009: 143-150 - [c12]Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
A Formula Driven Incremental Construction of Web Service Compositions. ICSOFT (1) 2009: 13-22 - 2008
- [j27]Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani:
Modular formal verification of specifications of concurrent systems. Softw. Test. Verification Reliab. 18(1): 5-28 (2008) - 2007
- [j26]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A user-friendly interface to specify temporal properties of concurrent systems. Inf. Sci. 177(1): 299-311 (2007) - [c11]Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani:
Discovery of SOA patterns via model checking. IW-SOSWE 2007: 8-14 - 2006
- [j25]Sara Gradara, Antonella Santone, Maria Luisa Villani:
DELFIN+: An efficient deadlock detection tool for CCS processes. J. Comput. Syst. Sci. 72(8): 1397-1412 (2006) - [c10]Sara Gradara, Antonella Santone, Maria Luisa Villani:
Formal Verification of Concurrent Systems via Directed Model Checking. AVoCS 2006: 93-105 - 2005
- [j24]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Reduced Models for Efficient CCS Verification. Formal Methods Syst. Des. 26(3): 319-350 (2005) - [j23]Sara Gradara, Antonella Santone, Maria Luisa Villani:
Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput. 202(2): 191-226 (2005) - [j22]Antonella Santone, Gigliola Vaglini:
A local approach for temporal model checking of Java bytecode. J. Comput. Syst. Sci. 70(2): 258-281 (2005) - [j21]Antonella Santone, Gigliola Vaglini:
Compositionality and locality for improving model checking in the selective mu-calculus. Sci. Comput. Program. 54(2-3): 291-311 (2005) - 2004
- [j20]Antonella Santone, Gigliola Vaglini:
Formula-based abstractions and symbolic execution for model checking programs. Microprocess. Microsystems 28(2): 69-76 (2004) - [c9]Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini:
Model Checking Multithreaded Programs by Means of Reduced Models. LDTA@ETAPS 2004: 55-74 - 2003
- [j19]Nicoletta De Francesco, Antonella Santone, Luca Tesei:
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Informaticae 54(2-3): 195-211 (2003) - [j18]Antonella Santone, Gigliola Vaglini:
Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations. J. Autom. Reason. 30(1): 33-58 (2003) - [j17]Antonella Santone:
Heuristic Search + Local Model Checking in Selective mu-Calculus. IEEE Trans. Software Eng. 29(6): 510-523 (2003) - 2002
- [j16]Antonella Santone:
Automatic verification of concurrent systems using a formula-based compositional approach. Acta Informatica 38(8): 531-564 (2002) - [j15]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei:
A Notion of Non-Interference for Timed Automata. Fundam. Informaticae 51(1-2): 1-11 (2002) - [j14]Nicoletta De Francesco, Antonella Santone:
A Formula-Driven Modular Attack on State Explosion. Int. J. Found. Comput. Sci. 13(5): 719-731 (2002) - [j13]Nicoletta De Francesco, Antonella Santone:
A tool supporting efficient model checking of concurrent specifications. Microprocess. Microsystems 25(9-10): 401-407 (2002) - [j12]Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini:
Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test. Verification Reliab. 12(1): 3-21 (2002) - [j11]Nicoletta De Francesco, Antonella Santone:
Syntactic reductions for efficient deadlock analysis. Softw. Test. Verification Reliab. 12(3): 173-186 (2002) - [c8]Antonella Santone, Gigliola Vaglini:
A Tableau-Based Procedure for Model Checking Programs. COMPSAC 2002: 723-730 - [c7]Antonella Santone, Gigliola Vaglini:
Local model checking of Java bytecode. SEKE 2002: 383-389 - 2001
- [j10]Giuseppe Anastasi, Alberto Bartoli, Nicoletta De Francesco, Antonella Santone:
Efficient Verification of a Multicast Protocol for Mobile Computing. Comput. J. 44(1): 21-30 (2001) - [j9]Antonella Santone, Gigliola Vaglini:
Reusing LOTOS specifications. Microprocess. Microsystems 25(6): 309-314 (2001) - 2000
- [j8]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Logic Based Abstractions of Real-Time Systems. Formal Methods Syst. Des. 17(3): 201-220 (2000) - [c6]Antonella Santone:
Compositionality for Improving Model Checking. FORTE 2000: 105-120
1990 – 1999
- 1999
- [j7]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Abstract Interpretation of Trace Semantics for Concurrent Calculi. Inf. Process. Lett. 70(2): 69-78 (1999) - [j6]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems. J. Comput. Syst. Sci. 59(3): 537-556 (1999) - [j5]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs. Softw. Pract. Exp. 29(12): 1123-1147 (1999) - [c5]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Formula Based Abstractions of Transition Systems for Real-Time Model Checking. World Congress on Formal Methods 1999: 289-306 - 1998
- [j4]Nicoletta De Francesco, Antonella Santone:
A Transformation System for Concurrent Processes. Acta Informatica 35(12): 1037-1073 (1998) - [j3]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
State Space Reduction by Non-Standard Semantics for Deadlock Analysis. Sci. Comput. Program. 30(3): 309-338 (1998) - [j2]Roberto Barbuti, Nicoletta De Francesco, Paolo Mancarella, Antonella Santone:
Towards a Logical Semantics for Pure Prolog. Sci. Comput. Program. 32(1-3): 145-176 (1998) - 1997
- [j1]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone:
Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Informatica 34(6): 449-489 (1997) - [c4]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. FORTE 1997: 519-534 - 1996
- [c3]Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A Non-Standard Semantics for Generating Reduced Transition Systems. LOMAPS 1996: 370-387 - [c2]Nicoletta De Francesco, Antonella Santone:
Unfold/Fold Transformations of Concurrent Processes. PLILP 1996: 167-181 - 1995
- [c1]Roberto Barbuti, Nicoletta De Francesco, Antonella Santone:
Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: 547-561
Coauthor Index
[j83] [j82] [j79] [j78] [c164] [c163] [c162] [c161] [c160] [c159] [c158] [c156] [c155] [j77] [j75] [j74] [j73] [c154] [c153] [c152] [c151] [c149] [c148] [c147] [c146] [c145] [c144] [c143] [c142] [c141] [c140] [c139] [c135] [j66] [j64] [c134] [c133] [c132] [c131] [c130] [c129] [c128] [c127] [c126] [c124] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [c116] [c115] [c114] [c113] [c112] [c111] [c110] [j63] [j61] [c109] [c107] [c105] [c104] [c103] [c102] [c100] [c99] [c98] [c97] [c96] [j56] [j52] [j50] [j49] [j45] [c95] [c94] [c93] [c92] [c91] [c90] [c89] [c88] [c85] [c84] [c82] [c81] [c80] [c79] [c78] [j41] [j38] [j37] [c76] [c75] [c74] [c73] [c71] [c70] [c67] [c66] [c65] [c63] [c62] [c57] [c56] [j35] [c53] [c52] [c51] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c40]
[j85] [j84] [j83] [j82] [j81] [j80] [j79] [j78] [c164] [c163] [c162] [c161] [c160] [c159] [c158] [c157] [c156] [c155] [j77] [j76] [j75] [j74] [j73] [j72] [j71] [c154] [c153] [c152] [c151] [c150] [c149] [c148] [c147] [c146] [c145] [c144] [c143] [c142] [c141] [c140] [c139] [c138] [c137] [c135] [j70] [j69] [j68] [j67] [j66] [j65] [j64] [c134] [c133] [c132] [c131] [c130] [c129] [c128] [c127] [c126] [c125] [c124] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [c116] [c115] [c114] [c113] [c112] [c111] [c110] [j63] [j62] [j61] [j60] [j59] [c109] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [c98] [c97] [c96] [j56] [j55] [j54] [j53] [j52] [j51] [j50] [j49] [j48] [j47] [j46] [j45] [j43] [c95] [c94] [c93] [c92] [c91] [c90] [c89] [c88] [c87] [c86] [c85] [c84] [c83] [c82] [c81] [c80] [c79] [c78] [j42] [j41] [j38] [j37] [c77] [c76] [c75] [c74] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [c59] [c58] [c57] [c56] [j36] [j35] [c54] [c53] [c52] [c51] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [c37] [c36] [c33]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
