All Stories

  1. Attack Graph driven Discrete Event Simulation for Security Assessment in Power Systems
  2. Risk Assessment Models in Hydroelectric Plants
  3. Evaluation of Cyberattack Detection Models in Power Grids: Automated Generation of Attack Processes
  4. Dynamic Bayesian Networks for the Detection and Analysis of Cyber Attacks to Power Systems.
  5. SecuriDN: A Modeling Tool Supporting the Early Detection of Cyberattacks to Smart Energy Systems
  6. A Modular Infrastructure for the Validation of Cyberattack Detection Systems
  7. Editorial for the Special Issue on “Bayesian Networks: Inference Algorithms, Applications, and Software Tools”
  8. Editorial for the Special Issue on “Fault Trees and Attack Trees: Extensions, Solution Methods, and Applications”
  9. Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources
  10. Analysis and Detection of Cyber Attack Processes targeting Smart Grids
  11. Decision Networks for Security Risk Assessment of Critical Infrastructures
  12. Mean Field Analysis for Continuous Time Bayesian Networks
  13. Generalized Continuous Time Bayesian Networks as a modelling and analysis formalism for dependable systems
  14. Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft
  15. Modeling and analysis of dependable systems through Generalized Continuous Time Bayesian Networks
  16. Applying Generalized Continuous Time Bayesian Networks to a reliability case study
  17. Quantitative evaluation of attack/defense scenarios through Decision Network modelling and analysis
  18. Approaching dynamic reliability with predictive and diagnostic purposes by exploiting dynamic Bayesian networks
  19. Modeling and Analysis of Dependable Systems
  20. Selecting failure countermeasures through Decision Network analysis
  21. A GSPN based tool to inference Generalized Continuous Time Bayesian Networks
  22. Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis
  23. A Preliminary Application of Generalized Fault Trees to Security
  24. A dynamic Bayesian network based framework to evaluate cascading effects in a power grid
  25. Using Dynamic Decision Networks and Extended Fault Trees for Autonomous FDIR
  26. Integrating several formalisms in order to increase Fault Trees' modeling power
  27. EVALUATION OF COMMUNICATION SCENARIOS INSIDE THE ELECTRICAL POWER SYSTEM
  28. Supporting reliability engineers in exploiting the power of Dynamic Bayesian Networks
  29. Modeling Cascading Failure Propagation through Dynamic Bayesian Networks
  30. Parametric NdRFT for the derivation of optimal repair strategies
  31. Multiple abstraction levels in performance analysis of WSN monitoring systems
  32. Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks
  33. Non deterministic Repairable Fault Trees for computing optimal repair strategy
  34. UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project
  35. A framework to design and solve Markov Decision Well-formed Net models
  36. Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool
  37. The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation
  38. Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems
  39. System-level Dependability Analysis
  40. Repairable fault tree for the automatic evaluation of repair policies
  41. Reliability Analysis of Systems with Dynamic Dependencies
  42. A Petri Net-Based Tool for the Analysis of Generalized Continuous Time Bayesian Networks
  43. A Unified Modelling and Operational Framework for Fault Detection, Identification, and Recovery in Autonomous Spacecrafts
  44. A tool for automatically translating dynamic fault trees into dynamic bayesian networks
  45. BDD based analysis of parametric fault trees
  46. Efficient Analysis Algorithms for Parametric Fault Trees
  47. Parametric fault trees with dynamic gates and repair boxes