{"id":"W2942747183","doi":"10.1109/latw.2019.8704589","title":"Probabilistic High-Level Estimation of Vulnerability and Fault Mitigation of Critical Systems Using Fault-Mitigation Trees (FMTs)","year":2019,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Probabilistic logic; Fault tree analysis; Reliability engineering; Redundancy (engineering); Implementation; Scalability; Vulnerability (computing); Vulnerability assessment; Markov process; Engineering; Software engineering; Artificial intelligence; Computer security; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001172088,0.0001278933,0.0003598677,0.0001618284,0.00007611278,0.000100562,0.0002896612,0.0001121566,0.00002214148],"category_scores_gemma":[0.001725181,0.0001094305,0.00007198896,0.0004591671,0.0002810095,0.0007032125,0.0001265919,0.0001207172,0.000006252869],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008605846,"about_ca_system_score_gemma":0.0001216319,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007732825,"about_ca_topic_score_gemma":0.00002200554,"domain_scores_codex":[0.9977521,0.0003313219,0.0006142673,0.0004467387,0.0006543993,0.0002011211],"domain_scores_gemma":[0.9974114,0.00119914,0.000149024,0.0005525182,0.00059885,0.00008909414],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004741219,0.0009586676,0.03804236,0.005173785,0.0001071557,0.000001879968,0.001823618,0.5415545,0.05250715,0.3153912,0.0000258568,0.04436636],"study_design_scores_gemma":[0.0002293454,0.0001044954,0.01647809,0.0001161479,0.00001735749,0.000004004025,0.0001152766,0.959695,0.009835951,0.013291,0.000001514066,0.0001118419],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5962204,0.00003594921,0.4031735,0.0001630808,0.00006233025,0.0002607433,0.000008298583,0.00003315395,0.0000424832],"genre_scores_gemma":[0.9606959,0.000003011959,0.03921502,0.000007048482,0.00001463464,0.00001191732,0.00001118538,0.000005315437,0.00003601028],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4181404,"threshold_uncertainty_score":0.4462448,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.033452535358615,"score_gpt":0.3193314998570797,"score_spread":0.2858789644984647,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}