Antonella Santone

ACM Trans. Knowl. Discov. Data, 2023

Water Meter Reading for Smart Grid Monitoring.

[BibT_eX]

[DOI]

Sensors, 2023

TriAD: A Deep Ensemble Network for Alzheimer Classification and Localization.

[BibT_eX]

[DOI]

IEEE Access, 2023

A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Security and Cryptography, 2023

Feasibility of Tree-Based Machine Learning Models to Discriminate Safe and Unsafe Posture During Weight Lifting.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Metrology for eXtended Reality, 2023

A Machine Learning approach to classify ventilatory efficiency.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Metrology for eXtended Reality, 2023

Explainable Deep Learning for Brain Cancer Detection and Localisation.

[BibT_eX]

[DOI]

Mario Cesarelli

Proceedings of the IEEE International Conference on Metrology for eXtended Reality, 2023

Object Detection and Localisation in Thermal Images by means of UAV/Drone.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Damage Detection and Localisation using UAV/ Drone with Object Detection.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Explainable Deep Learning for Face Mask Detection.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Exploring Quantum Machine Learning for Explainable Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2023

Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning and Applications, 2023

An Explainable Convolutional Neural Network for Dynamic Android Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fuzzy Systems, 2023

Image-Based Malware Detection Through a Deep Neuro-Fuzzy Model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fuzzy Systems, 2023

Evaluating Fuzzy Machine Learning for Smart Grid Instability Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fuzzy Systems, 2023

A Driver Detection Method by Means of Explainable Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

Computational cost of CT Radiomics workflow: a case study on COVID-19.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

Data Poisoning Attacks over Diabetic Retinopathy Images Classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2023

A Proposal for Trustworthy Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2023

Explainable Deep Learning for Smart Grid Stability Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2023

Obfuscated Mobile Malware Detection by Means of Dynamic Analysis and Explainable Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

2Faces: a new model of malware based on dynamic compiling and reflection.

[BibT_eX]

[DOI]

J. Comput. Virol. Hacking Tech., 2022

Formal Equivalence Checking for Mobile Malware Detection and Family Classification.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Driver Identification Through Formal Methods.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2022

FABNet: Fusion Attention Block and Transfer Learning for Laryngeal Cancer Tumor Grading in P63 IHC Histopathology Images.

[BibT_eX]

[DOI]

IEEE J. Biomed. Health Informatics, 2022

Machine Learning on Soccer Player Positions.

[BibT_eX]

[DOI]

Int. J. Decis. Support Syst. Technol., 2022

Explainability of radiomics through formal methods.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2022

A novel methodology for head and neck carcinoma treatment stage detection by means of model checking.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2022

Assessing Deep Learning Predictions in Image-Based Malware Detection with Activation Maps.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 18th International Workshop, 2022

A Real-time Method for CAN Bus Intrusion Detection by Means of Supervised Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Security and Cryptography, 2022

A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Security and Cryptography, 2022

Timed Automata Networks for SCADA Attacks Real-Time Mitigation.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Decision Technologies, 2022

A Method for Intrusion Detection in Smart Grid.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

Drone Audio recognition based on Machine Learning Techniques.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

High Grade Brain Cancer Segmentation by means of Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

A Model Checking-based Approach to Malicious Family Detection in iOS Environment.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

On the Resilience of Shallow Machine Learning Classification in Image-based Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

Explainable Retinopathy Diagnosis and Localisation by means of Class Activation Mapping.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2022

Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

COVID-19 Detection from Cough Recording by means of Explainable Deep Learning.

[BibT_eX]

[DOI]

Mario Cesarelli

Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

On the Influence of Image Settings in Deep Learning-based Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

Designing Robust Deep Learning Classifiers for Image-based Malware Analysis.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Explainable Deep Learning Methodologies for Biomedical Images Classification.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Automatic Gleason Score Diagnosis with Fuzzy Classification and Radiomic Features.

[BibT_eX]

[DOI]

