Francesco Flammini

Orcid: 0000-0002-2833-7196

Affiliations:
  • IEEE SMC Technical Committee on Homeland Security
  • University of Naples Federico II, Italy


According to our database1, Francesco Flammini authored at least 100 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Model-based Trustworthiness Evaluation of Autonomous Cyber-Physical Production Systems: A Systematic Mapping Study.
ACM Comput. Surv., June, 2024

Safe Road-Crossing by Autonomous Wheelchairs: a Novel Dataset and its Experimental Evaluation.
CoRR, 2024

Situation Awareness in the Cloud-Edge Continuum.
Proceedings of the Advanced Information Networking and Applications, 2024

2023
Digital Twins for Anomaly Detection in the Industrial Internet of Things: Conceptual Architecture and Proof-of-Concept.
IEEE Trans. Ind. Informatics, December, 2023

A hybrid behavior- and Bayesian network-based framework for cyber-physical anomaly detection.
Comput. Electr. Eng., December, 2023

Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture.
J. Reliab. Intell. Environ., September, 2023

Fault detection and state estimation in robotic automatic control using machine learning.
Array, September, 2023

Hessian Distributed Ant Optimized Perron-Frobenius Eigen Centrality for Social Networks.
ISPRS Int. J. Geo Inf., August, 2023

Decision Fault Tree Learning and Differential Lyapunov Optimal Control for Path Tracking.
Entropy, March, 2023

System and Method for Driver Drowsiness Detection Using Behavioral and Sensor-Based Physiological Measures.
Sensors, February, 2023

Collaborative Energy-Efficient Routing Protocol for Sustainable Communication in 5G/6G Wireless Sensor Networks.
IEEE Open J. Commun. Soc., 2023

Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance.
Eng. Appl. Artif. Intell., 2023

Route Planning for an Autonomous Robotic Vehicle Employing a Weight-Controlled Particle Swarm-Optimized Dijkstra Algorithm.
IEEE Access, 2023

Spatial Kernel Fuzzy Clustering Methods for Microarray Image Spot Segmentation.
IEEE Access, 2023

DeepSkin: A Deep Learning Approach for Skin Cancer Classification.
IEEE Access, 2023

A Systematic Literature Review on Transfer Learning for Predictive Maintenance in Industry 4.0.
IEEE Access, 2023

Probabilistic Modelling for Trustworthy Artificial Intelligence in Drone-Supported Autonomous Wheelchairs.
Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

A Review of Intelligent Infrastructure Surveillance to Support Safe Autonomy in Smart-Railways.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Secure and Efficient Federated Learning by Combining Homomorphic Encryption and Gradient Pruning in Speech Emotion Recognition.
Proceedings of the Information Security Practice and Experience, 2023

Distance education boosting interdisciplinarity and internationalization: an experience report from "Ethics, Law and Privacy in Data and Analytics" at SUPSI.
Proceedings of the 2023 Conference on Human Centered Artificial Intelligence: Education and Practice, 2023

Balancing Privacy and Accuracy in Federated Learning for Speech Emotion Recognition.
Proceedings of the 18th Conference on Computer Science and Intelligence Systems, 2023

Trustworthiness-Related Risks in Autonomous Cyber-Physical Production Systems - A Survey.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

Evaluating Machine Learning Approaches for Cyber and Physical Anomalies in SCADA Systems.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

Optimized Paillier Homomorphic Encryption in Federated Learning for Speech Emotion Recognition.
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022
A hardware-in-the-loop water distribution testbed (WDT) dataset for cyber-physical security testing.
Dataset, November, 2022

Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications.
IEEE Trans. Intell. Transp. Syst., 2022

Machine Learning-Based Approach for Fake News Detection.
J. ICT Stand., 2022

Prediction of Phishing Websites Using AI Techniques.
Int. J. Inf. Secur. Priv., 2022

Securing personal identity using blockchain.
Int. J. Crit. Comput. Based Syst., 2022

Fault diagnosis in industrial rotating equipment based on permutation entropy, signal processing and multi-output neuro-fuzzy classifier.
Expert Syst. Appl., 2022

Formal Modelling and Optimal Traffic Management for Future Railways.
ERCIM News, 2022

Classification and Merging Techniques to Reduce Brokerage Using Multi-Objective Optimization.
Algorithms, 2022

Prediction of Aptamer Protein Interaction Using Random Forest Algorithm.
IEEE Access, 2022

A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance.
IEEE Access, 2022

A Vision of Intelligent Train Control.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Analysis of Finger Vein Recognition using Deep Learning Techniques: Finger Vein Recognition.
Proceedings of the ICMLT 2022: 7th International Conference on Machine Learning Technologies, Rome, Italy, March 11, 2022

Railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines.
Proceedings of the Dependable Computing - EDCC 2022 Workshops, 2022

Improving Resilience in Cyber-Physical Systems based on Transfer Learning.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2022

2021
A Research Agenda for Smarter Cyber-Physical Systems.
J. Integr. Des. Process. Sci., 2021

Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks.
Formal Aspects Comput., 2021

