{"meta":{"query_hash":"51c108943429","filters":{"venue":"Runtime Verification"},"cohort_total":2,"direct_labels_cover":0,"predictions_cover":2,"exported":2,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/51c108943429","api":"https://metacan.xera.ac/api/v1/cohort?venue=Runtime+Verification"},"results":[{"id":"W108479562","doi":"","title":"Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors","year":2010,"lang":"en","type":"article","venue":"Runtime Verification","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"McGill University; University of Waterloo","funders":"","keywords":"Computer science; State (computer science); Finite-state machine; Finite state; Programming language; Distributed computing; Parallel computing","score_opus":0.02799736163093753,"score_gpt":0.32983242671742213,"score_spread":0.3018350650864846,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W108479562","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.0021480743,0.00022526733,0.89903224,0.000100818834,0.00011731001,0.000100697274,0.00032369024,0.096337266,0.0016146743],"genre_scores_gemma":[0.16094857,0.0003862993,0.8056574,0.0004260744,0.0002196012,0.00050133263,0.0016450876,0.024845205,0.0053704106],"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.9926152,0.002038308,0.0006053305,0.0015661807,0.0024631822,0.00071182934],"domain_scores_gemma":[0.98561525,0.006452877,0.0010931557,0.004931413,0.0016066547,0.00030060147],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0062814523,0.0032523707,0.0029753027,0.0024847894,0.001504705,0.005743348,0.0073050875,0.0027180407,0.01633156],"category_scores_gemma":[0.024227306,0.0032675068,0.0037039695,0.0013087734,0.0029995863,0.008061335,0.0041810726,0.0053806696,0.0055009173],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.003012498,0.00048325112,0.0052747754,0.00262135,0.00083825673,0.00062110357,0.0007078551,0.12093362,0.0501659,0.21213865,0.070982024,0.53222084],"study_design_scores_gemma":[0.00036183032,0.00021322048,0.00062195584,0.00027272615,0.0003950949,0.00027864252,0.0000845932,0.7675243,0.08544644,0.09425823,0.050299816,0.00024317288],"about_ca_topic_score_codex":0.0064553586,"about_ca_topic_score_gemma":0.008739302,"teacher_disagreement_score":0.01633156,"about_ca_system_score_codex":0.002705371,"about_ca_system_score_gemma":0.005057464,"threshold_uncertainty_score":0},"labels":[],"label_agreement":null},{"id":"W1224289729","doi":"","title":"Runtime verification for the web: a tutorial introduction to interface contracts in web applications","year":2010,"lang":"en","type":"article","venue":"Runtime Verification","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"Université du Québec à Montréal; Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Web application; Runtime verification; Web modeling; Web API; Programming language; World Wide Web; Web service; Operating system; Formal verification","score_opus":0.005499363355318848,"score_gpt":0.24578046652042987,"score_spread":0.24028110316511103,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W1224289729","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.001130963,0.046848375,0.9361825,0.0017467609,0.0009529991,0.000074812415,0.00010769639,0.00136889,0.011587003],"genre_scores_gemma":[0.06778375,0.0973912,0.79347557,0.002589832,0.0071013253,0.0005389327,0.00081488787,0.0025285457,0.027775973],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","domain_scores_codex":[0.99643046,0.0010149721,0.00037081787,0.00058085745,0.0013579905,0.00024501653],"domain_scores_gemma":[0.995561,0.0032375054,0.00012454328,0.00040432307,0.0005728396,0.00009984408],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004248527,0.0018539954,0.0020062688,0.0024247782,0.0010074482,0.0047107213,0.0021273103,0.0034398232,0.007020107],"category_scores_gemma":[0.008723821,0.001847658,0.00295286,0.00311614,0.0035322825,0.0075011677,0.0025053513,0.0069039855,0.0032983315],"study_design_candidate":"not_applicable","study_design_consensus":null,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.00008520308,0.0002272757,0.000408329,0.0017016937,0.00013825526,0.00047960225,0.00094080385,0.018523717,0.0071011405,0.51724094,0.04427985,0.40887314],"study_design_scores_gemma":[0.000059849273,0.00009095384,0.000680926,0.0012151282,0.00010944896,0.0011076716,0.0001313856,0.054811224,0.0074752118,0.65523416,0.27889445,0.00018954003],"about_ca_topic_score_codex":0.0024728442,"about_ca_topic_score_gemma":0.0019351718,"teacher_disagreement_score":0.007020107,"about_ca_system_score_codex":0.0022232642,"about_ca_system_score_gemma":0.0020295833,"threshold_uncertainty_score":0.023484647},"labels":[],"label_agreement":null}]}