Luca Brunese

Proceedings of the IEEE International Conference on Fuzzy Systems, 2022

Emotion Recognition from Facial Expression using Explainable Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

Vulnerable Smart Contract Detection by Means of Model Checking.

[BibT_eX]

[DOI]

Proceedings of the BSCI 2022: Proceedings of the 4th ACM International Symposium on Blockchain and Secure Critical Infrastructure, 2022

Blood Cells Counting and Localisation through Deep Learning Object Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2022

Smart Grid monitoring through Deep Learning for Image-based Automatic Dial Meter Reading.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2022

Continuous and Silent User Authentication Through Mouse Dynamics and Explainable Deep Learning: A Proposal.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2022

Machine Learning for Uterine Cervix Screening.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Bioinformatics and Bioengineering, 2022

Deep Learning for Heartbeat Phonocardiogram Signals Explainable Classification.

[BibT_eX]

[DOI]

Mario Cesarelli

Proceedings of the 22nd IEEE International Conference on Bioinformatics and Bioengineering, 2022

Explainable Deep Learning for Alzheimer Disease Classification and Localisation.

[BibT_eX]

[DOI]

AII, 2022

Introducing Quantum Computing in Mobile Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022

2021

Audio signal processing for Android malware detection and family identification.

[BibT_eX]

[DOI]

J. Comput. Virol. Hacking Tech., 2021

CAN-Bus Attack Detection With Deep Learning.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2021

Dynamic Mobile Malware Detection through System Call-based Image representation.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2021

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

[BibT_eX]

[DOI]

J. Am. Medical Informatics Assoc., 2021

Towards an interpretable deep learning model for mobile malware detection and family identification.

[BibT_eX]

[DOI]

Comput. Secur., 2021

Mobile Family Detection through Audio Signals Classification.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Security and Cryptography, 2021

Automated Intention Mining with Comparatively Fine-tuning BERT.

[BibT_eX]

[DOI]

Proceedings of the NLPIR 2021: 5th International Conference on Natural Language Processing and Information Retrieval, Sanya, China, December 17, 2021

Detecting Call Indirection Obfuscation through Equivalence Checking in Android environment.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Exploiting Supervised Machine Learning for Driver Detection in a Real-World Environment.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

A Method for Automatic Penetration Testing and Mitigation: A Red Hat Approach.

[BibT_eX]

[DOI]

Eric Filiol

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Android Collusion Detection by means of Audio Signal Analysis with Machine Learning techniques.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Vulnerability Evaluation of Android Malware Detectors against Adversarial Examples.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Perturbation of Image-based Malware Detection with Smali level morphing techniques.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

A Proposal to Ensure Social Distancing with Deep Learning-based Object Detection.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2021

A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2021

Thermal Ablation Treatment Detection by means of Machine Learning.

[BibT_eX]

[DOI]

Luca Brunese

Giuseppe Peter Vanoli

Proceedings of the International Joint Conference on Neural Networks, 2021

Colluding Covert Channel for Malicious Information Exfiltration in Android Environment.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

A Methodology based on Formal Methods for Thermal Ablation Area Detection.

[BibT_eX]

[DOI]

Luca Brunese

Giuseppe Peter Vanoli

Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications.

[BibT_eX]

[DOI]

Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2020

Editorial.

[BibT_eX]

[DOI]

J. Comput. Virol. Hacking Tech., 2020

Deep learning for image-based mobile malware detection.

[BibT_eX]

[DOI]

J. Comput. Virol. Hacking Tech., 2020

Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2020

Radiomics for Gleason Score Detection through Deep Learning.

[BibT_eX]

[DOI]

Sensors, 2020

DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2020

Visualizing the outcome of dynamic analysis of Android malware with VizMal.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2020

Anomaly detection in substation networks.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2020

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

[BibT_eX]

[DOI]

Inf., 2020

BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes.

[BibT_eX]

[DOI]

