{"id":"W2160767434","doi":"10.1007/978-3-319-11164-3_1","title":"First International Competition on Software for Runtime Verification","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Engineering Research","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University; University of Waterloo","funders":"","keywords":"Computer science; Java; Competition (biology); Runtime verification; Event (particle physics); Software; Software engineering; Process (computing); Operating system; Programming language; Formal verification","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.003673258,0.001710593,0.001219041,0.002822999,0.001227787,0.004486636,0.002299952,0.002086735,0.09634419],"category_scores_gemma":[0.003645713,0.000692319,0.001421622,0.002919697,0.001008751,0.004139008,0.003683404,0.003378654,0.04230729],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002075121,"about_ca_system_score_gemma":0.003758421,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001384737,"about_ca_topic_score_gemma":0.002957788,"domain_scores_codex":[0.9974077,0.0004044414,0.0001085462,0.0002765194,0.001448728,0.000354063],"domain_scores_gemma":[0.9975969,0.0004965174,0.00005809288,0.0003650007,0.0009879147,0.0004956237],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001106193,0.0000856346,0.0001141101,0.0002896495,0.00002503982,0.00007261368,0.0001158511,0.001410463,0.002809684,0.06229293,0.6243999,0.3082735],"study_design_scores_gemma":[0.00001735609,0.00006446468,0.0002509168,0.0001763504,0.00001378318,0.0001338777,0.00003568794,0.001628963,0.002138358,0.0184118,0.9771109,0.00001765721],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.006947985,0.03407753,0.1390351,0.01513086,0.04811406,0.0003294114,0.002167776,0.005925378,0.7482719],"genre_scores_gemma":[0.02231412,0.01178786,0.02836979,0.001920981,0.004116957,0.0001519638,0.004119162,0.004855036,0.9223641],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.09634419,"threshold_uncertainty_score":0.3223034,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01673445375875201,"score_gpt":0.2545581799950946,"score_spread":0.2378237262363426,"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."}}