{"meta":{"query_hash":"882b0cc821c3","filters":{"venue":"International Conference on Formal Methods and Models for Co-Design"},"cohort_total":1,"direct_labels_cover":0,"predictions_cover":1,"exported":1,"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/882b0cc821c3","api":"https://metacan.xera.ac/api/v1/cohort?venue=International+Conference+on+Formal+Methods+and+Models+for+Co-Design"},"results":[{"id":"W2113201355","doi":"10.5555/823453.823837","title":"Bridging CSP and C++ with selective formalism and executable specifications","year":2003,"lang":"en","type":"article","venue":"International Conference on Formal Methods and Models for Co-Design","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":false,"ca_institutions":"University of Guelph","funders":"","keywords":"Computer science; Communicating sequential processes; Programming language; Executable; Formal specification; Formalism (music); Formal methods; Specification language; Language Of Temporal Ordering Specification; Formal verification; Concurrency; Inter-process communication; Semantics (computer science); Operational semantics; Distributed computing","score_opus":0.22047810455563632,"score_gpt":0.3901348550870173,"score_spread":0.16965675053138096,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2113201355","genre_codex":"methods","genre_gemma":"methods","domain_codex":null,"domain_gemma":null,"model_version":"codex-gemma-dda1882f352a","genre_candidate":"methods","genre_consensus":"methods","domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.000530454,0.00008990542,0.9860019,0.00027970274,0.00013827182,0.0006300559,0.0000126992,0.00006607364,0.012250927],"genre_scores_gemma":[0.20320028,0.00018991054,0.79606766,0.00013049194,0.00002172937,0.00016128068,0.000004094354,0.000013125034,0.00021144278],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","domain_scores_codex":[0.99835074,0.00029489284,0.00028684112,0.00050246617,0.00023837555,0.00032666844],"domain_scores_gemma":[0.9987647,0.00034177426,0.0001773123,0.00024556968,0.00033512508,0.00013552868],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0021184774,0.0002238634,0.00022251402,0.00020195961,0.00033310743,0.00037643476,0.00031360504,0.00008455905,0.0000053834274],"category_scores_gemma":[0.00014790778,0.00019216341,0.000029250657,0.00013239811,0.00012933773,0.00202877,0.00006681867,0.00017065063,8.994901e-7],"study_design_candidate":"theoretical_or_conceptual","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.00011383626,0.000026862626,0.000010770238,0.000011203405,0.000033921264,6.2881276e-7,0.00068303145,0.0010252927,0.0011639474,0.9184403,0.000040982424,0.078449264],"study_design_scores_gemma":[0.0006047528,0.00045147835,0.00010303272,0.000036839487,0.000013695217,0.00009675122,0.00011780207,0.8168884,0.017888308,0.16248691,0.0010702178,0.00024179682],"about_ca_topic_score_codex":0.000012438753,"about_ca_topic_score_gemma":9.4620617e-7,"teacher_disagreement_score":0.81586313,"about_ca_system_score_codex":0.000048594673,"about_ca_system_score_gemma":0.00010378303,"threshold_uncertainty_score":0.78361964},"labels":[],"label_agreement":null}]}