{"id":"W2073490936","doi":"10.1109/icst.2012.135","title":"A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments","year":2012,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Runtime verification; Temporal logic; Overhead (engineering); Specification language; Programming language; Limit (mathematics); State (computer science); System monitoring; Process (computing); Sequence (biology); Event (particle physics); Formal specification; Real-time computing; Linear temporal logic; Finite-state machine; Distributed computing; Embedded system; Formal verification; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000382512,0.0001072515,0.00009974542,0.0000439867,0.00009522391,0.00006366202,0.000407147,0.00005515892,0.000006149595],"category_scores_gemma":[0.00006178074,0.00008239389,0.00003462586,0.000181358,0.00001807819,0.0008111358,0.0001001038,0.00008925983,0.00003972424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007027098,"about_ca_system_score_gemma":0.0000209209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008589461,"about_ca_topic_score_gemma":1.233306e-7,"domain_scores_codex":[0.9991001,0.00002696866,0.0001341641,0.0002003347,0.0002068175,0.0003316502],"domain_scores_gemma":[0.9992217,0.0001093753,0.00008338284,0.0004166538,0.00006957963,0.00009933103],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00004856451,0.0003882893,0.04158223,0.00004228083,0.00009372276,7.929266e-7,0.003929364,0.0001206156,0.001245235,0.7303347,0.000135264,0.222079],"study_design_scores_gemma":[0.001667781,0.001214286,0.2620441,0.0004727464,0.00007274059,0.00002514914,0.001034283,0.08829019,0.6041694,0.03681103,0.002884715,0.001313637],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0461321,0.00002119364,0.9509391,0.00005112293,0.0006594633,0.0003211834,8.72029e-7,0.0000887626,0.001786227],"genre_scores_gemma":[0.4392551,0.000001511667,0.560419,0.00002869912,0.0001064793,0.00007399979,4.231412e-7,0.000005585274,0.0001092685],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6935236,"threshold_uncertainty_score":0.3359925,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03184284827170318,"score_gpt":0.3381982361814578,"score_spread":0.3063553879097546,"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."}}