Classification of drugs based on mechanism of action using machine learning techniques.
Discov. Artif. Intell., 2021

An efficient machine learning approach to nephrology through iris recognition.
Discov. Artif. Intell., 2021

Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review.
IEEE Access, 2021

A Hardware-in-the-Loop Water Distribution Testbed Dataset for Cyber-Physical Security Testing.
IEEE Access, 2021

Machine Learning for Threat Recognition in Critical Cyber-Physical Systems.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021

Resilience learning through self adaptation in digital twins of human-cyber-physical systems.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021

2020
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis.
IEEE Trans. Intell. Transp. Syst., 2020

Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study.
Future Gener. Comput. Syst., 2020

Smart-troubleshooting connected devices: Concept, challenges and opportunities.
Future Gener. Comput. Syst., 2020

Roadmaps for AI Integration in the Rail Sector - RAILS.
ERCIM News, 2020

Obstacles in Fully Automatic Program Repair: A survey.
CoRR, 2020

Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

LoRa WAN Roaming for Intelligent Shipment Tracking.
Proceedings of the IEEE Global Conference on Artificial Intelligence and Internet of Things, 2020

Towards Model-Based Performability Evaluation of Production Systems.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019
A Review of Intelligent Cybersecurity with Bayesian Networks.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Data-Driven Fault Diagnosis of Once-through Benson Boilers.
Proceedings of the 4th International Conference on System Reliability and Safety, 2019

White Paper on Industry Experiences in Critical Information Infrastructure Security: A Special Session at CRITIS 2019.
Proceedings of the Critical Information Infrastructures Security, 2019

Complex, Resilient and Smart Systems.
Proceedings of the Resilience of Cyber-Physical Systems, 2019

2017
Ensuring cyber-security in smart railway surveillance with SHIELD.
Int. J. Crit. Comput. Based Syst., 2017

2016
Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring.
Proceedings of the Recent Advances in Computational Intelligence in Defense and Security, 2016

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014).
Sci. Comput. Program., 2016

Towards Automated Drone Surveillance in Railways: State-of-the-Art and Future Directions.
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2016

2015
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems.
Comput. Electr. Eng., 2015

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014
Towards Model-Driven V&V assessment of railway control systems.
Int. J. Softw. Tools Technol. Transf., 2014

Formal methods for railway control systems.
Int. J. Softw. Tools Technol. Transf., 2014

A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2014

2013
SAFECOMP'11 post-conference special issue.
Reliab. Eng. Syst. Saf., 2013

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
Reliab. Eng. Syst. Saf., 2013

The New SHIELD Architectural Framework.
ERCIM News, 2013


Empty Vehicle Detection with Video Analytics.
Proceedings of the Image Analysis and Processing - ICIAP 2013, 2013

Performance Evaluation of Video Analytics for Surveillance On-Board Trains.
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2013

Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios.
Proceedings of the Security Engineering and Intelligence Informatics, 2013

2012
On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report.
Int. J. Crit. Comput. Based Syst., 2012

Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Formal Methods for Intelligent Transportation Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Freight Train monitoring: A Case-Study for the pSHIELD Project.
Proceedings of the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2012

Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance.
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2012

2011
On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Model-Driven Availability Evaluation of Railway Control Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Petri Net Modelling of Physical Vulnerability.
Proceedings of the Critical Information Infrastructure Security, 2011

A robust approach for on-line and off-line threat detection based on event tree similarity analysis.
Proceedings of the 8th IEEE International Conference on Advanced Video and Signal-Based Surveillance, 2011

Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection.
Proceedings of the Availability, Reliability and Security for Business, Enterprise and Health Information Systems, 2011

2010
Multiformalism techniques for critical infrastructure modelling.
Int. J. Syst. Syst. Eng., 2010

2009
Automatic instantiation of abstract tests on specific configurations for large critical control systems.
Softw. Test. Verification Reliab., 2009

A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance.
Reliab. Eng. Syst. Saf., 2009

Model-Based Early Warning and Decision Support to Improve Infrastructure Surveillance.
ERCIM News, 2009

Dependable integrated surveillance systems for the physical security of metro railways.
Proceedings of the Third ACM/IEEE International Conference on Distributed Smart Cameras, 2009

2008
New Paradigms and Tools for High-Assurance Systems Modelling.
ERCIM News, 2008

A Study on Multiformalism Modeling of Critical Infrastructures.
Proceedings of the Critical Information Infrastructure Security, 2008

Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures.
Proceedings of the Critical Information Infrastructure Security, 2008

Wireless Sensor Data Fusion for Critical Infrastructure Security.
Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008

2007
The software architecture of the OsMoSys multisolution framework.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

2006
UML Based Reverse Engineering for the Verification of Railway Control Logics.
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2005
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.
Proceedings of the Dependable Computing, 2005

2004
A Hybrid Testing Methodology for Railway Control Systems.
Proceedings of the Computer Safety, 2004


  Loading...