All Stories

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