All Stories

  1. Architecting software monitors for control-flow anomaly detection through large language models and conformance checking
  2. Hybrid knowledge-based decision support system for intrusion response in industrial cyber-physical systems
  3. Deep learning–based intelligent system for railway track monitoring and fault detection
  4. Opportunities and Risks of Generative AI in Model-Based Engineering of Railway Systems
  5. Towards Explainable Decision Support Using Hybrid Neural Models for Logistic Terminal Automation
  6. CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling
  7. Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining
  8. EFU: Enforcing Federated Unlearning via Functional Encryption
  9. Improving Situation Awareness and Self-Adaptation in Autonomous Wheelchair-Drone Systems through Floor Surface Anomaly Detection
  10. Situation Awareness for Cyber Resilience: A review
  11. Self-adaptive fault diagnosis for unseen working conditions based on digital twins and domain generalization
  12. Process Mining for Digital Twin Development of Industrial Cyber-Physical Systems
  13. Spearman and Jaccard‐Based Convolutional Deep Neural Learning for Early Parkinson’s Diagnosis
  14. An Intelligent Diagnostic Framework Based on Digital Twins and Partial Transfer Learning: Methodology and Industrial Application
  15. Experimental Evaluation of Road-Crossing Decisions by Autonomous Wheelchairs Against Environmental Factors
  16. From Roads to Rails: Bridging the Gap in Signal Recognition Through Computer Vision
  17. LogGenST: A Framework for Synthetic Log Generation Using LLMs for Smart-Troubleshooting
  18. Similarity Feature Construction for Semantic Sensor Ontology Integration via Light Genetic Programming
  19. Railway Switch Control Modeling in European Train Control System Level 3
  20. Journey tracker: driver alerting system with a deep learning approach
  21. Balancing privacy and performance in federated learning: A systematic literature review on methods and metrics
  22. A Discrete Congruence Levenberg–Marquardt Deep Convoluted Neural Learning Classifier for the Automatic Detection of Autism Spectrum Disorder
  23. Experimental Evaluation of Road-Crossing Decisions by Autonomous Wheelchairs against Environmental Factors
  24. Prediction of Mobile Phone Prices using Machine Learning
  25. An Analysis of Car Price Prediction using Machine Learning
  26. Rating Prediction of Football Players using Machine Learning
  27. A study on the application of convolutional neural networks for the maintenance of railway tracks
  28. Guest Editorial Navigating the Nexus of Cyber Security and Resilience
  29. Integrating AI and DTs: challenges and opportunities in railway maintenance application and beyond
  30. New modeling approaches to evaluate reliability, safety and security in smart-factories
  31. A Two-Level Fusion Framework for Cyber-Physical Anomaly Detection
  32. Blockchain‐Based Piecewise Regressive Kupyna Cryptography for Secure Cloud Services
  33. Ridge Regressive Data Preprocessed Quantum Deep Belief Neural Network for Effective Trajectory Planning in Autonomous Vehicles
  34. A Comprehensive Review of Face Recognition Techniques, Trends, and Challenges
  35. A Novel Hybrid Symbolic Fuzzy Interval-Based Clustering Approach for Microarray Image Spot Segmentation
  36. Analysis of Log Files to Enable Smart-Troubleshooting in Industry 4.0: A Systematic Mapping Study
  37. Safe Road-Crossing by Autonomous Wheelchairs: A Novel Dataset and Its Evaluation
  38. Situation Awareness in the Cloud-Edge Continuum
  39. Distance education boosting interdisciplinarity and internationalization: an experience report from “Ethics, Law and Privacy in Data and Analytics” at SUPSI
  40. A hybrid behavior- and Bayesian network-based framework for cyber–physical anomaly detection
  41. Digital Twins for Anomaly Detection in the Industrial Internet of Things: Conceptual Architecture and Proof-of-Concept
  42. A community detection approach based on network representation learning for repository mining
  43. RETRACTED ARTICLE: Machine learning based 64-QAM classification techniques for enhanced optical communication
  44. Detecting malicious reviews and users affecting social reviewing systems: A survey
  45. Music Recommendation via Hypergraph Embedding
  46. A Review of Intelligent Infrastructure Surveillance to Support Safe Autonomy in Smart-Railways
  47. Fault detection and state estimation in robotic automatic control using machine learning
  48. Hessian Distributed Ant Optimized Perron–Frobenius Eigen Centrality for Social Networks
  49. Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance
  50. Trustworthiness-Related Risks in Autonomous Cyber-Physical Production Systems - A Survey
  51. Probabilistic Modelling for Trustworthy Artificial Intelligence in Drone-Supported Autonomous Wheelchairs
  52. LSTM-based failure prediction for railway rolling stock equipment
  53. Optimized Paillier Homomorphic Encryption in Federated Learning for Speech Emotion Recognition
  54. COVID-19 Sentiment Analysis Based on Tweets
  55. Digital Twin for Sustainability Assessment and Policy Evaluation: A Systematic Literature Review
  56. TaughtNet: Learning Multi-Task Biomedical Named Entity Recognition From Single-Task Teachers
  57. Multi-task learning for few-shot biomedical relation extraction
  58. YOLO-Based Light-Weight Deep Learning Models for Insect Detection System with Field Adaption
  59. Iterative Reflect Perceptual Sammon and Machine Learning-Based Bagging Classification for Efficient Tumor Detection
  60. Decision Fault Tree Learning and Differential Lyapunov Optimal Control for Path Tracking
  61. Secure Modern Wireless Communication Network Based on Blockchain Technology
  62. A deep attention based approach for predictive maintenance applications in IoT scenarios
  63. A Novel Framework on Security and Energy Enhancement Based on Internet of Medical Things for Healthcare 5.0
  64. An action–reaction influence model relying on OSN user-generated content
  65. System and Method for Driver Drowsiness Detection Using Behavioral and Sensor-Based Physiological Measures
  66. A Systematic Literature Review on Transfer Learning for Predictive Maintenance in Industry 4.0
  67. Collaborative Energy-Efficient Routing Protocol for Sustainable Communication in 5G/6G Wireless Sensor Networks
  68. DeepSkin: A Deep Learning Approach for Skin Cancer Classification
  69. Route Planning for an Autonomous Robotic Vehicle Employing a Weight-Controlled Particle Swarm-Optimized Dijkstra Algorithm
  70. Spatial Kernel Fuzzy Clustering Methods for Microarray Image Spot Segmentation
  71. A Comparative Performance Evaluation of Various Classification Models for Detection and Classification of Flying Insects
  72. Secure and Efficient Federated Learning by Combining Homomorphic Encryption and Gradient Pruning in Speech Emotion Recognition
  73. Genuine Forgery Signature Detection using Radon Transform and K-Nearest Neighbour
  74. Evaluating eXplainable artificial intelligence tools for hard disk drive predictive maintenance
  75. An anomalous sound detection methodology for predictive maintenance
  76. An end-to-end framework for information extraction from Italian resumes
  77. Evaluating time series encoding techniques for Predictive Maintenance
  78. Prediction of Phishing Websites Using AI Techniques
  79. Fault diagnosis in industrial rotating equipment based on permutation entropy, signal processing and multi-output neuro-fuzzy classifier
  80. Bridging the gap between complexity and interpretability of a data analytics-based process for benchmarking energy performance of buildings
  81. Community detection over feature-rich information networks: An eHealth case study
  82. Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications
  83. Providing Authentication and Privacy for University Certificates using Smart Contracts in Blockchain Technology
  84. Statistical Channel Model and Systematic Random Linear Network Coding Based QoS Oriented and Energy Efficient UWSN Routing Protocol
  85. Improving Resilience in Cyber-Physical Systems based on Transfer Learning
  86. A literature review of Artificial Intelligence applications in railway systems
  87. A Research Agenda for Smarter Cyber-Physical Systems
  88. Using log analytics and process mining to enable self-healing in the Internet of Things
  89. HyCASTLE: A Hybrid ClAssification System based on Typicality, Labels and Entropy
  90. A comprehensive Benchmark for fake news detection
  91. Analysis of Finger Vein Recognition using Deep Learning Techniques
  92. A novel influence diffusion model under temporal and content constraints on Business Social Network
  93. Classification and Merging Techniques to Reduce Brokerage Using Multi-Objective Optimization
  94. A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance
  95. A Vision of Intelligent Train Control
  96. Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks
  97. Prediction of Aptamer Protein Interaction Using Random Forest Algorithm
  98. Securing personal identity using blockchain
  99. Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives
  100. COSINER: COntext SImilarity data augmentation for Named Entity Recognition
  101. Deep Learning for HDD Health Assessment: An Application Based on LSTM
  102. Railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines
  103. Trustworthiness Assessment of Users in Social Reviewing Systems
  104. Deep Learning-Based Community Detection Approach on Multimedia Social Networks
  105. Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks
  106. A Systematic Review of Artificial Intelligence Public Datasets for Railway Applications
  107. Digital twins as run-time predictive models for the resilience of cyber-physical systems: a conceptual framework
  108. Towards symbiotic autonomous systems
  109. Resilience learning through self adaptation in digital twins of human-cyber-physical systems
  110. Machine Learning for Threat Recognition in Critical Cyber-Physical Systems
  111. A Hardware-in-the-Loop Water Distribution Testbed Dataset for Cyber-Physical Security Testing
  112. Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review
  113. Virtualization Technology for LoRaWAN Roaming Simulation in Smart Cities
  114. Bayesian Networks for Online Cybersecurity Threat Detection
  115. LoRa WAN Roaming for Intelligent Shipment Tracking
  116. Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study
  117. Smart-troubleshooting connected devices: Concept, challenges and opportunities
  118. Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways
  119. Towards Model-Based Performability Evaluation of Production Systems
  120. ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis
  121. A Deep Learning Approach to Fake News Detection
  122. White Paper on Industry Experiences in Critical Information Infrastructure Security: A Special Session at CRITIS 2019
  123. Data-Driven Fault Diagnosis of Once-through Benson Boilers
  124. A Review of Intelligent Cybersecurity with Bayesian Networks
  125. Complex, Resilient and Smart Systems
  126. Towards Railway Virtual Coupling
  127. Strategies for Social Networks Modeling
  128. From traditional manufacturing and automation systems to holonic intelligent systems
  129. On the development of intelligent railway information and safety systems: an overview of current research
  130. Smart Systems for the Protection of Individuals
  131. Ensuring cyber-security in smart railway surveillance with SHIELD
  132. Ensuring cyber-security in smart railway surveillance with SHIELD
  133. A Novel Influence Diffusion Model based on User Generated Content in Online Social Networks
  134. Railway infrastructure monitoring by drones
  135. Technical Committee Reports: The Future of Homeland Security
  136. Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
  137. Towards Automated Drone Surveillance in Railways: State-of-the-Art and Future Directions
  138. Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring
  139. On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
  140. Improving the Dependability of Distributed Surveillance Systems Using Diverse Redundant Detectors
  141. Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3
  142. Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications
  143. Formal methods for railway control systems
  144. Towards Model-Driven V&V assessment of railway control systems
  145. A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELING
  146. A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems
  147. Formal Methods for Industrial Critical Systems
  148. Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
  149. SAFECOMP'11 post-conference special issue
  150. Effective Surveillance for Homeland Security
  151. Challenges and Emerging Paradigms for Augmented Surveillance
  152. White Paper on Industrial Applications of Computer Vision and Pattern Recognition
  153. Theory and Practice of Model Transformations
  154. Automatic Train Protection Systems
  155. Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios
  156. Performance Evaluation of Video Analytics for Surveillance On-Board Trains
  157. Petri Net Modelling of Physical Vulnerability
  158. Empty Vehicle Detection with Video Analytics
  159. Critical Infrastructure Security: Assessment, Prevention, Detection, Response
  160. Critical Infrastructure Security edited by Francesco Flammini
  161. Freight Train monitoring: A Case-Study for the pSHIELD Project
  162. Formal Methods for Intelligent Transportation Systems
  163. Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance
  164. Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective
  165. On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report
  166. Railway Safety, Reliability, and Security
  167. The Role of Formal Methods in Software Development for Railway Applications
  168. A robust approach for on-line and off-line threat detection based on event tree similarity analysis
  169. Modeling of Railway Logics for Reverse Engineering, Verification and Refactoring
  170. Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection
  171. Model-Driven Availability Evaluation of Railway Control Systems
  172. On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems
  173. Computer Safety, Reliability, and Security
  174. Optimisation of security system design by quantitative risk assessment and genetic algorithms
  175. Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System
  176. Towards Wireless Sensor Networks for railway infrastructure monitoring
  177. Multiformalism techniques for critical infrastructure modelling
  178. A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
  179. Dependable integrated surveillance systems for the physical security of metro railways
  180. Model-Based Approaches for Railway Safety, Reliability and Security: The Experience of Ansaldo STS
  181. A Study on Multiformalism Modeling of Critical Infrastructures
  182. Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures
  183. Automatic instantiation of abstract tests on specific configurations for large critical control systems
  184. The software architecture of the OsMoSys Multisolution Framework
  185. UML Based Reverse Engineering for the Verification of Railway Control Logics
  186. Using repairable fault trees for the evaluation of design choices for critical repairable systems
  187. A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems
  188. A Hybrid Testing Methodology for Railway Control Systems
  189. Wireless Sensor Data Fusion for Critical Infrastructure Security
  190. The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System