Ind. Manag. Data Syst., 2020

Timed Automata for Mobile Ransomware Detection.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020

Model checking for malicious family detection and phylogenetic analysis in mobile environment.

[BibT_eX]

[DOI]

Mario G. C. A. Cimino

Comput. Secur., 2020

Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2020

An ensemble learning approach for brain cancer detection exploiting radiomic features.

[BibT_eX]

[DOI]

Comput. Methods Programs Biomed., 2020

Human behavior characterization for driving style recognition in vehicle system.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2020

Extended pointers for memory protection in single address space systems.

[BibT_eX]

[DOI]

Lanfranco Lopriore

Comput. Electr. Eng., 2020

Machine Learning for Driver Detection through CAN bus.

[BibT_eX]

[DOI]

Proceedings of the 91st IEEE Vehicular Technology Conference, 2020

Machine learning for coronavirus covid-19 detection from chest x-rays.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

Deep learning for heart disease detection through cardiac sounds.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

Evaluating Deep Learning Classification Reliability in Android Malware Family Detection.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Internet of Things, 2020

Hourly Global Solar Radiation Reconstruction Applying Machine Learning.

[BibT_eX]

[DOI]

Francesco Tariello

Giuseppe Peter Vanoli

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Enhanced Privacy and Data Protection using Natural Language Processing and Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Malicious Collusion Detection in Mobile Environment by means of Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Lung Cancer Detection and Characterisation through Genomic and Radiomic Biomarkers.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Identify Potential Attacks from Simulated Log Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Bank Credit Risk Management based on Data Mining Techniques.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

Android Run-time Permission Exploitation User Awareness by Means of Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

Accidental Sensitive Data Leaks Prevention via Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

Predicting Probability of Default Under IFRS 9 Through Data Mining Techniques.

[BibT_eX]

[DOI]

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2020

Colluding Android Apps Detection via Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

Towards the Use of Generative Adversarial Neural Networks to Attack Online Resources.

[BibT_eX]

[DOI]

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

VisualDroid: automatic triage and detection of Android repackaged applications.

[BibT_eX]

[DOI]

Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020

2019

LEILA: Formal Tool for Identifying Mobile Malicious Behaviour.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

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

[BibT_eX]

[DOI]

Maria Francesca Carfora

Soft Comput., 2019

Model Checking Techniques Applied to Satellite Operational Mode Management.

[BibT_eX]

[DOI]

IEEE Syst. J., 2019

Protected pointers to specify access privileges in distributed systems.

[BibT_eX]

[DOI]

Lanfranco Lopriore

J. Parallel Distributed Comput., 2019

Model Checking Based Approach for Compliance Checking.

[BibT_eX]

[DOI]

Inf. Technol. Control., 2019

Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification.

[BibT_eX]

[DOI]

IEEE Access, 2019

Real-Time SCADA Attack Detection by Means of Formal Methods.

[BibT_eX]

[DOI]

Giuseppe Antonio Di Lucca

Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique.

[BibT_eX]

[DOI]

Antonio Borrelli

Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

Wearable Devices for Human Activity Recognition and User Detection.

[BibT_eX]

[DOI]

Proceedings of the 27th Euromicro International Conference on Parallel, 2019

Energy Consumption Metrics for Mobile Device Dynamic Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Model Checking for Data Anomaly Detection.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Dunuen: A User-Friendly Formal Verification Tool.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Formal Modeling for Magnetic Resonance Images Tamper Mitigation.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Radiomic Features for Medical Images Tamper Detection by Equivalence Checking.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Exploiting Model Checking for Mobile Botnet Detection.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Formal Methods for Android Banking Malware Analysis and Detection.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Internet of Things: Systems, 2019

Social Network Polluting Contents Detection through Deep Learning Techniques.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2019

Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2019

Neural Networks for Lung Cancer Detection through Radiomic Features.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2019

Machine Learning to Identify Gender via Hair Elements.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2019

