All Stories

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