Contact

All Stories

  1. New modeling approaches to evaluate reliability, safety and security in smart-factories

    Article • ACM Computing Surveys, January 2024, ACM (Association for Computing Machinery)

    Prof. Francesco Flammini

  2. A Two-Level Fusion Framework for Cyber-Physical Anomaly Detection

    Article • IEEE Transactions on Industrial Cyber-Physical Systems, January 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  3. Distance education boosting interdisciplinarity and internationalization: an experience report from “Ethics, Law and Privacy in Data and Analytics” at SUPSI

    Article • December 2023, ACM (Association for Computing Machinery)

    Prof. Francesco Flammini

  4. Hessian Distributed Ant Optimized Perron–Frobenius Eigen Centrality for Social Networks

    Article • ISPRS International Journal of Geo-Information, August 2023, MDPI AG

    Prof. Francesco Flammini

  5. Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance

    Article • Engineering Applications of Artificial Intelligence, August 2023, Elsevier

    Prof. Francesco Flammini

  6. Probabilistic Modelling for Trustworthy Artificial Intelligence in Drone-Supported Autonomous Wheelchairs

    Article • July 2023, ACM (Association for Computing Machinery)

    Prof. Francesco Flammini, Alessandro Antonucci

  7. YOLO-Based Light-Weight Deep Learning Models for Insect Detection System with Field Adaption

    Article • Agriculture, March 2023, MDPI AG

    Prof. Francesco Flammini

  8. Iterative Reflect Perceptual Sammon and Machine Learning-Based Bagging Classification for Efficient Tumor Detection

    Article • Sustainability, March 2023, MDPI AG

    Prof. Francesco Flammini

  9. Decision Fault Tree Learning and Differential Lyapunov Optimal Control for Path Tracking

    Article • Entropy, March 2023, MDPI AG

    Prof. Francesco Flammini

  10. Secure Modern Wireless Communication Network Based on Blockchain Technology

    Article • Electronics, February 2023, MDPI AG

    Prof. Francesco Flammini

  11. A Novel Framework on Security and Energy Enhancement Based on Internet of Medical Things for Healthcare 5.0

    Article • Infrastructures, February 2023, MDPI AG

    Prof. Francesco Flammini

  12. System and Method for Driver Drowsiness Detection Using Behavioral and Sensor-Based Physiological Measures

    Article • Sensors, January 2023, MDPI AG

    Prof. Francesco Flammini

  13. A Systematic Literature Review on Transfer Learning for Predictive Maintenance in Industry 4.0

    Article • IEEE Access, January 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Mauro Caporuscio, Prof. Francesco Flammini

  14. Collaborative Energy-Efficient Routing Protocol for Sustainable Communication in 5G/6G Wireless Sensor Networks

    Article • IEEE Open Journal of the Communications Society, January 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  15. DeepSkin: A Deep Learning Approach for Skin Cancer Classification

    Article • IEEE Access, January 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  16. Route Planning for an Autonomous Robotic Vehicle Employing a Weight-Controlled Particle Swarm-Optimized Dijkstra Algorithm

    Article • IEEE Access, January 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  17. Spatial Kernel Fuzzy Clustering Methods for Microarray Image Spot Segmentation

    Article • IEEE Access, January 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

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

    Article • Expert Systems with Applications, November 2022, Elsevier

    Prof. Francesco Flammini

  19. Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications

    Article • IEEE Transactions on Intelligent Transportation Systems, September 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  20. Statistical Channel Model and Systematic Random Linear Network Coding Based QoS Oriented and Energy Efficient UWSN Routing Protocol

    Article • Electronics, August 2022, MDPI AG

    Prof. Francesco Flammini

  21. A literature review of Artificial Intelligence applications in railway systems

    Article • Transportation Research Part C Emerging Technologies, July 2022, Elsevier

    Prof. Francesco Flammini

  22. Using log analytics and process mining to enable self-healing in the Internet of Things

    Article • Environment Systems & Decisions, May 2022, Springer Science + Business Media

    Prof. Francesco Flammini

  23. Analysis of Finger Vein Recognition using Deep Learning Techniques

    Article • March 2022, ACM (Association for Computing Machinery)

    Prof. Francesco Flammini, Gururaj H L

  24. Classification and Merging Techniques to Reduce Brokerage Using Multi-Objective Optimization

    Article • Algorithms, February 2022, MDPI AG

    Prof. Francesco Flammini

  25. A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance

    Article • IEEE Access, January 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  26. A Vision of Intelligent Train Control

    Article • January 2022, Springer Science + Business Media

    Prof. Francesco Flammini

  27. Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks

    Article • January 2022, Springer Science + Business Media

    Prof. Francesco Flammini

  28. Prediction of Aptamer Protein Interaction Using Random Forest Algorithm

    Article • IEEE Access, January 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  29. Securing personal identity using blockchain

    Article • International Journal of Critical Computer-Based Systems, January 2022, Inderscience Publishers

    Prof. Francesco Flammini

  30. Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives

    Article • IEEE Transactions on Emerging Topics in Computing, January 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  31. Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks

    Article • Formal Aspects of Computing, December 2021, ACM (Association for Computing Machinery)

    Prof. Francesco Flammini

  32. A Systematic Review of Artificial Intelligence Public Datasets for Railway Applications

    Article • Infrastructures, September 2021, MDPI AG

    Prof. Francesco Flammini

  33. Digital twins as run-time predictive models for the resilience of cyber-physical systems: a conceptual framework

    Article • Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, August 2021, Royal Society Publishing

    Prof. Francesco Flammini

  34. Towards symbiotic autonomous systems

    Article • Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, August 2021, Royal Society Publishing

    Prof. Francesco Flammini

  35. A Hardware-in-the-Loop Water Distribution Testbed Dataset for Cyber-Physical Security Testing

    Article • IEEE Access, January 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  36. Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review

    Article • IEEE Access, January 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  37. Virtualization Technology for LoRaWAN Roaming Simulation in Smart Cities

    Article • January 2021, Springer Science + Business Media

    Prof. Francesco Flammini

  38. Bayesian Networks for Online Cybersecurity Threat Detection

    Article • December 2020, Springer Science + Business Media

    Prof. Francesco Flammini

  39. Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study

    Article • Future Generation Computer Systems, November 2020, Elsevier

    Prof. Francesco Flammini

  40. Smart-troubleshooting connected devices: Concept, challenges and opportunities

    Article • Future Generation Computer Systems, October 2020, Elsevier

    Mauro Caporuscio, Prof. Francesco Flammini

  41. Towards Model-Based Performability Evaluation of Production Systems

    Article • September 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  42. ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis

    Article • IEEE Transactions on Intelligent Transportation Systems, June 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  43. White Paper on Industry Experiences in Critical Information Infrastructure Security: A Special Session at CRITIS 2019

    Article • December 2019, Springer Science + Business Media

    Prof. Francesco Flammini

  44. Data-Driven Fault Diagnosis of Once-through Benson Boilers

    Article • November 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Mauro Caporuscio, Prof. Francesco Flammini

  45. A Review of Intelligent Cybersecurity with Bayesian Networks

    Article • October 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  46. Complex, Resilient and Smart Systems

    Article • January 2019, Springer Science + Business Media

    Prof. Francesco Flammini

  47. Towards Railway Virtual Coupling

    Article • November 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  48. From traditional manufacturing and automation systems to holonic intelligent systems

    Article • Procedia Manufacturing, January 2018, Elsevier

    Prof. Francesco Flammini

  49. On the development of intelligent railway information and safety systems: an overview of current research

    Article • Interdisciplinary Description of Complex Systems, January 2018, Croatian Interdisciplinary Society

    Prof. Francesco Flammini

  50. Smart Systems for the Protection of Individuals

    Article • Key Engineering Materials, September 2017, Trans Tech Publications

    Prof. Francesco Flammini

  51. Ensuring cyber-security in smart railway surveillance with SHIELD

    Article • International Journal of Critical Computer-Based Systems, January 2017, Inderscience Publishers

    Prof. Francesco Flammini

  52. Ensuring cyber-security in smart railway surveillance with SHIELD

    Article • International Journal of Critical Computer-Based Systems, January 2017, Inderscience Publishers

    Prof. Francesco Flammini

  53. Railway infrastructure monitoring by drones

    Article • November 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  54. Technical Committee Reports: The Future of Homeland Security

    Article • IEEE Systems Man and Cybernetics Magazine, July 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  55. Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

    Article • Science of Computer Programming, March 2016, Elsevier

    Prof. Francesco Flammini

  56. Towards Automated Drone Surveillance in Railways: State-of-the-Art and Future Directions

    Article • January 2016, Springer Science + Business Media

    Prof. Francesco Flammini

  57. Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring

    Article • December 2015, Springer Science + Business Media

    Prof. Francesco Flammini

  58. On synergies of cyber and physical security modelling in vulnerability assessment of railway systems

    Article • Computers & Electrical Engineering, October 2015, Elsevier

    Prof. Francesco Flammini

  59. Improving the Dependability of Distributed Surveillance Systems Using Diverse Redundant Detectors

    Article • January 2015, Springer Science + Business Media

    Prof. Francesco Flammini

  60. Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3

    Article • January 2015, Springer Science + Business Media

    Prof. Francesco Flammini

  61. Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications

    Article • IFAC-PapersOnLine, January 2015, Elsevier

    Prof. Francesco Flammini

  62. Formal methods for railway control systems

    Article • International Journal on Software Tools for Technology Transfer, August 2014, Springer Science + Business Media

    Prof. Francesco Flammini

  63. Towards Model-Driven V&V assessment of railway control systems

    Article • International Journal on Software Tools for Technology Transfer, May 2014, Springer Science + Business Media

    Prof. Francesco Flammini

  64. A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELING

    Article • International Journal of Reliability Quality and Safety Engineering, February 2014, World Scientific Pub Co Pte Lt

    Professor Mauro Iacono, Prof. Francesco Flammini

  65. A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems

    Article • January 2014, Springer Science + Business Media

    Prof. Francesco Flammini

  66. Formal Methods for Industrial Critical Systems

    Article • January 2014, Springer Science + Business Media

    Prof. Francesco Flammini

  67. Enabling the usage of UML in the verification of railway systems: The DAM-rail approach

    Article • Reliability Engineering & System Safety, December 2013, Elsevier

    Prof. Francesco Flammini

  68. SAFECOMP'11 post-conference special issue

    Article • Reliability Engineering & System Safety, December 2013, Elsevier

    Prof. Francesco Flammini

  69. Effective Surveillance for Homeland Security

    Article • June 2013, Taylor & Francis

    Prof. Francesco Flammini

  70. White Paper on Industrial Applications of Computer Vision and Pattern Recognition

    Article • January 2013, Springer Science + Business Media

    Dr. Fabio Narducci, Prof. Francesco Flammini

  71. Theory and Practice of Model Transformations

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen, María Alpuente, Professor Hiroshi G Okuno, Prof. Francesco Flammini

  72. Automatic Train Protection Systems

    Article • Industrial Engineering & Management, January 2013, OMICS Publishing Group

    Prof. Francesco Flammini

  73. Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios

    Article • January 2013, Springer Science + Business Media

    Prof. Francesco Flammini

  74. Performance Evaluation of Video Analytics for Surveillance On-Board Trains

    Article • January 2013, Springer Science + Business Media

    Prof. Francesco Flammini

  75. Petri Net Modelling of Physical Vulnerability

    Article • January 2013, Springer Science + Business Media

    Prof. Francesco Flammini

  76. Empty Vehicle Detection with Video Analytics

    Article • January 2013, Springer Science + Business Media

    Prof. Francesco Flammini

  77. Critical Infrastructure Security: Assessment, Prevention, Detection, Response

    Article • Kybernetes, October 2012, Emerald

    Prof. Francesco Flammini

  78. Critical Infrastructure Security edited by Francesco Flammini

    Article • Risk Analysis, August 2012, Wiley

    Prof. Francesco Flammini

  79. Freight Train monitoring: A Case-Study for the pSHIELD Project

    Article • July 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  80. Formal Methods for Intelligent Transportation Systems

    Article • January 2012, Springer Science + Business Media

    Prof. Francesco Flammini

  81. Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance

    Article • January 2012, Springer Science + Business Media

    Prof. Francesco Flammini

  82. Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective

    Article • January 2012, Springer Science + Business Media

    Prof. Francesco Flammini

  83. On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report

    Article • International Journal of Critical Computer-Based Systems, January 2012, Inderscience Publishers

    Prof. Francesco Flammini

  84. Railway Safety, Reliability, and Security

    Article • January 2012, IGI Global

    Prof. Francesco Flammini

  85. A robust approach for on-line and off-line threat detection based on event tree similarity analysis

    Article • August 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  86. Modeling of Railway Logics for Reverse Engineering, Verification and Refactoring

    Article • International Journal of Safety and Security Engineering, March 2011, International Information and Engineering Technology Association

    Prof. Francesco Flammini

  87. Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection

    Article • January 2011, Springer Science + Business Media

    Prof. Francesco Flammini

  88. Model-Driven Availability Evaluation of Railway Control Systems

    Article • January 2011, Springer Science + Business Media

    Prof. Francesco Flammini

  89. On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems

    Article • January 2011, Springer Science + Business Media

    Prof. Francesco Flammini

  90. Computer Safety, Reliability, and Security

    Article • January 2011, Springer Science + Business Media

    Prof. Francesco Flammini

  91. Optimisation of security system design by quantitative risk assessment and genetic algorithms

    Article • International Journal of Risk Assessment and Management, January 2011, Inderscience Publishers

    Prof. Francesco Flammini

  92. Towards Wireless Sensor Networks for railway infrastructure monitoring

    Article • October 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  93. Multiformalism techniques for critical infrastructure modelling

    Article • International Journal of System of Systems Engineering, January 2010, Inderscience Publishers

    Prof. Francesco Flammini

  94. A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance

    Article • Reliability Engineering & System Safety, September 2009, Elsevier

    Prof. Francesco Flammini

  95. Dependable integrated surveillance systems for the physical security of metro railways

    Article • August 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  96. Model-Based Approaches for Railway Safety, Reliability and Security: The Experience of Ansaldo STS

    Article • IFAC Proceedings Volumes, June 2009, Elsevier

    Prof. Francesco Flammini

  97. A Study on Multiformalism Modeling of Critical Infrastructures

    Article • January 2009, Springer Science + Business Media

    Prof. Francesco Flammini

  98. Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures

    Article • January 2009, Springer Science + Business Media

    Prof. Francesco Flammini

  99. Automatic instantiation of abstract tests on specific configurations for large critical control systems

    Article • Software Testing Verification and Reliability, February 2008, Wiley

    Prof. Francesco Flammini

  100. The software architecture of the OsMoSys Multisolution Framework

    Article • January 2007, Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (ICST)

    Prof. Francesco Flammini

  101. UML Based Reverse Engineering for the Verification of Railway Control Logics

    Article • May 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini

  102. Using repairable fault trees for the evaluation of design choices for critical repairable systems

    Article • January 2005, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Mauro Iacono, Prof. Francesco Flammini

  103. A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems

    Article • January 2005, Springer Science + Business Media

    Prof. Francesco Flammini

  104. A Hybrid Testing Methodology for Railway Control Systems

    Article • January 2004, Springer Science + Business Media

    Prof. Francesco Flammini

  105. Wireless Sensor Data Fusion for Critical Infrastructure Security

    Article • Springer Science + Business Media

    Prof. Francesco Flammini

  106. The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Francesco Flammini