Model Checking to Detect the Hummingbad Malware.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XIII, 2019

Spyware Detection using Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

Can Machine Learning Predict Soccer Match Results?

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Investigating Mobile Applications Quality in Official and Third-party Marketplaces.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

A Data Life Cycle Modeling Proposal by Means of Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, 2019

User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

A Model Checking based Proposal for Mobile Colluding Attack Detection.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2018

Special issue on formal methods for security engineering.

[BibT_eX]

[DOI]

J. Comput. Virol. Hacking Tech., 2018

Evaluating model checking for cyber threats code obfuscation identification.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2018

Talos: no more ransomware victims with formal methods.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2018

Safety Critical Systems Formal Verification Using Execution Traces.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018

Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

Context-Awareness Mobile Devices for Traffic Incident Prevention.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Data Leakage in Java Applets with Exception Mechanism.

[BibT_eX]

[DOI]

Cinzia Bernardeschi

Paolo Masci

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

Cluster Analysis for Driver Aggressiveness Identification.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Information Systems Security and Privacy, 2018

Who's Driving My Car? A Machine Learning based Approach to Driver Identification.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Information Systems Security and Privacy, 2018

Measuring Mobile Applications Quality and Security in Higher Education.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017

Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Diabetes Mellitus Affected Patients Classification and Diagnosis through Machine Learning Techniques.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

Model Checking for Mobile Android Malware Evolution.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Identifying Mobile Repackaged Applications through Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Car hacking identification through fuzzy logic algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

How Discover a Malware using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

Malware and Formal Methods: Rigorous Approaches for detecting Malicious Behaviour.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016

Heuristic search for equivalence checking.

[BibT_eX]

[DOI]

Giuseppe Lettieri

Softw. Syst. Model., 2016

Model Checking to Support Action Controls in the Purchasing Process.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Hey Malware, I Can Find You!

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Conformance Checking using Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Download malware? no, thanks: how formal methods can block update attacks.

[BibT_eX]

[DOI]

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

Identification of Android Malware Families with Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

Ransomware Steals Your Phone. Formal Methods Rescue It.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Ransomware Inside Out.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

Analysing Wiki Quality Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Equivalence-Based Selection of Best-Fit Models to Support Wiki Design.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Integrating Model Driven and Model Checking to Mine Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-PT 2015, 2015

Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Improving Design Patterns Finder Precision Using a Model Checking Approach.

[BibT_eX]

[DOI]

Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015

2014

GreASE: A Tool for Efficient "Nonequivalence" Checking.

[BibT_eX]

[DOI]

Giuseppe Lettieri

ACM Trans. Softw. Eng. Methodol., 2014

CD-Form: A clone detector based on formal methods.

[BibT_eX]

[DOI]

Antonio Cuomo

Umberto Villano

Sci. Comput. Program., 2014

Model Checking Properties on Reduced Trace Systems.

[BibT_eX]

[DOI]

Algorithms, 2014

A Novel Methodology Based on Formal Methods for Analysis and Verification of Wikis.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

An Eclipse-Based Editor to Support LOTOS Newcomers.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Powerful Equivalence Checking in the Bank Supply Process.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE World Congress on Services, 2014

2013

Incremental construction of systems: An efficient characterization of the lacking sub-system.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Application of Equivalence Checking in a Loan Origination Process in Banking Industry.

[BibT_eX]

[DOI]

Valentina Intilangelo

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Efficient Formal Verification in Banking Processes.

[BibT_eX]

[DOI]

Valentina Intilangelo

Proceedings of the IEEE Ninth World Congress on Services, 2013

Partial Order Interpretation of a Mu-Calculus-Like Temporal Logic.

[BibT_eX]

Proceedings of the ICSOFT 2013, 2013

Infer gene regulatory networks from time series data with formal methods.

[BibT_eX]

[DOI]

Michele Ceccarelli

Luigi Cerulo

Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine, 2013

2012

Abstract reduction in directed model checking CCS processes.

