{"id":"W4319303304","doi":"10.1109/tdsc.2023.3242653","title":"Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems","year":2023,"lang":"en","type":"article","venue":"IEEE Transactions on Dependable and Secure Computing","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"National Science Foundation of Sri Lanka; Commonwealth of Virginia","keywords":"Computer science; Cyber-physical system; Distributed computing; Computer security; Embedded system; Operating system","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001950323,0.0009902739,0.0007689844,0.0007367213,0.0002663925,0.001447532,0.001189847,0.0007094771,0.001153589],"category_scores_gemma":[0.007237676,0.0005083185,0.001095772,0.0003067837,0.0008284698,0.001073652,0.001243005,0.001119491,0.0002288067],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009302372,"about_ca_system_score_gemma":0.001748531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002404481,"about_ca_topic_score_gemma":0.003515206,"domain_scores_codex":[0.9983954,0.0004158501,0.000130612,0.0004099444,0.0005163191,0.0001319364],"domain_scores_gemma":[0.9953483,0.003096771,0.0004975848,0.0005149239,0.0004447943,0.00009759008],"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.0001815817,0.00009370461,0.001929792,0.0001685733,0.00006304315,0.0001670527,0.0001427049,0.9034806,0.01264257,0.01023976,0.0004401436,0.07045043],"study_design_scores_gemma":[0.000009930041,0.00003876003,0.0001418306,0.000007926876,0.00001317571,0.00001668018,0.000008712307,0.990642,0.004633451,0.004033236,0.0004486164,0.000005660881],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02328932,0.0002041781,0.9740679,0.0001344912,0.00002072724,0.00006770929,0.0001090707,0.001179525,0.0009271548],"genre_scores_gemma":[0.7389987,0.000171802,0.2592722,0.0001206827,0.00002296641,0.0002426524,0.0002984872,0.0001535758,0.000718947],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002404481,"threshold_uncertainty_score":0.0103144,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02230080885521114,"score_gpt":0.2785489858857764,"score_spread":0.2562481770305652,"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."}}