{"id":"W39084266","doi":"10.1007/978-3-642-21437-0_9","title":"Sampling-Based Runtime Verification","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Runtime verification; Benchmark (surveying); Overhead (engineering); Formal verification; Sampling (signal processing); Integer programming; Distributed computing; Algorithm; Programming language; Filter (signal processing)","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.002216232,0.001059812,0.001569162,0.000973375,0.0007144545,0.001596842,0.002035147,0.0007456014,0.007023538],"category_scores_gemma":[0.006356167,0.0008563742,0.001326485,0.0009853814,0.001757267,0.002358041,0.002762396,0.002338812,0.002636338],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001225578,"about_ca_system_score_gemma":0.001171925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008716604,"about_ca_topic_score_gemma":0.001355695,"domain_scores_codex":[0.995641,0.001172916,0.0002037651,0.0007103554,0.00188825,0.0003837318],"domain_scores_gemma":[0.9940907,0.002331671,0.0002018467,0.002631211,0.0006180533,0.000126488],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001303318,0.0002021287,0.001326052,0.0005511999,0.0001267796,0.0001866449,0.0003299894,0.1238849,0.06341429,0.2569552,0.008802254,0.5429171],"study_design_scores_gemma":[0.0000880332,0.0001404318,0.0004663445,0.00005496314,0.0000675424,0.0001650202,0.00003478961,0.7559849,0.06378026,0.1678339,0.01133757,0.00004623349],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009137759,0.0002414651,0.9797797,0.00006552971,0.00008313963,0.00006012266,0.00007600216,0.004730189,0.005826085],"genre_scores_gemma":[0.5298101,0.000368551,0.4554326,0.0001632911,0.0001238977,0.0002644391,0.0006470684,0.002080292,0.01110974],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007023538,"threshold_uncertainty_score":0.02349609,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05135206870084809,"score_gpt":0.2886041281911128,"score_spread":0.2372520594902647,"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."}}