{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006629053,0.001543549,0.001444327,0.002021785,0.00133637,0.003940008,0.004108605,0.001814283,0.004508996],"category_scores_gemma":[0.009763925,0.001339885,0.002460432,0.001096125,0.00252239,0.005627209,0.003151453,0.004423677,0.001621638],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001312903,"about_ca_system_score_gemma":0.003636078,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002756073,"about_ca_topic_score_gemma":0.003144943,"domain_scores_codex":[0.9957718,0.000895073,0.0004523982,0.0008745362,0.0016351,0.0003711224],"domain_scores_gemma":[0.9948822,0.002052133,0.0006744345,0.001355503,0.0006648046,0.0003709392],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005406258,0.0002871705,0.001986149,0.0007604876,0.0001885434,0.001128095,0.0009436252,0.05381224,0.02934919,0.6880338,0.01564785,0.2073222],"study_design_scores_gemma":[0.0003107142,0.0003470159,0.0008019293,0.0003862535,0.0003560376,0.001570795,0.0001138384,0.5704842,0.04768204,0.2284062,0.1492566,0.0002843806],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001047559,0.0001413997,0.9878997,0.0001092746,0.00004537459,0.00009614112,0.00007876319,0.00956857,0.001013243],"genre_scores_gemma":[0.07083531,0.0003351729,0.9231701,0.00017498,0.0002261226,0.0003563772,0.000322498,0.001638691,0.002940825],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006629053,"threshold_uncertainty_score":0.0350582,"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."}}