Antonella Santone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
131
Venues
34
Active years
1995–2026
Best venue rank
A*
Where they publish
- BKES26 papers
- BIJCNN17 papers
- CWETICE14 papers
- CICISSP13 papers
- CSECRYPT8 papers
- CICSoft7 papers
- BAINA4 papers
- BICAART3 papers
- BCOMPSAC3 papers
- CICMLA3 papers
- A*ICSE3 papers
- CFORTE3 papers
- BENASE2 papers
- CBIBE2 papers
- AICDCS2 papers
- A*CCS2 papers
- BSERVICES2 papers
- AESORICS1 paper
- NationalICIAP1 paper
- CIJCCI1 paper
- CSIMULTECH1 paper
- CDASC1 paper
- CICMV1 paper
- CISPA1 paper
- AISSRE1 paper
- BVTC1 paper
- UnrankedIDC1 paper
- CPDP1 paper
- A*PERCOM1 paper
- BSAFECOMP1 paper
- ACaiSE1 paper
- CSEKE1 paper
- BFM1 paper
- BICLP1 paper
Papers
131 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SECRYPT | Packed and Unpacked Malware Detection by Means of Explainable Federated Machine Learning. | Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo |
| 2025 | ESORICS | On the Effectiveness of Generative Adversarial Networks for Data Augmentation in Malware Detection. | Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo |
| 2025 | ICIAP | A Privacy-Preserving Method for Explainable Multiple Sclerosis Detection Through Federated Machine Learning. | Filomena Niro, Miriam Di Renzo, Patrizia Agnello, Marta Petyx, Giovanni Ciaramella, Fabio Martinelli, Mario Cesarelli, Antonella Santone, Francesco Mercaldo |
| 2025 | IJCCI | A Privacy-Preserving and Explainable Approach for Anomaly Detection in Substation Networks. | Paul Tavolato, Oliver Eigner, Philipp Kreimel-Haindl, Patrizia Agnello, Marta Petyx, Antonella Santone, Fabio Martinelli, Francesco Mercaldo |
| 2025 | IJCNN | A Method for Explainable Medical Abstracts Classification through Transformer Models. | Luca Petrillo, Anna Giacomello, Fabio Martinelli, Antonella Santone, Mario Cesarelli, Francesco Mercaldo |
| 2025 | IJCNN | Explainable Access Control Policies Classification through Large Language Models. | Luca Petrillo, Fabio Martinelli, Antonella Santone, Francesco Mercaldo |
| 2025 | IJCNN | Interpretable Res-ViTNet with Multiview Interaction and Multiobjective Optimization for sEMG-based LLMI Recognition. | Xiangli Zhou, Biao Wei, Yu Liu, Liufeng Xiao, Antonella Santone, Francesco Mercaldo |
| 2025 | SECRYPT | A Method for Packed (and Unpacked) Malware Detection by Means of Convolutional Neural Networks. | Giovanni Ciaramella, Fabio Martinelli, Antonella Santone, Francesco Mercaldo |
| 2025 | SECRYPT | Towards Quantum Machine Learning in Ransomware Detection. | Francesco Mercaldo, Giovanni Ciaramella, Fabio Martinelli, Antonella Santone |
| 2024 | ENASE | Evaluating the Impact of Generative Adversarial Network in Android Malware Detection. | Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2024 | ICAART | Spiral Drawing Test and Explainable Convolutional Neural Networks for Parkinson's Disease Detection. | Francesco Mercaldo, Luca Brunese, Mario Cesarelli, Fabio Martinelli, Antonella Santone |
| 2024 | ICAART | Detecting Parkinson's Disease Using the Spiral and Wave Drawing Test by Means of Explainable Deep Learning. | Antonella Santone, Mario Cesarelli, Fabio Martinelli, Luca Brunese, Francesco Mercaldo |
| 2024 | ICISSP | Cybersecurity-Related Tweet Classification by Explainable Deep Learning. | Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone |
| 2024 | ICSoft | Egyptian Hieroglyphs Localisation Through Object Detection. | Lucia Lombardi, Francesco Mercaldo, Antonella Santone |
| 2024 | KES | A Method for AI-generated sentence detection through Large Language Models. | Fabio Martinelli, Francesco Mercaldo, Luca Petrillo, Antonella Santone |
| 2024 | KES | A Method for Finding Distance in Real-Time Car Detection through Object Detection. | Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2024 | KES | Real-Time Road Sign Localisation through Object Detection. | Francesco Mercaldo, Fabio Martinelli, Antonella Santone |
| 2024 | WETICE | Identifying Ocular Diseases through Image Processing: Pattern Matching on Single Fundus Images. | Simona Correra, Giulia Varriano, Vittoria Nardone, Antonella Santone |
| 2024 | WETICE | On the Adoption of Counterexample for Classification Task Explainability. | Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2024 | WETICE | Preventing Epilepsy: a case study into Radiomics and pre-processing efficacy. | Giulia Varriano, Luigi Pavone, Simona Correra, Giancarlo Di Gennaro, Marcello Bartolo, Ferdinando Caranci, Antonella Santone, Luca Brunese |
| 2024 | SECRYPT | Leveraging Deep Learning for Intrusion Detection in IoT Through Visualized Network Data. | Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2024 | SIMULTECH | On the Adoption of Explainable Deep Learning for Image-Based Network Traffic Classification. | Amine Hattak, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2023 | COMPSAC | Computational cost of CT Radiomics workflow: a case study on COVID-19. | Giulia Varriano, Valeria Sorgente, Francesco Mercaldo, Antonella Santone, Luca Brunese |
| 2023 | ICISSP | StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation. | Daniele Albanese, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Marco Russodivito, Antonella Santone |
| 2023 | ICISSP | An Explainable Convolutional Neural Network for Dynamic Android Malware Detection. | Francesco Mercaldo, Fabio Martinelli, Antonella Santone |
| 2023 | ICMLA | Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis. | Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2023 | IJCNN | Exploring Quantum Machine Learning for Explainable Malware Detection. | Giovanni Ciaramella, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2023 | KES | Explainable Deep Learning for Face Mask Detection. | Mario Cesarelli, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2023 | KES | Damage Detection and Localisation using UAV/ Drone with Object Detection. | Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2023 | KES | Object Detection and Localisation in Thermal Images by means of UAV/Drone. | Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2023 | SECRYPT | A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning. | Amine Hattak, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2022 | BIBE | Deep Learning for Heartbeat Phonocardiogram Signals Explainable Classification. | Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2022 | BIBE | Machine Learning for Uterine Cervix Screening. | Francesco Mercaldo, Xiaoli Zhou, Pan Huang, Fabio Martinelli, Antonella Santone |
| 2022 | DASC | Emotion Recognition from Facial Expression using Explainable Deep Learning. | Mario Cesarelli, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2022 | ICDCS | Explainable Deep Learning Methodologies for Biomedical Images Classification. | Marcello Di Giammarco, Francesco Mercaldo, Fabio Martinelli, Antonella Santone |
| 2022 | ICDCS | Designing Robust Deep Learning Classifiers for Image-based Malware Analysis. | Giacomo Iadarola, Francesco Mercaldo, Fabio Martinelli, Antonella Santone |
| 2022 | ICISSP | On the Influence of Image Settings in Deep Learning-based Malware Detection. | Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Vinod P. |
| 2022 | ICMLA | COVID-19 Detection from Cough Recording by means of Explainable Deep Learning. | Mario Cesarelli, Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tavone |
| 2022 | ICMLA | Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning. | Giovanni Ciaramella, Stefano Fagnano, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2022 | ICMV | Deep learning for blood cells classification and localisation. | Francesco Mercaldo, Mario Cesarelli, Fabio Martinelli, Antonella Santone |
| 2022 | IJCNN | Explainable Retinopathy Diagnosis and Localisation by means of Class Activation Mapping. | Marcello Di Giammarco, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2022 | KES | On the Resilience of Shallow Machine Learning Classification in Image-based Malware Detection. | Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone, Michele Tommasone |
| 2022 | KES | A Model Checking-based Approach to Malicious Family Detection in iOS Environment. | Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2022 | KES | High Grade Brain Cancer Segmentation by means of Deep Learning. | Marcello Di Giammarco, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2022 | KES | Drone Audio recognition based on Machine Learning Techniques. | Giovanni Lacava, Francesco Mercaldo, Fabio Martinelli, Antonella Santone, Mario Pizzi |
| 2022 | KES | A Method for Intrusion Detection in Smart Grid. | Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2022 | SECRYPT | A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning. | Giuseppe Crincoli, Fabiana Fierro, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2022 | SECRYPT | A Real-time Method for CAN Bus Intrusion Detection by Means of Supervised Machine Learning. | Francesco Mercaldo, Rosangela Casolare, Giovanni Ciaramella, Giacomo Iadarola, Fabio Martinelli, Francesco Ranieri, Antonella Santone |
| 2021 | ICISSP | Colluding Covert Channel for Malicious Information Exfiltration in Android Environment. | Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2021 | IJCNN | Thermal Ablation Treatment Detection by means of Machine Learning. | Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli |
| 2021 | IJCNN | A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning. | Giacomo Iadarola, Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Christian Peluso, Antonella Santone |
| 2021 | IJCNN | A Proposal to Ensure Social Distancing with Deep Learning-based Object Detection. | Francesco Mercaldo, Fabio Martinelli, Antonella Santone |
| 2021 | ISPA | Perturbation of Image-based Malware Detection with Smali level morphing techniques. | Federico Gerardi, Giacomo Iadarola, Fabio Martinelli, Antonella Santone, Francesco Mercaldo |
| 2021 | KES | Vulnerability Evaluation of Android Malware Detectors against Adversarial Examples. | Ijas Ah, Vinod P., Akka Zemmari, Harikrishnan D, Godvin Poulose, Don Jose, Francesco Mercaldo, Fabio Martinelli, Antonella Santone |
| 2021 | KES | Android Collusion Detection by means of Audio Signal Analysis with Machine Learning techniques. | Rosangela Casolare, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2021 | KES | A Method for Automatic Penetration Testing and Mitigation: A | Eric Filiol, Francesco Mercaldo, Antonella Santone |
| 2021 | KES | Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment. | Umberto Di Giacomo, Rosangela Casolare, Oliver Eigner, Fabio Martinelli, Francesco Mercaldo, Torsten Priebe, Antonella Santone |
| 2021 | KES | Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment. | Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2021 | SECRYPT | Mobile Family Detection through Audio Signals Classification. | Rosangela Casolare, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2020 | AINA | Towards the Use of Generative Adversarial Neural Networks to Attack Online Resources. | Lelio Campanile, Mauro Iacono, Fabio Martinelli, Fiammetta Marulli, Michele Mastroianni, Francesco Mercaldo, Antonella Santone |
| 2020 | AINA | Colluding Android Apps Detection via Model Checking. | Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2020 | AINA | Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. | Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2020 | AINA | Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques. | Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone |
| 2020 | ICISSP | Accidental Sensitive Data Leaks Prevention via Formal Verification. | Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2020 | ICISSP | Android Run-time Permission Exploitation User Awareness by Means of Formal Methods. | Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2020 | ICISSP | Bank Credit Risk Management based on Data Mining Techniques. | Fabio Martinelli, Francesco Mercaldo, Domenico Raucci, Antonella Santone |
| 2020 | IJCNN | Identify Potential Attacks from Simulated Log Analysis. | Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone |
| 2020 | IJCNN | Lung Cancer Detection and Characterisation through Genomic and Radiomic Biomarkers. | Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone |
| 2020 | IJCNN | Malicious Collusion Detection in Mobile Environment by means of Model Checking. | Rosangela Casolare, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2020 | IJCNN | Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence. | Fabio Martinelli, Fiammetta Marulli, Francesco Mercaldo, Stefano Marrone, Antonella Santone |
| 2020 | IJCNN | Hourly Global Solar Radiation Reconstruction Applying Machine Learning. | Francesco Mercaldo, Antonella Santone, Francesco Tariello, Giuseppe Peter Vanoli |
| 2020 | ISSRE | Evaluating Deep Learning Classification Reliability in Android Malware Family Detection. | Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2020 | KES | Deep learning for heart disease detection through cardiac sounds. | Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2020 | KES | Machine learning for coronavirus covid-19 detection from chest x-rays. | Luca Brunese, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2020 | VTC | Machine Learning for Driver Detection through CAN bus. | Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2019 | CCS | A Data Life Cycle Modeling Proposal by Means of Formal Methods. | Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2019 | ENASE | Investigating Mobile Applications Quality in Official and Third-party Marketplaces. | Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2019 | ICAART | Can Machine Learning Predict Soccer Match Results? | Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2019 | ICISSP | Spyware Detection using Temporal Logic. | Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2019 | IJCNN | Machine Learning to Identify Gender via Hair Elements. | Pasquale Avino, Francesco Mercaldo, Vittoria Nardone, Ivan Notardonato, Antonella Santone |
| 2019 | IJCNN | Neural Networks for Lung Cancer Detection through Radiomic Features. | Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone |
| 2019 | IJCNN | Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics. | Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2019 | IJCNN | Social Network Polluting Contents Detection through Deep Learning Techniques. | Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2019 | IDC | Model Checking to Detect the Hummingbad Malware. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
| 2019 | KES | Exploiting Model Checking for Mobile Botnet Detection. | Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2019 | KES | A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods. | Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone |
| 2019 | KES | Radiomic Features for Medical Images Tamper Detection by Equivalence Checking. | Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone |
| 2019 | KES | Formal Modeling for Magnetic Resonance Images Tamper Mitigation. | Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone |
| 2019 | KES | Untitled record | Giovanni Capobianco, Umberto Di Giacomo, Francesco Mercaldo, Antonella Santone |
| 2019 | KES | Model Checking for Data Anomaly Detection. | Madalina G. Ciobanu, Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2019 | KES | Energy Consumption Metrics for Mobile Device Dynamic Malware Detection. | Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2019 | PDP | Wearable Devices for Human Activity Recognition and User Detection. | Giovanni Capobianco, Umberto Di Giacomo, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2019 | WETICE | Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. | Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone |
| 2019 | WETICE | Real-Time SCADA Attack Detection by Means of Formal Methods. | Francesco Mercaldo, Fabio Martinelli, Antonella Santone |
| 2018 | ICISSP | Who's Driving My Car? A Machine Learning based Approach to Driver Identification. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone |
| 2018 | ICISSP | Cluster Analysis for Driver Aggressiveness Identification. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone |
| 2018 | PERCOM | Context-Awareness Mobile Devices for Traffic Incident Prevention. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone |
| 2018 | WETICE | Safety Critical Systems Formal Verification Using Execution Traces. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini |
| 2018 | SAFECOMP | Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
| 2017 | CCS | How Discover a Malware using Model Checking. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2017 | ICISSP | Identifying Mobile Repackaged Applications through Formal Methods. | Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2017 | ICSE | Model Checking for Mobile Android Malware Evolution. | Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini |
| 2017 | KES | Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques. | Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2017 | WETICE | Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. | Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2016 | FORTE | Ransomware Steals Your Phone. Formal Methods Rescue It. | Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | ICISSP | Identification of Android Malware Families with Model Checking. | Pasquale Battista, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | ICSE | Download malware? no, thanks: how formal methods can block update attacks. | Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | ICSoft | Conformance Checking using Formal Methods. | Antonella Santone, Gigliola Vaglini |
| 2016 | WETICE | Hey Malware, I Can Find You! | Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio |
| 2016 | WETICE | Model Checking to Support Action Controls in the Purchasing Process. | Vittoria Nardone, Domenico Raucci, Antonella Santone |
| 2015 | CaiSE | Improving Design Patterns Finder Precision Using a Model Checking Approach. | Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone |
| 2015 | ICSE | Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. | Michele Ceccarelli, Luigi Cerulo, Giuseppe De Ruvo, Vittoria Nardone, Antonella Santone |
| 2015 | ICSoft | Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems. | Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone |
| 2015 | ICSoft | Integrating Model Driven and Model Checking to Mine Design Patterns. | Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone |
| 2015 | WETICE | Equivalence-Based Selection of Best-Fit Models to Support Wiki Design. | Giuseppe De Ruvo, Antonella Santone |
| 2015 | WETICE | Analysing Wiki Quality Using Probabilistic Model Checking. | Giuseppe De Ruvo, Antonella Santone |
| 2014 | WETICE | An Eclipse-Based Editor to Support LOTOS Newcomers. | Giuseppe De Ruvo, Antonella Santone |
| 2014 | WETICE | A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis. | Giuseppe De Ruvo, Antonella Santone |
| 2014 | SERVICES | Powerful Equivalence Checking in the Bank Supply Process. | Giuseppe De Ruvo, Antonella Santone, Domenico Raucci |
| 2013 | ICSoft | Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic. | Antonella Santone, Gigliola Vaglini |
| 2013 | WETICE | Application of Equivalence Checking in a Loan Origination Process in Banking Industry. | Antonella Santone, Valentina Intilangelo, Domenico Raucci |
| 2013 | SERVICES | Efficient Formal Verification in Banking Processes. | Antonella Santone, Valentina Intilangelo, Domenico Raucci |
| 2012 | ICSoft | Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. | Antonella Santone, Gigliola Vaglini |
| 2011 | COMPSAC | Ant Colony Optimization for Deadlock Detection in Concurrent Systems. | Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
| 2009 | ICSoft | A Formula Driven Incremental Construction of Web Service Compositions. | Antonella Santone, Gigliola Vaglini, Maria Luisa Villani |
| 2002 | COMPSAC | A Tableau-Based Procedure for Model Checking Programs. | Antonella Santone, Gigliola Vaglini |
| 2002 | SEKE | Local model checking of Java bytecode. | Antonella Santone, Gigliola Vaglini |
| 2000 | FORTE | Compositionality for Improving Model Checking. | Antonella Santone |
| 1999 | FM | Formula Based Abstractions of Transition Systems for Real-Time Model Checking. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1997 | FORTE | Selective -calculus: New Modal Operators for Proving Properties on Reduced Transition Systems. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1995 | ICLP | Modeling OR-Parallel Execution of Prolog using CHOCS. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |