{"id":"W1971059059","doi":"10.1007/s10703-012-0182-0","title":"Time-triggered runtime verification","year":2013,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Runtime verification; Computer science; Overhead (engineering); Benchmark (surveying); Disjoint sets; Set (abstract data type); Formal verification; Event (particle physics); Model checking; Bounded function; Distributed computing; Real-time computing; Embedded system; Programming language","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.009124977,0.0002847646,0.0004445487,0.0004269445,0.0001722007,0.000269164,0.001611968,0.0002333865,0.00007075097],"category_scores_gemma":[0.0004730533,0.0002643228,0.0001001759,0.001221774,0.00007486423,0.003159079,0.0002214793,0.000261486,0.002190606],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003354347,"about_ca_system_score_gemma":0.00009619915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005184302,"about_ca_topic_score_gemma":1.395589e-7,"domain_scores_codex":[0.9942063,0.00316323,0.0009493298,0.0005999354,0.0004103093,0.0006708671],"domain_scores_gemma":[0.9973028,0.0005801509,0.0003903531,0.001363837,0.0002120863,0.0001507705],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005542918,0.0001670432,0.0001243895,0.0003114023,0.0000487431,0.000009850855,0.002534404,0.002048337,0.08695273,0.2388682,0.001565585,0.6673139],"study_design_scores_gemma":[0.0004359856,0.0001427185,0.002939282,0.000104377,0.000007994778,0.00006197341,0.0001578725,0.9402951,0.05209469,0.00211004,0.001233746,0.0004162294],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009416491,0.0001305947,0.9884275,0.00005472233,0.0008360259,0.001409452,0.000001011282,0.0005479026,0.007651155],"genre_scores_gemma":[0.0256415,0.000004784709,0.973137,0.00005524769,0.00007464696,0.000615172,0.000002691101,0.00002734564,0.0004415677],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9382467,"threshold_uncertainty_score":0.9999809,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04806893277459231,"score_gpt":0.3334275702699164,"score_spread":0.2853586374953241,"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."}}