All Stories

  1. New modeling approaches to evaluate reliability, safety and security in smart-factories
  2. A Two-Level Fusion Framework for Cyber-Physical Anomaly Detection
  3. Distance education boosting interdisciplinarity and internationalization: an experience report from “Ethics, Law and Privacy in Data and Analytics” at SUPSI
  4. Hessian Distributed Ant Optimized Perron–Frobenius Eigen Centrality for Social Networks
  5. Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance
  6. Probabilistic Modelling for Trustworthy Artificial Intelligence in Drone-Supported Autonomous Wheelchairs
  7. YOLO-Based Light-Weight Deep Learning Models for Insect Detection System with Field Adaption
  8. Iterative Reflect Perceptual Sammon and Machine Learning-Based Bagging Classification for Efficient Tumor Detection
  9. Decision Fault Tree Learning and Differential Lyapunov Optimal Control for Path Tracking
  10. Secure Modern Wireless Communication Network Based on Blockchain Technology
  11. A Novel Framework on Security and Energy Enhancement Based on Internet of Medical Things for Healthcare 5.0
  12. System and Method for Driver Drowsiness Detection Using Behavioral and Sensor-Based Physiological Measures
  13. A Systematic Literature Review on Transfer Learning for Predictive Maintenance in Industry 4.0
  14. Collaborative Energy-Efficient Routing Protocol for Sustainable Communication in 5G/6G Wireless Sensor Networks
  15. DeepSkin: A Deep Learning Approach for Skin Cancer Classification
  16. Route Planning for an Autonomous Robotic Vehicle Employing a Weight-Controlled Particle Swarm-Optimized Dijkstra Algorithm
  17. Spatial Kernel Fuzzy Clustering Methods for Microarray Image Spot Segmentation
  18. Fault diagnosis in industrial rotating equipment based on permutation entropy, signal processing and multi-output neuro-fuzzy classifier
  19. Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications
  20. Statistical Channel Model and Systematic Random Linear Network Coding Based QoS Oriented and Energy Efficient UWSN Routing Protocol
  21. A literature review of Artificial Intelligence applications in railway systems
  22. Using log analytics and process mining to enable self-healing in the Internet of Things
  23. Analysis of Finger Vein Recognition using Deep Learning Techniques
  24. Classification and Merging Techniques to Reduce Brokerage Using Multi-Objective Optimization
  25. A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance
  26. A Vision of Intelligent Train Control
  27. Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks
  28. Prediction of Aptamer Protein Interaction Using Random Forest Algorithm
  29. Securing personal identity using blockchain
  30. Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives
  31. Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks
  32. A Systematic Review of Artificial Intelligence Public Datasets for Railway Applications
  33. Digital twins as run-time predictive models for the resilience of cyber-physical systems: a conceptual framework
  34. Towards symbiotic autonomous systems
  35. A Hardware-in-the-Loop Water Distribution Testbed Dataset for Cyber-Physical Security Testing
  36. Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review
  37. Virtualization Technology for LoRaWAN Roaming Simulation in Smart Cities
  38. Bayesian Networks for Online Cybersecurity Threat Detection
  39. Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study
  40. Smart-troubleshooting connected devices: Concept, challenges and opportunities
  41. Towards Model-Based Performability Evaluation of Production Systems
  42. ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis
  43. White Paper on Industry Experiences in Critical Information Infrastructure Security: A Special Session at CRITIS 2019
  44. Data-Driven Fault Diagnosis of Once-through Benson Boilers
  45. A Review of Intelligent Cybersecurity with Bayesian Networks
  46. Complex, Resilient and Smart Systems
  47. Towards Railway Virtual Coupling
  48. From traditional manufacturing and automation systems to holonic intelligent systems
  49. On the development of intelligent railway information and safety systems: an overview of current research
  50. Smart Systems for the Protection of Individuals
  51. Ensuring cyber-security in smart railway surveillance with SHIELD
  52. Ensuring cyber-security in smart railway surveillance with SHIELD
  53. Railway infrastructure monitoring by drones
  54. Technical Committee Reports: The Future of Homeland Security
  55. Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
  56. Towards Automated Drone Surveillance in Railways: State-of-the-Art and Future Directions
  57. Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring
  58. On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
  59. Improving the Dependability of Distributed Surveillance Systems Using Diverse Redundant Detectors
  60. Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3
  61. Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications
  62. Formal methods for railway control systems
  63. Towards Model-Driven V&V assessment of railway control systems
  65. A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems
  66. Formal Methods for Industrial Critical Systems
  67. Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
  68. SAFECOMP'11 post-conference special issue
  69. Effective Surveillance for Homeland Security
  70. White Paper on Industrial Applications of Computer Vision and Pattern Recognition
  71. Theory and Practice of Model Transformations
  72. Automatic Train Protection Systems
  73. Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios
  74. Performance Evaluation of Video Analytics for Surveillance On-Board Trains
  75. Petri Net Modelling of Physical Vulnerability
  76. Empty Vehicle Detection with Video Analytics
  77. Critical Infrastructure Security: Assessment, Prevention, Detection, Response
  78. Critical Infrastructure Security edited by Francesco Flammini
  79. Freight Train monitoring: A Case-Study for the pSHIELD Project
  80. Formal Methods for Intelligent Transportation Systems
  81. Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance
  82. Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective
  83. On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report
  84. Railway Safety, Reliability, and Security
  85. A robust approach for on-line and off-line threat detection based on event tree similarity analysis
  86. Modeling of Railway Logics for Reverse Engineering, Verification and Refactoring
  87. Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection
  88. Model-Driven Availability Evaluation of Railway Control Systems
  89. On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems
  90. Computer Safety, Reliability, and Security
  91. Optimisation of security system design by quantitative risk assessment and genetic algorithms
  92. Towards Wireless Sensor Networks for railway infrastructure monitoring
  93. Multiformalism techniques for critical infrastructure modelling
  94. A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
  95. Dependable integrated surveillance systems for the physical security of metro railways
  96. Model-Based Approaches for Railway Safety, Reliability and Security: The Experience of Ansaldo STS
  97. A Study on Multiformalism Modeling of Critical Infrastructures
  98. Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures
  99. Automatic instantiation of abstract tests on specific configurations for large critical control systems
  100. The software architecture of the OsMoSys Multisolution Framework
  101. UML Based Reverse Engineering for the Verification of Railway Control Logics
  102. Using repairable fault trees for the evaluation of design choices for critical repairable systems
  103. A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems
  104. A Hybrid Testing Methodology for Railway Control Systems
  105. Wireless Sensor Data Fusion for Critical Infrastructure Security
  106. The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System