{"id":"W4234001087","doi":"10.1007/978-3-319-23820-3","title":"Runtime Verification","year":2015,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"University of Illinois at Urbana-Champaign; Samsung; Stony Brook University; Aristotle University of Thessaloniki; Austrian Institute of Technology; Universität des Saarlandes; Universidad Politécnica de Madrid; Universität zu Lübeck; Bar-Ilan University; Aalborg Universitet; Technische Universität Darmstadt; Technische Universität Wien; University of Manchester; University of Oxford; McMaster University; National University of Singapore; University of Texas at Austin; Imperial College London; Queen Mary University of London; University of Washington; Fraunhofer-Institut für Sichere Informationstechnologie; Eidgenössische Technische Hochschule Zürich; Indian Institute of Science; Microsoft Research; Arizona State University; University of Missouri; University of Pennsylvania; National Aeronautics and Space Administration","keywords":"Computer science; Programming language; Runtime verification; Formal verification; Software engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008497673,0.001353618,0.0009053671,0.0008942181,0.0007024294,0.002224826,0.001367681,0.0007960219,0.04992487],"category_scores_gemma":[0.002733632,0.0007710661,0.001297575,0.0006975596,0.0007883696,0.002589512,0.001888522,0.002231565,0.03124604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008017225,"about_ca_system_score_gemma":0.001122477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000661109,"about_ca_topic_score_gemma":0.0009664477,"domain_scores_codex":[0.9985948,0.000188594,0.00006974611,0.0003077549,0.0007292315,0.000109825],"domain_scores_gemma":[0.9988563,0.0002838053,0.00004033873,0.0005647567,0.0002243606,0.00003037621],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002016516,0.0001027691,0.0002730944,0.000517228,0.00003927022,0.0001577838,0.0001437558,0.008772589,0.01988554,0.2085286,0.0875145,0.6738631],"study_design_scores_gemma":[0.00008189392,0.00009938105,0.0006318704,0.0003885537,0.00008948803,0.0007608566,0.00006685363,0.05816417,0.07539539,0.3149684,0.5492847,0.00006841357],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.003845482,0.002035707,0.7865212,0.0006551977,0.001023822,0.000147473,0.000863238,0.01947251,0.1854353],"genre_scores_gemma":[0.1819295,0.004347695,0.4376076,0.0008423823,0.0007330721,0.0003099315,0.007170049,0.01116827,0.3558914],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.04992487,"threshold_uncertainty_score":0.1670153,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01580398094141807,"score_gpt":0.2440882948610569,"score_spread":0.2282843139196388,"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."}}