All Stories

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