| Nome |
# |
|
Analisi e rilevamento intelligente di processi di attacco alle Smart-Grid, file e163b88f-cc2c-c12c-e053-d805fe0a7f21
|
63
|
|
Extended Fault Trees Analysis supported by Stochastic Petri Nets, file e163b88e-f2cf-c12c-e053-d805fe0a7f21
|
62
|
|
Decision Networks for modeling and analysis of attack/defense scenarios in critical infrastructures, file e163b88e-fdbe-c12c-e053-d805fe0a7f21
|
61
|
|
Evidence-Based Analysis of Cyber Attacks to Security Monitored Distributed Energy Resources, file e163b890-1203-c12c-e053-d805fe0a7f21
|
53
|
|
Mean field analysis for Continuous Time Bayesian Networks, file e163b88f-a086-c12c-e053-d805fe0a7f21
|
45
|
|
Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets, file e163b88e-f2d9-c12c-e053-d805fe0a7f21
|
34
|
|
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems, file 912c5122-8190-44b5-a38b-eb4badbf435a
|
31
|
|
Methodologies synthesis, file e163b88e-f8a2-c12c-e053-d805fe0a7f21
|
29
|
|
UML class diagrams supporting formalism definition in the Draw-Net Modeling System, file e163b88f-d8a4-c12c-e053-d805fe0a7f21
|
27
|
|
Simulating the communication of commands and signals in a distribution grid, file e163b88e-f731-c12c-e053-d805fe0a7f21
|
26
|
|
Development of a Dynamic Fault Tree solver based on Colored Petri Nets and graphically interfaced with DrawNET, file e163b88e-f28f-c12c-e053-d805fe0a7f21
|
24
|
|
drawnet2sharpe & sharpe2astra - User's manual, file e163b88e-ee2f-c12c-e053-d805fe0a7f21
|
23
|
|
Analysis of new control applications, file e163b88e-f8a1-c12c-e053-d805fe0a7f21
|
23
|
|
Non deterministic Repairable Fault Trees for computing optimal repair strategy, file e163b88f-064e-c12c-e053-d805fe0a7f21
|
23
|
|
Parametric Dynamic Fault Tree and its Solution through Modularization, file e163b88e-f260-c12c-e053-d805fe0a7f21
|
21
|
|
SAN models of communication scenarios inside the Electrical Power System, file e163b88e-f6d8-c12c-e053-d805fe0a7f21
|
20
|
|
List of requirements on formalisms and selection of appropriate tools, file e163b88f-064f-c12c-e053-d805fe0a7f21
|
20
|
|
Representing domains and scenarios by means of model replication and composition, file e163b88e-f0b1-c12c-e053-d805fe0a7f21
|
17
|
|
SAN models of a benchmark on dynamic reliability, file e163b88e-f0b4-c12c-e053-d805fe0a7f21
|
17
|
|
Applying Generalized Continuous Time Bayesian Networks to a reliability case study, file e163b890-342d-c12c-e053-d805fe0a7f21
|
17
|
|
DBNet, a tool to convert Dynamic Fault Trees into Dynamic Bayesian Networks, file e163b88e-f2ce-c12c-e053-d805fe0a7f21
|
16
|
|
ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models, file e163b88e-f6d9-c12c-e053-d805fe0a7f21
|
15
|
|
Generalized Fault Trees: from reliability to security, file e163b88e-ff6d-c12c-e053-d805fe0a7f21
|
15
|
|
A GSPN semantics for Continuous Time Bayesian Networks with Immediate Nodes, file e163b88e-f730-c12c-e053-d805fe0a7f21
|
14
|
|
Modelling dynamic reliability via Fluid Petri Nets, file e163b88e-f2da-c12c-e053-d805fe0a7f21
|
13
|
|
The RADYBAN tool: Reliability Analysis with DYnamic BAyesian Networks, file e163b88e-f732-c12c-e053-d805fe0a7f21
|
11
|
|
The Draw-Net Modeling System: a framework for the design and the solution of single formalism and multi-formalism models, file e163b88e-f2a5-c12c-e053-d805fe0a7f21
|
10
|
|
The conversion of Parametric Dynamic Fault Trees to Stochastic Well-formed nets as a case of graph transformation, file e163b88e-ff58-c12c-e053-d805fe0a7f21
|
10
|
|
Editorial for the Special Issue on “Fault Trees and Attack Trees: Extensions, Solution Methods, and Applications”, file e163b890-4a73-c12c-e053-d805fe0a7f21
|
10
|
|
Editorial for the Special Issue on “Bayesian Networks: Inference Algorithms, Applications, and Software Tools”, file e163b890-4a32-c12c-e053-d805fe0a7f21
|
9
|
|
Representing the CRUTIAL project domain by means of UML diagrams, file e163b88e-f8dd-c12c-e053-d805fe0a7f21
|
8
|
|
A Benchmark on Dynamic Reliability: An approach based on Generalized Stochastic Petri Nets, file e163b88e-f1e1-c12c-e053-d805fe0a7f21
|
7
|
|
Decision Networks for Security Risk Assessment of Critical Infrastructures, file e163b88f-aba9-c12c-e053-d805fe0a7f21
|
7
|
|
Making CORBA fault-tolerant, file e163b88e-f1e0-c12c-e053-d805fe0a7f21
|
6
|
|
Dynamic Bayesian Networks for Fault Detection, Identification, and Recovery in Autonomous Spacecraft, file e163b88e-fe18-c12c-e053-d805fe0a7f21
|
6
|
|
Modeling and Analysis of Dependable Systems: A Probabilistic Graphical Model Perspective, file e163b88f-15dc-c12c-e053-d805fe0a7f21
|
5
|
|
Generalized Continuous Time Bayesian Networks as a modelling and analysis formalism for dependable systems, file e163b88f-851f-c12c-e053-d805fe0a7f21
|
5
|
|
Analysis and Detection of Cyber Attack Processes targeting Smart Grids, file e163b890-3989-c12c-e053-d805fe0a7f21
|
5
|
|
Rilevamento di anomalie ed intrusion detection in architetture ICT di sistemi di
controllo energetico, file 3ae488da-4255-4330-81b2-6acec8dd6ffc
|
3
|
|
Approaching dynamic reliability with predictive and diagnostic purposes by exploiting dynamic Bayesian networks, file e163b88e-fdbf-c12c-e053-d805fe0a7f21
|
3
|
|
Modeling and Analysis of Dependable Systems through Generalized Continuous Time Bayesian Networks, file e163b88f-0339-c12c-e053-d805fe0a7f21
|
3
|
|
Using Dynamic Decision Networks and Extended Fault Trees for Autonomous Fault Detection, Identification and Recovery, file e163b88e-f0b8-c12c-e053-d805fe0a7f21
|
2
|
|
Supporting reliability engineers in exploiting the power of dynamic Bayesian networks, file e163b88f-02f3-c12c-e053-d805fe0a7f21
|
2
|
|
Mean Field Analysis for Continuous Time Bayesian Networks, file e163b88f-b58d-c12c-e053-d805fe0a7f21
|
2
|
|
A unified modelling and operational framework for Fault Detection,
Identification and Recovery in autonomous spacecrafts, file e163b88e-ee6d-c12c-e053-d805fe0a7f21
|
1
|
|
Evaluation of communication scenarios inside the Electrical Power System, file e163b88e-f72f-c12c-e053-d805fe0a7f21
|
1
|
|
A GSPN based tool to inference Generalized Continuous Time Bayesian Networks, file e163b88e-fefe-c12c-e053-d805fe0a7f21
|
1
|
|
Selecting Failure Countermeasures through Decision Network Analysis, file e163b88e-ffdf-c12c-e053-d805fe0a7f21
|
1
|
|
Quantitative evaluation of attack/defense scenarios through Decision Network modelling and analysis, file e163b88f-0326-c12c-e053-d805fe0a7f21
|
1
|
|
RADYBAN: a tool for Reliability Analysis of Dynamic Fault Trees through Conversion into Dynamic Bayesian Networks, file e163b88f-0380-c12c-e053-d805fe0a7f21
|
1
|
|
A dynamic Bayesian network based framework to evaluate cascading effects in a power grid, file e163b88f-045b-c12c-e053-d805fe0a7f21
|
1
|
|
Reliability Analysis of Systems with Dynamic Dependencies, file e163b88f-065d-c12c-e053-d805fe0a7f21
|
1
|
|
Generalized Continuous Time Bayesian Networks and their GSPN Semantics, file e163b88f-0776-c12c-e053-d805fe0a7f21
|
1
|
|
Compiling Dynamic Fault Trees into Dynamic Bayesian Networks: the RADYBAN Tool, file e163b88f-0777-c12c-e053-d805fe0a7f21
|
1
|
|
A tool for automatically translating dynamic fault trees into dynamic bayesian networks, file e163b88f-077e-c12c-e053-d805fe0a7f21
|
1
|
|
Automatically translating dynamic fault trees into dynamic bayesian networks by means of a software tool, file e163b88f-0780-c12c-e053-d805fe0a7f21
|
1
|
|
Modeling Cascading Failure Propagation via Dynamic Bayesian Networks, file e163b88f-0786-c12c-e053-d805fe0a7f21
|
1
|
| Totale |
836 |