[BibT_eX]

[DOI]

Acta Informatica, 2012

A novel approach based on formal methods for clone detection.

[BibT_eX]

[DOI]

Antonio Cuomo

Umberto Villano

Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

Clone detection through process algebras and Java bytecode.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 5th ICSE International Workshop on Software Clones, 2011

Ant Colony Optimization for Deadlock Detection in Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2009

A Formula Driven Incremental Construction of Web Service Compositions.

[BibT_eX]

Proceedings of the ICSOFT 2009, 2009

Applying Formal Methods to Process Innovation.

[BibT_eX]

[DOI]

Maria Tortorella

Proceedings of the Advances in Software Engineering, 2009

Abstracting Models from Execution Traces for Performing Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering, 2009

2008

Modular formal verification of specifications of concurrent systems.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2008

2007

A user-friendly interface to specify temporal properties of concurrent systems.

[BibT_eX]

[DOI]

Inf. Sci., 2007

Discovery of SOA patterns via model checking.

[BibT_eX]

[DOI]

Massimiliano Di Penta

Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, 2007

2006

DELFIN+: An efficient deadlock detection tool for CCS processes.

[BibT_eX]

[DOI]

Sara Gradara

J. Comput. Syst. Sci., 2006

Formal Verification of Concurrent Systems via Directed Model Checking.

[BibT_eX]

[DOI]

Sara Gradara

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

2005

Compositionality and locality for improving model checking in the selective mu-calculus.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

A local approach for temporal model checking of Java bytecode.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2005

Using heuristic search for finding deadlocks in concurrent systems.

[BibT_eX]

[DOI]

Sara Gradara

Inf. Comput., 2005

Reduced Models for Efficient CCS Verification.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

2004

Formula-based abstractions and symbolic execution for model checking programs.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2004

Model Checking Multithreaded Programs by Means of Reduced Models.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

2003

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Modifying LOTOS Specifications by Means of Automatable Formula-Based Integrations.

[BibT_eX]

[DOI]

J. Autom. Reason., 2003

Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems.

[BibT_eX]

[DOI]

Luca Tesei

Fundam. Informaticae, 2003

2002

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

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2002

Syntactic reductions for efficient deadlock analysis.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2002

A tool supporting efficient model checking of concurrent specifications.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2002

A Formula-Driven Modular Attack on State Explosion.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2002

A Notion of Non-Interference for Timed Automata.

[BibT_eX]

[DOI]

Luca Tesei

Fundam. Informaticae, 2002

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

[BibT_eX]

[DOI]

Acta Informatica, 2002

Local model checking of Java bytecode.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

A Tableau-Based Procedure for Model Checking Programs.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Reusing LOTOS specifications.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2001

Efficient Verification of a Multicast Protocol for Mobile Computing.

[BibT_eX]

[DOI]

Giuseppe Anastasi

Alberto Bartoli

Comput. J., 2001

2000

Logic Based Abstractions of Real-Time Systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2000

Compositionality for Improving Model Checking.

[BibT_eX]

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1999

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1999

Abstract Interpretation of Trace Semantics for Concurrent Calculi.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1999

Formula Based Abstractions of Transition Systems for Real-Time Model Checking.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1998

State Space Reduction by Non-Standard Semantics for Deadlock Analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1998

Towards a Logical Semantics for Pure Prolog.

[BibT_eX]

[DOI]

Paolo Mancarella

Sci. Comput. Program., 1998

A Transformation System for Concurrent Processes.

[BibT_eX]

[DOI]

Acta Informatica, 1998

1997

Algebraic Computational Models of OR-Parallel Execution of Prolog.

[BibT_eX]

[DOI]

Acta Informatica, 1997

Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

Unfold/Fold Transformations of Concurrent Processes.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1996

A Non-Standard Semantics for Generating Reduced Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995

Modeling OR-Parallel Execution of Prolog using CHOCS.

[BibT_eX]