{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":243,"total_is_capped":false,"direct_labels_cover":2,"predictions_cover":243,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"8f0893f2b2f1","filters":{"topic":"Safety Systems Engineering in Autonomy"}},"results":[{"id":"W2796163371","doi":"10.4271/2018-01-1075","title":"An Analysis of ISO 26262: Machine Learning and Safety in Automotive Software","year":2018,"lang":"en","type":"article","venue":"SAE technical papers on CD-ROM/SAE technical paper series","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":100,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Automotive industry; Automotive engineering; Computer science; Software; Vehicle safety; Functional safety; Manufacturing engineering; Engineering; Operating system","authors":[{"name":"Rick Salay","is_ca":true},{"name":"Rodrigo Queiroz","is_ca":true},{"name":"Krzysztof Czarnecki","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.006039161863486798,"gpt":0.2286953337664737,"spread":0.2226561719029869,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01419121,0.0008521294,0.0004582019,0.007877944,0.0012682,0.004811558,0.001213954,0.001994475,0.002166625],"category_scores_gemma":[0.04338206,0.0005752211,0.001060465,0.004658374,0.002498854,0.004320721,0.001502356,0.002054328,0.001209036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003852297,"about_ca_system_score_gemma":0.0080129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009078202,"about_ca_topic_score_gemma":0.007310843,"domain_scores_codex":[0.9649692,0.004970846,0.002033248,0.001287631,0.02543327,0.001305926],"domain_scores_gemma":[0.9487158,0.01283801,0.003221713,0.00519606,0.02953284,0.0004955285],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003063829,0.0005204612,0.02795969,0.001128414,0.0001072472,0.000812181,0.002793675,0.04082813,0.01849315,0.3578454,0.02559221,0.523613],"study_design_scores_gemma":[0.00007496204,0.001428556,0.09723908,0.00211168,0.0002772788,0.001457695,0.002634906,0.2074418,0.06969428,0.1554496,0.4618772,0.0003129645],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2224823,0.006864898,0.5686416,0.0124974,0.0009524656,0.00104969,0.001550759,0.003356063,0.1826048],"genre_scores_gemma":[0.7803243,0.004032624,0.1837939,0.001633386,0.0004190457,0.0007116352,0.004947167,0.001492917,0.02264496],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01419121,"threshold_uncertainty_score":0.07505119,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1972364602","doi":"10.1007/s10270-010-0164-x","title":"Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile","year":2010,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":60,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"","keywords":"Airworthiness; Certification; Computer science; Unified Modeling Language; Software engineering; Systems engineering; Verification and validation; Software; Engineering; Programming language","authors":[{"name":"Gregory Zoughbi","is_ca":true},{"name":"Lionel Briand","is_ca":false},{"name":"Yvan Labiche","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008318773994544077,"gpt":0.1903546389593147,"spread":0.1820358649647706,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002209397,0.0009208592,0.00066876,0.002369704,0.0006462926,0.002956616,0.001570768,0.001326253,0.008834143],"category_scores_gemma":[0.006351537,0.0007013411,0.001214131,0.001142611,0.0005475315,0.002536281,0.0009938967,0.001148407,0.005117129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002110062,"about_ca_system_score_gemma":0.003351999,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03064653,"about_ca_topic_score_gemma":0.02095423,"domain_scores_codex":[0.9985172,0.0003665761,0.0001199072,0.0001907231,0.0006864497,0.000119143],"domain_scores_gemma":[0.9975622,0.0008270415,0.0002286885,0.0006463412,0.0006432626,0.00009248695],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000371024,0.0003882191,0.005596454,0.0007558348,0.0001105083,0.000364027,0.001126884,0.2070935,0.01756914,0.4773726,0.09201318,0.1972386],"study_design_scores_gemma":[0.0001268605,0.0001161063,0.002221437,0.0002979745,0.0001167646,0.0003107181,0.0001210863,0.4945199,0.01828203,0.07589206,0.4079016,0.00009359525],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01942092,0.0003470625,0.8931339,0.001090285,0.0001200262,0.0005028409,0.01295204,0.02008247,0.0523505],"genre_scores_gemma":[0.3088762,0.001150241,0.5925981,0.0005863533,0.0001819796,0.001161748,0.03876693,0.005461545,0.0512169],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03064653,"threshold_uncertainty_score":0.06093627,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3165570722","doi":"10.1109/mits.2021.3070651","title":"Acclimatizing the Operational Design Domain for Autonomous Driving Systems","year":2021,"lang":"en","type":"article","venue":"IEEE Intelligent Transportation Systems Magazine","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":58,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Scope (computer science); Domain (mathematical analysis); Task (project management); Process (computing); Computer science; Systems engineering; Iterative and incremental development; Work (physics); Proof of concept; Transport engineering; Simulation; Engineering; Software engineering","authors":[{"name":"Chen Sun","is_ca":true},{"name":"Zejian Deng","is_ca":true},{"name":"Wenbo Chu","is_ca":false},{"name":"Shen Li","is_ca":false},{"name":"Dongpu Cao","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02769303210146403,"gpt":0.2362428627812052,"spread":0.2085498306797412,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002766404,0.0005481946,0.0001768942,0.0006250741,0.0006139152,0.001697458,0.0007669777,0.0005980295,0.001732257],"category_scores_gemma":[0.006103769,0.0004985888,0.0007218358,0.0002350856,0.001661175,0.002164205,0.002972584,0.001776939,0.0003836122],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009804603,"about_ca_system_score_gemma":0.00209189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001880408,"about_ca_topic_score_gemma":0.003474747,"domain_scores_codex":[0.9975592,0.001106879,0.0002000663,0.0003014554,0.0006606734,0.0001716796],"domain_scores_gemma":[0.9968798,0.001288763,0.0002808737,0.0008614699,0.0005947655,0.00009420803],"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.0001823663,0.000317335,0.007895463,0.000842604,0.00006674792,0.0009181828,0.009228013,0.1076384,0.1212496,0.4258424,0.003706772,0.3221121],"study_design_scores_gemma":[0.00007347246,0.0003774909,0.003218081,0.0004923588,0.00009429239,0.00121056,0.003143432,0.3898542,0.130537,0.1884486,0.2824323,0.0001183031],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04377236,0.00009306333,0.9463775,0.0003836127,0.00002622019,0.0002417058,0.0000580783,0.0008494253,0.008198],"genre_scores_gemma":[0.3329667,0.0001825237,0.6616935,0.0002222325,0.00001330933,0.0002567978,0.0002762687,0.0003109886,0.00407786],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002766404,"threshold_uncertainty_score":0.01463032,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4317548775","doi":"10.1016/j.eswa.2023.119569","title":"Evidence-based decision-making: On the use of systematicity cases to check the compliance of reviews with reporting guidelines such as PRISMA 2020","year":2023,"lang":"en","type":"article","venue":"Expert Systems with Applications","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":51,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"York University","funders":"","keywords":"Systematic review; Guideline; Certification; Quality (philosophy); Quality assurance; Computer science; Trustworthiness; Risk analysis (engineering); Management science; Process management; Knowledge management; MEDLINE; Medicine; Business; Political science; Engineering; Computer security","authors":[{"name":"Alvine Boaye Belle","is_ca":true},{"name":"Yixi Zhao","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.3134951760922504,"gpt":0.3741838087340318,"spread":0.06068863264178143,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["metaresearch"],"consensus_categories":["metaresearch"],"category_scores_codex":[0.8836306,0.006561057,0.01657676,0.04085476,0.009175316,0.03777637,0.01911119,0.04388937,0.008266386],"category_scores_gemma":[0.9389206,0.008550247,0.0186997,0.02612319,0.03817566,0.06366654,0.03351743,0.02574785,0.004180475],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.02020342,"about_ca_system_score_gemma":0.07838558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004438061,"about_ca_topic_score_gemma":0.003563337,"domain_scores_codex":[0.04644192,0.7604924,0.1337145,0.01230873,0.04529488,0.001747645],"domain_scores_gemma":[0.02335489,0.8494298,0.04532451,0.03943728,0.04010843,0.002345034],"domain_codex":"methods","domain_gemma":"reporting","domain_candidate":"reporting","domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.002177081,0.0003965573,0.004735298,0.07969649,0.007685272,0.002523195,0.03257941,0.006262474,0.001243436,0.495468,0.06748246,0.2997504],"study_design_scores_gemma":[0.003412084,0.0006517314,0.001342062,0.1569722,0.003255449,0.001295688,0.003259828,0.02235178,0.00314352,0.6393433,0.1638602,0.001112212],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005741127,0.03123869,0.6836203,0.1729084,0.01075766,0.06978878,0.001433502,0.002017298,0.02249437],"genre_scores_gemma":[0.05622192,0.006904366,0.8531799,0.01951559,0.001408625,0.06112253,0.0005300874,0.0002647055,0.0008522539],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1163694,"threshold_uncertainty_score":0.1465867,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3135014913","doi":"10.1016/j.sysarc.2021.102073","title":"Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support","year":2021,"lang":"en","type":"article","venue":"Journal of Systems Architecture","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":48,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; STRIDE; Software engineering; Software security assurance; Flexibility (engineering); Reuse; Formal specification; Formal methods; Context (archaeology); Specification language; Threat model; Component-based software engineering; Computer security; Software development; Software; Programming language; Information security; Security service","authors":[{"name":"Quentin Rouland","is_ca":false},{"name":"Brahim Hamid","is_ca":false},{"name":"Jason Jaskolka","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02681172154353578,"gpt":0.2654638147834343,"spread":0.2386520932398986,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008588647,0.001031279,0.0009367164,0.002213741,0.0006879626,0.00415868,0.002428345,0.00227628,0.00108575],"category_scores_gemma":[0.03614541,0.001108182,0.001417273,0.0008473029,0.003105092,0.005188115,0.002208496,0.002920409,0.0003465466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001100994,"about_ca_system_score_gemma":0.004549343,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002711186,"about_ca_topic_score_gemma":0.003323,"domain_scores_codex":[0.9903115,0.003827049,0.001010925,0.0006265055,0.003750081,0.0004738827],"domain_scores_gemma":[0.9706828,0.01787891,0.002978992,0.005195556,0.002966698,0.0002971093],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003554253,0.0005207356,0.009969139,0.0007398358,0.0002259264,0.0004907021,0.001625447,0.3456906,0.02180855,0.3714682,0.002690173,0.2444153],"study_design_scores_gemma":[0.00005419683,0.00009831361,0.000470192,0.0001442946,0.00005454122,0.0002374399,0.0001504015,0.8512248,0.01365211,0.1300804,0.003777375,0.00005604263],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01389786,0.0001936118,0.9838341,0.0003569225,0.000022068,0.0001028391,0.00003534348,0.0006947698,0.0008623755],"genre_scores_gemma":[0.453109,0.0005229536,0.5440366,0.0001618617,0.00005551826,0.0002821325,0.0002070684,0.0002563745,0.001368452],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008588647,"threshold_uncertainty_score":0.0454216,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2163359684","doi":"10.1007/978-3-642-21292-5_12","title":"Software Certification: Is There a Case against Safety Cases?","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":46,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Certification; Computer science; Domain (mathematical analysis); Analogy; Safety case; Process (computing); Risk analysis (engineering); Safety engineering; Cornerstone; Structuring; Software engineering; Underpinning; Software; Engineering management; Systems engineering; Engineering; Reliability engineering; Business","authors":[{"name":"Alan Wassyng","is_ca":true},{"name":"Tom Maibaum","is_ca":true},{"name":"Mark Lawford","is_ca":true},{"name":"Hans Bherer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02375891222213366,"gpt":0.2149050686399529,"spread":0.1911461564178193,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0243932,0.0006451575,0.000968852,0.002373987,0.003371957,0.009436714,0.003302505,0.01041788,0.007807943],"category_scores_gemma":[0.1192887,0.0007817108,0.0009817277,0.0012775,0.02275316,0.02461546,0.004965648,0.01277701,0.001877281],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002764597,"about_ca_system_score_gemma":0.004857533,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002580829,"about_ca_topic_score_gemma":0.002677777,"domain_scores_codex":[0.9757851,0.01103907,0.001007844,0.001779175,0.008906431,0.001482291],"domain_scores_gemma":[0.8705702,0.1051226,0.00426023,0.007672108,0.01036713,0.002007719],"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.00003011993,0.00003916006,0.00080719,0.0001433447,0.00001373275,0.0003969146,0.001282348,0.0006224019,0.0001641155,0.9096708,0.02390499,0.06292485],"study_design_scores_gemma":[0.00002069888,0.00003163188,0.0003000751,0.0005375058,0.0000202119,0.0007365136,0.001375782,0.002947413,0.0006052747,0.9239886,0.06941077,0.0000255024],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.02975345,0.01463737,0.2565826,0.3460593,0.005295367,0.0001601208,0.0001087868,0.0007336101,0.3466693],"genre_scores_gemma":[0.8578132,0.00595649,0.06242404,0.03170841,0.002688748,0.0001870212,0.0001448421,0.0003806927,0.03869664],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.0243932,"threshold_uncertainty_score":0.1290051,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2051185212","doi":"10.1109/mc.2008.37","title":"A Product-Focused Approach to Software Certification","year":2008,"lang":"en","type":"article","venue":"Computer","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":41,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Certification; Computer science; Product (mathematics); Process (computing); Software quality; Software; Product certification; Software quality control; Process management; Engineering management; Risk analysis (engineering); Software engineering; Computer security; Software development; Business; Engineering; Management","authors":[{"name":"T. S. E. Maibaum","is_ca":true},{"name":"Alan Wassyng","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02548879976340308,"gpt":0.1844352340603689,"spread":0.1589464342969658,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0219619,0.00162828,0.0009126659,0.007145021,0.002945649,0.0106364,0.004427497,0.00711418,0.008541883],"category_scores_gemma":[0.03307681,0.001096616,0.001371411,0.003273493,0.02278505,0.01366721,0.007100983,0.008046156,0.003654731],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007660776,"about_ca_system_score_gemma":0.01009259,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004584841,"about_ca_topic_score_gemma":0.004215542,"domain_scores_codex":[0.974327,0.01232519,0.0009069102,0.002759556,0.008896261,0.000785072],"domain_scores_gemma":[0.9679275,0.0132863,0.001550155,0.007574867,0.008724824,0.0009363931],"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.000007673459,0.00004290709,0.0002198168,0.0001199453,0.00001076386,0.00008274739,0.0009179629,0.001090309,0.0002238509,0.9710145,0.002330903,0.02393855],"study_design_scores_gemma":[0.00003081225,0.0001351973,0.0004168777,0.0004917947,0.00002682105,0.0003379441,0.0006858369,0.004706997,0.0009661383,0.8510784,0.1410852,0.00003796107],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004128996,0.003699749,0.6249884,0.01981699,0.0006252437,0.0007510706,0.00009508689,0.000457706,0.3454368],"genre_scores_gemma":[0.4123116,0.007576766,0.4458023,0.01218315,0.001127403,0.002082832,0.00024072,0.0005444337,0.1181308],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0219619,"threshold_uncertainty_score":0.116147,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2117262336","doi":"10.1016/j.jss.2010.08.048","title":"A formal approach for the specification and verification of trustworthy component-based systems","year":2010,"lang":"en","type":"article","venue":"Journal of Systems and Software","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":37,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Component (thermodynamics); Trustworthiness; Formal verification; Computer science; Formal methods; Software engineering; Formal specification; Model checking; Programming language; Computer security","authors":[{"name":"Mubarak Mohammad","is_ca":true},{"name":"Vangalur Alagar","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01193438245092998,"gpt":0.1950519219256482,"spread":0.1831175394747182,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008053599,0.001380388,0.001117794,0.00199326,0.001702003,0.004988396,0.004160175,0.002674327,0.002771725],"category_scores_gemma":[0.01741684,0.001961038,0.003356105,0.00121506,0.005828566,0.005606255,0.004330577,0.005495883,0.0009102989],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00213449,"about_ca_system_score_gemma":0.005787656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004729206,"about_ca_topic_score_gemma":0.004472181,"domain_scores_codex":[0.9911569,0.002750097,0.001093256,0.000610869,0.003839163,0.0005496649],"domain_scores_gemma":[0.9876372,0.006876602,0.0007168952,0.002741654,0.00174973,0.0002778479],"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.00007441032,0.0001503196,0.0004281866,0.0004460287,0.0001067093,0.0004521897,0.0008556215,0.09631432,0.007801486,0.8500342,0.001473512,0.04186307],"study_design_scores_gemma":[0.000160439,0.0001536136,0.0001668028,0.0003405714,0.0001820269,0.0003556398,0.0001748524,0.4475968,0.01204084,0.5120203,0.02671702,0.00009103241],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009757514,0.0001004263,0.9978963,0.0001307413,0.00002834648,0.0000753054,0.00001916189,0.0002053595,0.0005685036],"genre_scores_gemma":[0.1026068,0.0005735373,0.89397,0.0001932738,0.000112599,0.0005221374,0.0001462692,0.0001777754,0.001697594],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008053599,"threshold_uncertainty_score":0.04259205,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2145698501","doi":"10.1109/risp.1991.130788","title":"Toward an approach to measuring software trust","year":2002,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":36,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Bell (Canada)","funders":"","keywords":"Computer science; Software development; Set (abstract data type); Software; Software engineering; Software development process; Scale (ratio); Programming language","authors":[{"name":"Edward G. Amoroso","is_ca":true},{"name":"Tri-Dung Nguyen","is_ca":true},{"name":"Jonathan D. Weiss","is_ca":true},{"name":"John Watson","is_ca":false},{"name":"P. Lapiska","is_ca":false},{"name":"Thomas L. Starr","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05194512105696597,"gpt":0.1901008557508169,"spread":0.138155734693851,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.03168519,0.001611271,0.001288484,0.009367087,0.00259045,0.01172048,0.003848436,0.00383031,0.002120483],"category_scores_gemma":[0.1085033,0.001074823,0.001576665,0.006599916,0.008992527,0.01599937,0.009098371,0.006562726,0.0009113368],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007786707,"about_ca_system_score_gemma":0.006208984,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006713679,"about_ca_topic_score_gemma":0.003980829,"domain_scores_codex":[0.9418775,0.03077659,0.004567253,0.004046342,0.01746314,0.001269165],"domain_scores_gemma":[0.915144,0.03854669,0.01092689,0.0101578,0.0229236,0.00230098],"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.00006988362,0.0001866658,0.0129766,0.0002737662,0.0001469478,0.0001328791,0.006638257,0.01274673,0.001942162,0.8609289,0.00344424,0.1005129],"study_design_scores_gemma":[0.00003332152,0.0002860645,0.005295317,0.0003450834,0.000078203,0.0002971961,0.004864305,0.08723541,0.003264918,0.8717624,0.02640982,0.0001278526],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01155763,0.000567319,0.9661543,0.00313055,0.0001103968,0.0002990359,0.000117916,0.0004126193,0.01765008],"genre_scores_gemma":[0.293337,0.0005844005,0.7018591,0.0004806097,0.00008239352,0.000881766,0.000178686,0.0001175936,0.002478476],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03168519,"threshold_uncertainty_score":0.1675693,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2973063031","doi":"10.1145/3342481","title":"A Survey of Tool-supported Assurance Case Assessment Techniques","year":2019,"lang":"en","type":"review","venue":"ACM Computing Surveys","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":30,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Certification; Computer science; Dependability; Strengths and weaknesses; Process (computing); Quality assurance; Task (project management); Engineering management; Safety assurance; Process management; Risk analysis (engineering); Software engineering; Systems engineering; Engineering; Operations management; Business","authors":[{"name":"Mike Maksimov","is_ca":true},{"name":"Sahar Kokaly","is_ca":true},{"name":"Marsha Chećhik","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06909217308592452,"gpt":0.3404557327219368,"spread":0.2713635596360123,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02144079,0.001724714,0.001863812,0.03157252,0.0008548793,0.003261155,0.003902337,0.001597872,0.004891991],"category_scores_gemma":[0.09334861,0.001094924,0.002649073,0.02710934,0.001265614,0.005125158,0.002172927,0.001377574,0.00232882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002649947,"about_ca_system_score_gemma":0.008460234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004208836,"about_ca_topic_score_gemma":0.005051653,"domain_scores_codex":[0.978956,0.00822729,0.004116009,0.001630751,0.006688561,0.0003813829],"domain_scores_gemma":[0.8511652,0.1213338,0.00781916,0.003804029,0.01527026,0.000607497],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00004983769,0.0001007473,0.001183219,0.03871065,0.0001547494,0.00009705587,0.0009542636,0.0005076516,0.0005573612,0.003447709,0.004825443,0.9494114],"study_design_scores_gemma":[0.0001113507,0.0006512128,0.01441733,0.2182895,0.001684374,0.00306536,0.003298479,0.002812731,0.00501425,0.01400849,0.7363831,0.0002638022],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.004937093,0.9424347,0.03541367,0.001080385,0.000254289,0.0009551113,0.0005753977,0.0005812645,0.01376814],"genre_scores_gemma":[0.02878439,0.8906842,0.07579893,0.0005161931,0.0001293064,0.001169818,0.0011155,0.0001598344,0.001641774],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.03157252,"threshold_uncertainty_score":0.1133911,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1570292182","doi":"10.1109/mdat.2015.2462720","title":"Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?","year":2015,"lang":"en","type":"article","venue":"IEEE Design and Test","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":26,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Certification; Quality assurance; Process (computing); Product (mathematics); Risk analysis (engineering); Process management; Quality (philosophy); Key (lock); Product certification; Computer science; Reliability (semiconductor); Argument (complex analysis); Business; Food and drug administration; Engineering management; Computer security; Engineering; Medicine; Marketing","authors":[{"name":"Alan Wassyng","is_ca":true},{"name":"Neeraj Kumar Singh","is_ca":true},{"name":"Mischa Geven","is_ca":true},{"name":"Nicholas V. Proscia","is_ca":true},{"name":"Hao Wang","is_ca":false},{"name":"Mark Lawford","is_ca":true},{"name":"Tom Maibaum","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04232497002817816,"gpt":0.2540947884094398,"spread":0.2117698183812616,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.1305862,0.001508978,0.001321063,0.006281279,0.001829816,0.0135608,0.006367977,0.007385728,0.008742099],"category_scores_gemma":[0.345904,0.001789898,0.001999998,0.003845858,0.005749927,0.02439298,0.004898351,0.005296923,0.005087506],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004681378,"about_ca_system_score_gemma":0.008242285,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00273734,"about_ca_topic_score_gemma":0.003221846,"domain_scores_codex":[0.9076204,0.04657719,0.01202756,0.004167087,0.02762973,0.001977961],"domain_scores_gemma":[0.610566,0.2077248,0.03143687,0.1027352,0.04389437,0.003642837],"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.0003873642,0.0007917442,0.00837712,0.001249133,0.0001336526,0.001005526,0.005969569,0.007703445,0.003832842,0.567724,0.03366648,0.369159],"study_design_scores_gemma":[0.0004925795,0.00113475,0.004665776,0.003656832,0.0002179471,0.002264834,0.002674673,0.03895056,0.01245551,0.4566763,0.4763849,0.0004253039],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01987614,0.002072485,0.865795,0.02210853,0.001844446,0.00320665,0.0007351505,0.006854177,0.07750741],"genre_scores_gemma":[0.1412859,0.001164542,0.8421176,0.003810929,0.0003284714,0.002187641,0.001033392,0.0011491,0.006922408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1305862,"threshold_uncertainty_score":0.6906139,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1996677066","doi":"10.1109/re.2012.6345813","title":"Towards outcome-based regulatory compliance in aviation security","year":2012,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":24,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":true},"ca_institutions":"University of Ottawa; Carleton University; Transport Canada","funders":"Transport Canada","keywords":"Outcome (game theory); Compliance (psychology); Aviation; Process (computing); Risk analysis (engineering); Process management; Computer science; Air transport; Knowledge management; Computer security; Business; Engineering; Transport engineering","authors":[{"name":"Rasha Tawhid","is_ca":true},{"name":"Edna Braun","is_ca":true},{"name":"Nick Cartwright","is_ca":true},{"name":"Mohammad Alhaj","is_ca":true},{"name":"Gunter Mussbacher","is_ca":true},{"name":"Azalia Shamsaei","is_ca":true},{"name":"Daniel Amyot","is_ca":true},{"name":"Saeed Ahmadi Behnam","is_ca":true},{"name":"Gregory Richards","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02952810522844546,"gpt":0.2511838550964292,"spread":0.2216557498679837,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.08220448,0.0008751841,0.0006938868,0.004773031,0.001593913,0.008631772,0.002443803,0.002044254,0.001653844],"category_scores_gemma":[0.1070371,0.0006587844,0.001070501,0.002990256,0.009466914,0.01009516,0.005765003,0.003972393,0.000461929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007686985,"about_ca_system_score_gemma":0.01116174,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01013638,"about_ca_topic_score_gemma":0.008764875,"domain_scores_codex":[0.902791,0.06378925,0.006738244,0.003684392,0.02121254,0.001784469],"domain_scores_gemma":[0.8795393,0.05444283,0.0175038,0.01181935,0.03558173,0.001112932],"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.0001292755,0.0003724809,0.02363437,0.0009116392,0.00008306853,0.0002310018,0.0200747,0.02449913,0.003938449,0.7512896,0.002833095,0.1720032],"study_design_scores_gemma":[0.0001122034,0.0008295103,0.02571951,0.002128404,0.0001492667,0.0003398007,0.02492193,0.1631559,0.02525455,0.6964917,0.06054037,0.000356863],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0770053,0.0003376459,0.8727701,0.006130581,0.0001137244,0.000633906,0.000216195,0.0009077911,0.04188479],"genre_scores_gemma":[0.6946306,0.0004090782,0.3004996,0.0005947797,0.00003572836,0.000715685,0.0004175414,0.000171886,0.002525034],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.08220448,"threshold_uncertainty_score":0.4347441,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2541436993","doi":"10.1109/step.2002.1267625","title":"Software product quality practices - quality measurement and evaluation using TL9000 and ISO/IEC 9126","year":2004,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":23,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Software quality; Quality (philosophy); Software quality control; Reliability engineering; Product (mathematics); Software measurement; Software; Software quality analyst; Computer science; Verification and validation; Process (computing); Systems engineering; Engineering; Manufacturing engineering; Software development; Operations management; Mathematics","authors":[{"name":"Witold Suryn","is_ca":true},{"name":"P. Bourque","is_ca":true},{"name":"Alain Abran","is_ca":true},{"name":"Claude Y. Laporte","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1700937392054056,"gpt":0.357768020908473,"spread":0.1876742817030674,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02060721,0.000871501,0.000545949,0.007592931,0.0007771556,0.004699322,0.001617287,0.000870253,0.001179746],"category_scores_gemma":[0.04253295,0.0004313831,0.0005418102,0.00456614,0.001434849,0.003326357,0.00161881,0.001417566,0.001332333],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002552906,"about_ca_system_score_gemma":0.004038896,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004385768,"about_ca_topic_score_gemma":0.004757626,"domain_scores_codex":[0.9362116,0.01305082,0.005564534,0.00139489,0.04325162,0.0005265084],"domain_scores_gemma":[0.9448203,0.006773577,0.005495701,0.004817987,0.03766986,0.0004224607],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001154338,0.0004289048,0.01852271,0.001994258,0.00008594939,0.0001070854,0.004126716,0.004654516,0.02291108,0.03272623,0.01372504,0.9006021],"study_design_scores_gemma":[0.0001951138,0.007050565,0.1344388,0.007956088,0.0005152244,0.002809497,0.01067592,0.04778552,0.1471254,0.04676567,0.5940961,0.0005861149],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05741645,0.006572978,0.8270203,0.003037465,0.0004678849,0.001178409,0.0008218298,0.004322031,0.09916268],"genre_scores_gemma":[0.3303213,0.005274795,0.6444269,0.000632316,0.0001813215,0.00098539,0.002485894,0.0006654004,0.01502663],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02060721,"threshold_uncertainty_score":0.1089826,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2802031355","doi":"10.1007/978-3-319-91271-4_18","title":"Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":22,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Computer science; Formal specification; Programming language; Formal methods; Formal verification; Software engineering; Systems Modeling Language; Domain (mathematical analysis); Automated theorem proving; Unified Modeling Language","authors":[{"name":"Steve Jeffrey Tueno Fotso","is_ca":true},{"name":"Marc Frappier","is_ca":true},{"name":"Régine Laleau","is_ca":false},{"name":"Amel Mammar","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04325637717332654,"gpt":0.2339521247348908,"spread":0.1906957475615642,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003821827,0.0006095115,0.0004194018,0.001321896,0.0004807924,0.004162181,0.002261187,0.00131168,0.006190566],"category_scores_gemma":[0.005974825,0.000679285,0.001247896,0.0007339193,0.0009690393,0.003640441,0.00205414,0.001897232,0.003760024],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001567501,"about_ca_system_score_gemma":0.002941791,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006240715,"about_ca_topic_score_gemma":0.006217776,"domain_scores_codex":[0.9955651,0.0008811078,0.0005413849,0.0004064053,0.002174585,0.0004313115],"domain_scores_gemma":[0.996609,0.0008616877,0.0003482075,0.00111249,0.0009797501,0.00008892996],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002312117,0.0001981304,0.002712406,0.0005189817,0.00008385194,0.0009351966,0.001055562,0.1121477,0.03841001,0.6835606,0.01671465,0.1434316],"study_design_scores_gemma":[0.0000797953,0.0002318645,0.001462253,0.000506158,0.0001488797,0.0007155745,0.0005445867,0.4059874,0.05694707,0.1506193,0.3826123,0.0001449322],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03098893,0.0002429703,0.9150819,0.000714167,0.0001460141,0.0004196826,0.001227656,0.006441549,0.04473714],"genre_scores_gemma":[0.2670992,0.0005621514,0.6881189,0.0005900154,0.00006959792,0.0007062118,0.005625799,0.002807396,0.03442066],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006240715,"threshold_uncertainty_score":0.02070951,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1413060739","doi":"10.1007/978-3-642-53956-5_7","title":"Insulin Pump Software Certification","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":22,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Certification; Software engineering; Software; Programming language; Management","authors":[{"name":"Yihai Chen","is_ca":false},{"name":"Mark Lawford","is_ca":true},{"name":"Hao Wang","is_ca":true},{"name":"Alan Wassyng","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01301654862993548,"gpt":0.2025459946981898,"spread":0.1895294460682543,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006321191,0.0005517606,0.000279302,0.0008858365,0.0003112725,0.001226067,0.0007631207,0.0008383492,0.02107786],"category_scores_gemma":[0.001987954,0.0003477129,0.0003414683,0.0005474863,0.0004322294,0.001256436,0.001044724,0.001210033,0.01059754],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004963893,"about_ca_system_score_gemma":0.0009439007,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006520806,"about_ca_topic_score_gemma":0.0006051303,"domain_scores_codex":[0.9992131,0.00007976667,0.00002673042,0.0001013611,0.0005257305,0.00005329836],"domain_scores_gemma":[0.9992027,0.0002050711,0.00005101393,0.0001629854,0.0003397828,0.00003851137],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001276763,0.0001076688,0.0004557403,0.0002899272,0.00001084651,0.0001938436,0.0001139267,0.00373961,0.01220338,0.05384531,0.0527123,0.8761998],"study_design_scores_gemma":[0.000060902,0.0002479108,0.001756306,0.0005242013,0.00003823677,0.0014678,0.00009841516,0.04888552,0.06664977,0.03133586,0.8488711,0.00006397765],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01677773,0.006932914,0.5660777,0.001946369,0.002165607,0.0003007406,0.0004061143,0.01448165,0.3909112],"genre_scores_gemma":[0.3206698,0.008827959,0.1610635,0.001132574,0.0006658239,0.0002481012,0.002477109,0.002565689,0.5023496],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02107786,"threshold_uncertainty_score":0.07051253,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4366966556","doi":"10.1109/mvt.2023.3263334","title":"Dynamic Heterogeneous Redundancy-Based Joint Safety and Security for Connected Automated Vehicles: Preliminary Simulation and Field Test Results","year":2023,"lang":"en","type":"article","venue":"IEEE Vehicular Technology Magazine","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":22,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Jiangsu Provincial Key Research and Development Program; National Natural Science Foundation of China","keywords":"Redundancy (engineering); Executor; Functional safety; Computer science; Vulnerability (computing); Computer security; Fail-safe; Reliability engineering; Engineering; Computer network","authors":[{"name":"Yufeng Li","is_ca":false},{"name":"Qi Liu","is_ca":false},{"name":"Weihua Zhuang","is_ca":true},{"name":"Yiqing Zhou","is_ca":false},{"name":"Chenhong Cao","is_ca":false},{"name":"Jiangxing Wu","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.008394012647142431,"gpt":0.2335266593707734,"spread":0.2251326467236309,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007938725,0.0007425963,0.0005099006,0.000700813,0.0003180253,0.0003309895,0.0009673411,0.0005535313,0.002288769],"category_scores_gemma":[0.001270491,0.0001639799,0.000389429,0.0002955871,0.0007327676,0.00054268,0.0004082221,0.0003860455,0.000188651],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008525581,"about_ca_system_score_gemma":0.0005565208,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006892027,"about_ca_topic_score_gemma":0.004642179,"domain_scores_codex":[0.9996821,0.00008184166,0.00001274286,0.00003636311,0.0001115915,0.00007539721],"domain_scores_gemma":[0.9985408,0.0005726182,0.0001652948,0.0001641483,0.0004119949,0.0001452188],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005439717,0.0003959601,0.004566218,0.0002376691,0.00006620598,0.0002999209,0.000132081,0.9590548,0.01566039,0.001303492,0.0008926887,0.01684668],"study_design_scores_gemma":[0.0001220339,0.001381751,0.001461938,0.0000109822,0.00003378274,0.00004529507,0.00007894676,0.986845,0.009023994,0.0005180376,0.0004637034,0.00001453967],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9528481,0.0001843738,0.04028238,0.0001401789,0.00005048987,0.0002074581,0.0001657983,0.0008240367,0.005297299],"genre_scores_gemma":[0.9972664,0.00002625925,0.002195086,0.000006498138,0.000001523872,0.00003190672,0.00004201357,0.00000675809,0.0004234051],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.006892027,"threshold_uncertainty_score":0.01370382,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2089014229","doi":"10.1109/healthcom.2014.7001811","title":"Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM","year":2014,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":20,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Probabilistic logic; Reliability (semiconductor); Interoperability; Markov chain; Model checking; Process (computing); Software engineering; Data mining; Reliability engineering; Machine learning; Programming language; Artificial intelligence; Engineering","authors":[{"name":"Usman Pervez","is_ca":false},{"name":"Osman Hasan","is_ca":false},{"name":"Khalid Latif","is_ca":false},{"name":"Sofiène Tahar","is_ca":true},{"name":"Amjad Gawanmeh","is_ca":false},{"name":"Mohamed Salah Hamdi","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.009122081383412832,"gpt":0.2234608166186108,"spread":0.2143387352351979,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006540099,0.0006612839,0.0004925285,0.001275284,0.0005643019,0.001659455,0.001960906,0.0009232474,0.002758682],"category_scores_gemma":[0.01462589,0.0006796881,0.002299903,0.0005666472,0.002062483,0.001430155,0.001963401,0.001829298,0.0004243742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001781146,"about_ca_system_score_gemma":0.004934109,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008508116,"about_ca_topic_score_gemma":0.004342277,"domain_scores_codex":[0.9948211,0.001639353,0.0004248937,0.0006033822,0.002055158,0.0004561127],"domain_scores_gemma":[0.9877522,0.007830103,0.001064367,0.001222729,0.001979332,0.0001512793],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000120015,0.0001133541,0.002837102,0.0004427735,0.000128181,0.0009125618,0.0004431726,0.7454549,0.01405069,0.2174378,0.001306366,0.01675309],"study_design_scores_gemma":[0.00003283512,0.00008247083,0.0004887722,0.00004917275,0.00005888059,0.00015463,0.00004204793,0.9509552,0.006584341,0.03806017,0.00346331,0.00002812688],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02003201,0.00009797427,0.9737459,0.0003236836,0.00003140882,0.0001887609,0.0003291323,0.001237974,0.004013119],"genre_scores_gemma":[0.582864,0.0003489282,0.4114222,0.0002481985,0.00004492171,0.0005573038,0.0007751889,0.0002634848,0.003475579],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008508116,"threshold_uncertainty_score":0.0345878,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4400233908","doi":"10.1109/noms59830.2024.10575429","title":"Intent Assurance using LLMs guided by Intent Drift","year":2024,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":18,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science","authors":[{"name":"Kristina Dzeparoska","is_ca":true},{"name":"Ali Tizghadam","is_ca":true},{"name":"Alberto Leon‐Garcia","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01541141093161201,"gpt":0.2292902315967318,"spread":0.2138788206651198,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006125562,0.001196318,0.0006420616,0.001588303,0.001035435,0.002622789,0.001511788,0.001112948,0.00296464],"category_scores_gemma":[0.02810245,0.0007490191,0.001363166,0.0004243588,0.002586531,0.004066037,0.00439724,0.003352878,0.0009236064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001959895,"about_ca_system_score_gemma":0.004158546,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006324434,"about_ca_topic_score_gemma":0.006472268,"domain_scores_codex":[0.9941297,0.002048075,0.0004394901,0.0008569057,0.002032116,0.0004938503],"domain_scores_gemma":[0.9842063,0.008053292,0.001632284,0.002749381,0.002808346,0.0005504522],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0008471949,0.0005285498,0.01302981,0.0006881031,0.0001496423,0.001200079,0.00624008,0.3802182,0.06153848,0.2771701,0.009465942,0.2489238],"study_design_scores_gemma":[0.00003970171,0.0001334878,0.0003971639,0.0000886714,0.0000399295,0.0001309982,0.0003154881,0.8805851,0.01724929,0.09250002,0.008467974,0.00005205812],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02495594,0.00009510598,0.965991,0.0006323135,0.00006286086,0.0002674093,0.0001694694,0.005216888,0.002609037],"genre_scores_gemma":[0.5314462,0.0001312436,0.4630439,0.0005272301,0.00005642386,0.0002929324,0.0007108269,0.0009962054,0.002795016],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006324434,"threshold_uncertainty_score":0.03239542,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2895208382","doi":"10.1145/3239372.3239413","title":"Assurance via model transformations and their hierarchical refinement","year":2018,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":18,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"Natural Sciences and Engineering Research Council of Canada; Ontario Centres of Excellence","keywords":"Correctness; Computer science; Hierarchy; Process (computing); Structuring; Information assurance; Software security assurance; Theoretical computer science; Software engineering; Algorithm; Programming language; Computer security; Information security","authors":[{"name":"Zinovy Diskin","is_ca":true},{"name":"Tom Maibaum","is_ca":true},{"name":"Alan Wassyng","is_ca":true},{"name":"Stephen Wynn-Williams","is_ca":true},{"name":"Mark Lawford","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.00789282033411196,"gpt":0.1905563170122364,"spread":0.1826634966781244,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008787698,0.001031573,0.0007334051,0.002383812,0.001785101,0.003682826,0.001949133,0.001765629,0.002998106],"category_scores_gemma":[0.01828406,0.001107901,0.003859414,0.001673909,0.008700685,0.007573061,0.005876885,0.005355556,0.0008593848],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002789406,"about_ca_system_score_gemma":0.002369995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005244344,"about_ca_topic_score_gemma":0.003897667,"domain_scores_codex":[0.9914032,0.003447311,0.0006520396,0.001064366,0.002889193,0.0005440386],"domain_scores_gemma":[0.988204,0.004845641,0.000938074,0.004432627,0.001313184,0.0002664387],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001805511,0.0000266954,0.0004019287,0.00004956831,0.00002079579,0.000153801,0.000778213,0.01498496,0.001613321,0.9707708,0.0003208791,0.01086101],"study_design_scores_gemma":[0.00001682868,0.00003492795,0.0001504343,0.00003013496,0.0000238137,0.00008231747,0.0001199713,0.0779769,0.002604458,0.9117469,0.007192652,0.00002066273],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006146025,0.000090521,0.9876112,0.0003779522,0.00001889752,0.00008473579,0.00003584409,0.0004020967,0.005232722],"genre_scores_gemma":[0.2912722,0.0003636917,0.7030156,0.0001936759,0.00007666947,0.0003872685,0.0002181604,0.0002910371,0.004181786],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008787698,"threshold_uncertainty_score":0.04647434,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2563522961","doi":"10.1109/issrew.2016.12","title":"On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification","year":2016,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":17,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"École de Technologie Supérieure; Université du Québec à Montréal","funders":"","keywords":"Software engineering; Computer science; Software development; Avionics; Avionics software; Certification; Social software engineering; Software construction; Context (archaeology); Systems engineering; Life-critical system; Verification and validation; Model-driven architecture; Software system; Software; Engineering","authors":[{"name":"Andrés Paz","is_ca":true},{"name":"Ghizlane El Boussaidi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05643150080069812,"gpt":0.234943772205635,"spread":0.1785122714049369,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02031681,0.0008790101,0.00102839,0.004316221,0.001220018,0.006267478,0.003389213,0.003584454,0.002513409],"category_scores_gemma":[0.0487788,0.0009133244,0.002138823,0.002525187,0.003382273,0.00735078,0.004295926,0.003107442,0.0005841895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003198598,"about_ca_system_score_gemma":0.006395737,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004035148,"about_ca_topic_score_gemma":0.003779303,"domain_scores_codex":[0.9783956,0.00923652,0.001639915,0.001068281,0.008749787,0.0009099545],"domain_scores_gemma":[0.9419529,0.03276397,0.004386225,0.01272182,0.007504723,0.0006703219],"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.0001205814,0.0003396696,0.00435651,0.001400333,0.0001732395,0.0004508091,0.001954739,0.07478017,0.005283182,0.7843029,0.002478662,0.1243592],"study_design_scores_gemma":[0.0001030772,0.0006804381,0.00314569,0.003609435,0.0002369171,0.001058999,0.001482176,0.4475181,0.01416894,0.4347408,0.09305871,0.0001967601],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.043622,0.004806282,0.905687,0.006767861,0.0001495333,0.0003598983,0.0001628122,0.001474936,0.03696968],"genre_scores_gemma":[0.5579729,0.004175354,0.4332813,0.0008417934,0.0001419962,0.0003943993,0.0005954725,0.0004104131,0.002186331],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02031681,"threshold_uncertainty_score":0.1074468,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2747381231","doi":"10.1007/978-3-319-66266-4_5","title":"Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach","year":2017,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":17,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; McMaster University","funders":"","keywords":"Computer science; Automotive industry; Functional safety; Context (archaeology); Software; Work (physics); Software quality; Reliability engineering; Quality (philosophy); Safety standards; Risk analysis (engineering); Software development; Engineering","authors":[{"name":"Sahar Kokaly","is_ca":true},{"name":"Rick Salay","is_ca":true},{"name":"Marsha Chećhik","is_ca":true},{"name":"Mark Lawford","is_ca":true},{"name":"Tom Maibaum","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01597265675834108,"gpt":0.2572693407303958,"spread":0.2412966839720547,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001835548,0.001569371,0.001397004,0.004012804,0.0007098416,0.002580807,0.002665713,0.001607153,0.005066528],"category_scores_gemma":[0.005913317,0.0008351611,0.002045817,0.001796648,0.0007528301,0.002553139,0.002145242,0.001498586,0.0007956912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001226657,"about_ca_system_score_gemma":0.001428321,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007107238,"about_ca_topic_score_gemma":0.007493223,"domain_scores_codex":[0.9974908,0.0007016098,0.0001595716,0.0002334124,0.001307857,0.0001068085],"domain_scores_gemma":[0.9964755,0.002135584,0.0002424526,0.0004826953,0.0006084292,0.00005526168],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007043445,0.0002689751,0.001536772,0.0002482773,0.0001371237,0.0001911905,0.0001218052,0.8043999,0.00790105,0.0184047,0.00147849,0.1652414],"study_design_scores_gemma":[0.000005955806,0.00002681645,0.0003696958,0.00001821008,0.00004153686,0.00004379196,0.00001791718,0.9881264,0.001265848,0.009216729,0.0008561144,0.00001100885],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01138381,0.0002196391,0.9811007,0.0001175737,0.00002698883,0.0001246266,0.0001851998,0.001445205,0.005396292],"genre_scores_gemma":[0.4102958,0.0004684696,0.5835838,0.0001090032,0.0000593328,0.0003777115,0.0007190243,0.0004195608,0.003967347],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007107238,"threshold_uncertainty_score":0.01694918,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2789520420","doi":"10.1145/3195836.3195838","title":"How do practitioners perceive assurance cases in safety-critical software systems?","year":2018,"lang":"en","type":"preprint","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":17,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Safety assurance; Process (computing); Multidisciplinary approach; Life-critical system; Process management; Risk analysis (engineering); Knowledge management; Computer science; Software; Engineering; Business; Sociology","authors":[{"name":"Jinghui Cheng","is_ca":true},{"name":"Micayla Goodrum","is_ca":false},{"name":"Ronald Metoyer","is_ca":false},{"name":"Jane Cleland‐Huang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01503697606675591,"gpt":0.243490215180614,"spread":0.2284532391138581,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.03416803,0.0006314995,0.0004557024,0.005010864,0.003781737,0.01021683,0.001490515,0.007903473,0.003505379],"category_scores_gemma":[0.1646531,0.0008018485,0.0004302461,0.001936633,0.01037591,0.01674198,0.006396853,0.004711215,0.0009843108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004731624,"about_ca_system_score_gemma":0.004130238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00403378,"about_ca_topic_score_gemma":0.003265445,"domain_scores_codex":[0.9628166,0.02384187,0.001302784,0.002042107,0.0076541,0.002342492],"domain_scores_gemma":[0.862308,0.09765478,0.01614903,0.003260872,0.01553213,0.00509524],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"qualitative","study_design_scores_codex":[0.00006439951,0.0001074423,0.03483686,0.0003007152,0.00002112516,0.001773859,0.9119108,0.0002230948,0.001808444,0.01218045,0.003717353,0.03305546],"study_design_scores_gemma":[0.00002917593,0.0001827186,0.01315522,0.0006785787,0.0000323698,0.00286765,0.9159072,0.001541215,0.0006241844,0.01818796,0.04670012,0.00009368709],"study_design_candidate":"qualitative","study_design_consensus":"qualitative","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8916274,0.003016284,0.02903275,0.03530298,0.000347521,0.0001620217,0.00005712402,0.0002192254,0.04023464],"genre_scores_gemma":[0.9936233,0.0007289328,0.002581316,0.002069936,0.00004124952,0.00003673956,0.00002417223,0.0000339937,0.0008604522],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03416803,"threshold_uncertainty_score":0.1806999,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4241863337","doi":"10.1007/s10009-019-00542-2","title":"Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach","year":2019,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":17,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Université de Sherbrooke","funders":"Agence Nationale de la Recherche","keywords":"Computer science; Formal specification; Formal methods; Formal verification; Programming language; Software engineering; Systems Modeling Language; Domain (mathematical analysis); Unified Modeling Language","authors":[{"name":"Steve Jeffrey Tueno Fotso","is_ca":true},{"name":"Marc Frappier","is_ca":true},{"name":"Régine Laleau","is_ca":false},{"name":"Amel Mammar","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04120826836569858,"gpt":0.2544398037154147,"spread":0.2132315353497161,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00393845,0.0005681633,0.0003789226,0.001281847,0.0004528713,0.003419477,0.001938403,0.001210877,0.004145155],"category_scores_gemma":[0.006276231,0.000576795,0.001272526,0.0005932503,0.0009303316,0.002990444,0.001777701,0.00141876,0.00180625],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001553487,"about_ca_system_score_gemma":0.003009479,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008191679,"about_ca_topic_score_gemma":0.007646609,"domain_scores_codex":[0.9956424,0.001029442,0.0005398424,0.0003855186,0.001944868,0.0004579578],"domain_scores_gemma":[0.9958739,0.001147427,0.000509045,0.001227581,0.001150846,0.00009119279],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002936488,0.0002702674,0.005497754,0.0004820361,0.0001193173,0.001199855,0.001138052,0.3418378,0.04534625,0.5005853,0.007090843,0.09613881],"study_design_scores_gemma":[0.00007244718,0.0001955097,0.001504291,0.000239628,0.0001154622,0.0003751329,0.0003772672,0.7898599,0.03653815,0.06887408,0.1017457,0.0001024225],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05916394,0.0001303348,0.9105018,0.000488929,0.00007603798,0.0004654037,0.000891524,0.004305336,0.02397668],"genre_scores_gemma":[0.4505409,0.0002749313,0.5296074,0.0003056187,0.00003638365,0.0005864312,0.003227221,0.001239225,0.01418191],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008191679,"threshold_uncertainty_score":0.02082878,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4248191871","doi":"10.1109/assure.2013.6614263","title":"Safety cases: A review of challenges","year":2013,"lang":"en","type":"review","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":16,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Readability; Safety assurance; Computer science; Safety case; Risk analysis (engineering); Class (philosophy); Engineering ethics; Engineering; Medicine; Artificial intelligence; Programming language","authors":[{"name":"Zarrin Langari","is_ca":true},{"name":"Tom Maibaum","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06426672744110841,"gpt":0.2880023561260504,"spread":0.223735628684942,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006407554,0.001557516,0.001929039,0.00886096,0.001082601,0.003487682,0.002430992,0.003748384,0.004345711],"category_scores_gemma":[0.01318022,0.0009691562,0.0009318925,0.006418864,0.004405915,0.007185174,0.002521014,0.003959339,0.002084769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00322889,"about_ca_system_score_gemma":0.004749129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003334098,"about_ca_topic_score_gemma":0.003552108,"domain_scores_codex":[0.9954225,0.001267717,0.0007355476,0.0005739848,0.001860589,0.0001395137],"domain_scores_gemma":[0.9815601,0.014697,0.0009408173,0.0003726134,0.002158802,0.0002706723],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002506826,0.00007772641,0.0003521632,0.0120694,0.00005052041,0.0003371749,0.0005513185,0.0008708141,0.0002950295,0.05623335,0.03614926,0.8929882],"study_design_scores_gemma":[0.000007975455,0.00003766917,0.0005781802,0.01749688,0.0000419218,0.002282562,0.0007290241,0.000310001,0.0002761685,0.0337301,0.9444613,0.00004823992],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0001669578,0.9921068,0.001675752,0.002005623,0.0003780615,0.00001497811,0.0000186903,0.00001952741,0.003613607],"genre_scores_gemma":[0.002404237,0.9936079,0.00182767,0.0008196587,0.00056486,0.0000265772,0.00004762855,0.00001056816,0.0006910165],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.00886096,"threshold_uncertainty_score":0.03388679,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2935203022","doi":"10.1007/978-3-030-16722-6_1","title":"Software Assurance in an Uncertain World","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":16,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Software security assurance; Mathematical proof; Computer security; Argument (complex analysis); Software; Software system; Risk analysis (engineering); Key (lock); Compliance (psychology); Software engineering; Software development; Information assurance; Information security; Business; Security service","authors":[{"name":"Marsha Chećhik","is_ca":true},{"name":"Rick Salay","is_ca":true},{"name":"Torin Viger","is_ca":true},{"name":"Sahar Kokaly","is_ca":true},{"name":"Mona Rahimi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01266841156939968,"gpt":0.218970361872482,"spread":0.2063019503030823,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002867703,0.0006712145,0.0004917179,0.001678825,0.001359964,0.006208558,0.001142857,0.002427385,0.004679761],"category_scores_gemma":[0.006188771,0.0005358063,0.000594691,0.001236017,0.0115468,0.01016469,0.003174627,0.004638996,0.001267866],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00241897,"about_ca_system_score_gemma":0.001317564,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008498876,"about_ca_topic_score_gemma":0.0007154912,"domain_scores_codex":[0.997781,0.0009236949,0.000117911,0.000240963,0.0008291642,0.0001073696],"domain_scores_gemma":[0.9941214,0.004814218,0.0001797356,0.0004557197,0.0003402067,0.00008870418],"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.000003855314,0.000002985704,0.00004430473,0.00005428702,0.000003736756,0.00005069961,0.0004266893,0.001012524,0.0001100228,0.9833356,0.002663199,0.01229209],"study_design_scores_gemma":[0.000002447485,0.000007051618,0.00004505576,0.0001056527,0.000004106349,0.00006855235,0.0001083655,0.00206647,0.0001751641,0.9290077,0.06840264,0.000006750231],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01193149,0.03414775,0.4192587,0.03445492,0.0009519001,0.00009672639,0.0001884126,0.0005996301,0.4983704],"genre_scores_gemma":[0.6559193,0.03656703,0.1745577,0.0047362,0.002150108,0.0003060607,0.0003711165,0.0004258716,0.1249667],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.006208558,"threshold_uncertainty_score":0.01755089,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2804137143","doi":"10.4236/jsea.2018.115013","title":"Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis","year":2018,"lang":"en","type":"article","venue":"Journal of Software Engineering and Applications","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":15,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"","keywords":"Systems Modeling Language; Fault tree analysis; Computer science; Model transformation; Reuse; Component (thermodynamics); Model checking; Process (computing); Unified Modeling Language; Aerospace; Systems engineering; Life-critical system; Modeling language; Software engineering; Transformation (genetics); Variety (cybernetics); Tree (set theory); Automotive industry; Reliability engineering; Engineering; Consistency (knowledge bases); Programming language; Software; Artificial intelligence","authors":[{"name":"Bashar Al shboul","is_ca":true},{"name":"Dorina C. Petriu","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01044756231933763,"gpt":0.2095341997373557,"spread":0.1990866374180181,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001326852,0.0008031788,0.0003796222,0.001429815,0.000523259,0.001327802,0.0011443,0.0008944878,0.003405879],"category_scores_gemma":[0.007753049,0.0006810967,0.001757437,0.0006317562,0.0006797111,0.001370017,0.001528817,0.001541185,0.001238266],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00115526,"about_ca_system_score_gemma":0.002758348,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004717216,"about_ca_topic_score_gemma":0.007160015,"domain_scores_codex":[0.9986255,0.0003304734,0.0001043499,0.000125357,0.000723041,0.00009120143],"domain_scores_gemma":[0.9967633,0.001834743,0.0002590866,0.000474956,0.000616343,0.00005152541],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001741964,0.0002486037,0.004289664,0.0007670079,0.0001495844,0.001744138,0.001304234,0.5896428,0.03816747,0.1713839,0.008823241,0.1833052],"study_design_scores_gemma":[0.00003130681,0.00005240345,0.0003676361,0.00009508788,0.00004873079,0.0002383695,0.0001119812,0.915145,0.02092065,0.04348382,0.01948036,0.00002472686],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006659606,0.00006454365,0.9882308,0.0001146811,0.00002907796,0.0001322864,0.0004612571,0.002761648,0.001546053],"genre_scores_gemma":[0.1892512,0.0003165252,0.8032909,0.0001024245,0.00002692538,0.0004007975,0.003190553,0.001147608,0.002273007],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004717216,"threshold_uncertainty_score":0.01139379,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1959340037","doi":"10.1007/978-3-319-45477-1_10","title":"Using STPA in an ISO 26262 Compliant Process","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":15,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Automotive industry; Process (computing); Computer science; Hazard analysis; Original equipment manufacturer; Manufacturing engineering; Functional safety; Hazard; Risk analysis (engineering); Engineering; Reliability engineering; Business","authors":[{"name":"Archana Mallya","is_ca":true},{"name":"Vera Pantelic","is_ca":true},{"name":"Morayo Adedjouma","is_ca":false},{"name":"Mark Lawford","is_ca":true},{"name":"Alan Wassyng","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02739235367914623,"gpt":0.256848505034083,"spread":0.2294561513549367,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001603749,0.0005903877,0.0003896518,0.0004829202,0.0009787966,0.002623003,0.0008410445,0.001445249,0.004148371],"category_scores_gemma":[0.002931368,0.00048817,0.0005720587,0.0007674668,0.0008361544,0.002084413,0.001540462,0.001271766,0.002294909],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004652712,"about_ca_system_score_gemma":0.001853521,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002521892,"about_ca_topic_score_gemma":0.002848811,"domain_scores_codex":[0.9974874,0.0005120451,0.0001890163,0.0003275767,0.001307387,0.0001764776],"domain_scores_gemma":[0.9987834,0.0003394283,0.00008582537,0.0004359224,0.0003138586,0.00004155757],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000617996,0.0004759599,0.001925828,0.0006097206,0.00005434468,0.001511239,0.00259268,0.04596053,0.1640976,0.3026803,0.007044657,0.4724292],"study_design_scores_gemma":[0.0001002483,0.00065121,0.001464295,0.0003047332,0.0001345241,0.001489205,0.0004114225,0.3566529,0.2755023,0.09447275,0.268701,0.0001155475],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0293377,0.0001595138,0.928089,0.0001975035,0.00008581053,0.0002195045,0.0001170599,0.003246297,0.03854759],"genre_scores_gemma":[0.3823601,0.0003222876,0.5786826,0.000155639,0.00002768358,0.000208193,0.0003807674,0.0006729458,0.03718974],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004148371,"threshold_uncertainty_score":0.01387769,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2770487395","doi":"10.1109/issrew.2017.14","title":"Principles for Systematic Development of an Assurance Case Template from ISO 26262","year":2017,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":15,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Functional safety; Risk analysis (engineering); Safety assurance; Safety case; Computer science; Quality assurance; Program assurance; Plan (archaeology); Systems engineering; Software quality assurance; Engineering management; Engineering; Software; Software engineering; Software development; Reliability engineering; Business; Operations management; Software quality","authors":[{"name":"Thomas Chowdhury","is_ca":true},{"name":"Chung‐Wei Lin","is_ca":false},{"name":"BaekGyu Kim","is_ca":false},{"name":"Mark Lawford","is_ca":true},{"name":"Shinichi Shiraishi","is_ca":false},{"name":"Alan Wassyng","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0339829290498701,"gpt":0.2552170002385264,"spread":0.2212340711886563,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.1208838,0.002688433,0.001601092,0.01508917,0.003717418,0.009840378,0.007164705,0.005937784,0.007818389],"category_scores_gemma":[0.1826981,0.003416875,0.00362737,0.006717945,0.00605967,0.009536271,0.008181929,0.008588018,0.008622625],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005646913,"about_ca_system_score_gemma":0.03484249,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006240753,"about_ca_topic_score_gemma":0.01077759,"domain_scores_codex":[0.891697,0.04038101,0.02045278,0.004640954,0.04109962,0.001728702],"domain_scores_gemma":[0.8284424,0.0685814,0.01248273,0.03159641,0.05637792,0.002519175],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001702459,0.00106627,0.002440372,0.004331923,0.0001212009,0.001868982,0.01858949,0.009150794,0.01445789,0.3106276,0.05493759,0.5822377],"study_design_scores_gemma":[0.0002979423,0.0005158475,0.003682679,0.01048836,0.0001701497,0.003238459,0.003462855,0.02668927,0.01337258,0.1905724,0.7469716,0.0005379346],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00177503,0.000377695,0.9637357,0.001838249,0.0002940067,0.01497795,0.0006383209,0.002202656,0.01416034],"genre_scores_gemma":[0.003684087,0.0002448885,0.9873428,0.0002285217,0.00003820088,0.00558874,0.0009223654,0.0002576199,0.001692589],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1208838,"threshold_uncertainty_score":0.6393021,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3111880994","doi":"10.1109/syscon47679.2020.9275852","title":"Eliminative Argumentation for Arguing System Safety - A Practitioner’s Experience","year":2020,"lang":"en","type":"article","venue":"2020 IEEE International Systems Conference (SysCon)","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":14,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Critical Systems Labs","funders":"","keywords":"Argumentation theory; Safety case; Artifact (error); Risk analysis (engineering); Notation; Computer science; Life-critical system; Set (abstract data type); System safety; Automotive industry; Defeasible estate; Software; Engineering; Artificial intelligence; Business; Reliability engineering; Epistemology; Mathematics; Programming language","authors":[{"name":"Simon Diemert","is_ca":true},{"name":"Jeff Joyce","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0367597501010835,"gpt":0.2663260769279157,"spread":0.2295663268268321,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.04226564,0.0008532969,0.0007362735,0.001585428,0.003115732,0.008682624,0.003146782,0.006389465,0.003111032],"category_scores_gemma":[0.05393087,0.0005951628,0.0005907603,0.001599146,0.00826705,0.009303462,0.005085938,0.008648833,0.001301498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00342964,"about_ca_system_score_gemma":0.003677726,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002542707,"about_ca_topic_score_gemma":0.003519558,"domain_scores_codex":[0.9614389,0.03141488,0.0009883184,0.00140013,0.00403779,0.0007200737],"domain_scores_gemma":[0.9212148,0.06233188,0.0009913804,0.003659324,0.009623132,0.002179324],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003799132,0.001551695,0.004141283,0.002566358,0.0001121377,0.003655567,0.2505836,0.01074369,0.009363384,0.1965064,0.02250513,0.4978907],"study_design_scores_gemma":[0.0002070455,0.001000349,0.001954267,0.003383859,0.00008416161,0.004889379,0.09208839,0.02917665,0.008203368,0.1577133,0.701054,0.0002451957],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1524606,0.04007341,0.6585336,0.06457378,0.001297224,0.00042595,0.00007073972,0.0007959623,0.08176877],"genre_scores_gemma":[0.6801937,0.02316099,0.2685675,0.007056374,0.0004601049,0.0001975707,0.0001371698,0.0004662522,0.01976036],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04226564,"threshold_uncertainty_score":0.2235247,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1998709769","doi":"10.4271/2013-01-1419","title":"System Security and System Safety Engineering: Differences and Similarities and a System Security Engineering Process Based on the ISO 26262 Process Framework","year":2013,"lang":"en","type":"article","venue":"SAE International journal of passenger cars. Electronic and electrical systems","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":14,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Chrysler (Canada)","funders":"","keywords":"Process (computing); Computer science; Engineering; Operating system","authors":[{"name":"Barbara J. Czerny","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.00340054519191942,"gpt":0.1871177917668007,"spread":0.1837172465748813,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.03001645,0.001876982,0.001056195,0.006935032,0.002587314,0.01365579,0.002252541,0.005184455,0.003262276],"category_scores_gemma":[0.02137109,0.001293962,0.001677505,0.006727232,0.0158843,0.01442731,0.005834416,0.01154789,0.002441277],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00464416,"about_ca_system_score_gemma":0.01466698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004612128,"about_ca_topic_score_gemma":0.003165181,"domain_scores_codex":[0.9564272,0.01481615,0.004346983,0.00215162,0.02081348,0.00144458],"domain_scores_gemma":[0.9741645,0.01068559,0.002222008,0.003136486,0.008962646,0.0008287219],"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.00005087648,0.0001784684,0.001057516,0.0005905229,0.00002178106,0.0003863308,0.00819301,0.002899475,0.003712468,0.8558027,0.006167937,0.120939],"study_design_scores_gemma":[0.0000426646,0.0003977841,0.003235893,0.002057641,0.00003903101,0.001542962,0.004963074,0.009634429,0.005663878,0.4564958,0.5157546,0.0001721968],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008801448,0.01323844,0.8537844,0.0137087,0.002248117,0.0009714412,0.0001379028,0.001042575,0.1060671],"genre_scores_gemma":[0.137111,0.01638603,0.7834097,0.00479896,0.00169652,0.001644682,0.000645812,0.001210564,0.05309689],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03001645,"threshold_uncertainty_score":0.1587441,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3197075054","doi":"10.4271/2022-01-0818","title":"The Missing Link: Developing a Safety Case for Perception Components in Automated Driving","year":2022,"lang":"en","type":"article","venue":"SAE International Journal of Advances and Current Practices in Mobility","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":13,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Traceability; Component (thermodynamics); Paragraph; Computer science; Argument (complex analysis); Perception; Class (philosophy); Safety assurance; Safety case; System safety; Risk analysis (engineering); Software engineering; Engineering; Artificial intelligence; Reliability engineering; Psychology; Business; Medicine; World Wide Web","authors":[{"name":"Rick Salay","is_ca":true},{"name":"Krzysztof Czarnecki","is_ca":true},{"name":"Hiroshi Kuwajima","is_ca":false},{"name":"Hirotoshi Yasuoka","is_ca":false},{"name":"Vahdat Abdelzad","is_ca":true},{"name":"Chengjie Huang","is_ca":true},{"name":"Maximilian Kahn","is_ca":true},{"name":"Van Duong Nguyen","is_ca":true},{"name":"Toshihiro Nakae","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03286876141471012,"gpt":0.3445187294998907,"spread":0.3116499680851806,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006077934,0.0006509893,0.0002702678,0.001811499,0.002239761,0.004220693,0.00210474,0.005051936,0.005597628],"category_scores_gemma":[0.01405264,0.0006931646,0.000837696,0.0006645489,0.004699947,0.006223781,0.005210876,0.003421405,0.00113715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002327259,"about_ca_system_score_gemma":0.003328074,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006451298,"about_ca_topic_score_gemma":0.005979375,"domain_scores_codex":[0.9955318,0.001918051,0.000295054,0.0003761804,0.001443055,0.0004358026],"domain_scores_gemma":[0.9916883,0.005545078,0.0004519472,0.0009469507,0.0009756056,0.0003921174],"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.0002536214,0.0007999273,0.01184021,0.0004153376,0.00003393996,0.01149213,0.02036823,0.0530786,0.013604,0.7652941,0.01121982,0.1116002],"study_design_scores_gemma":[0.0002168627,0.0007672453,0.004061012,0.001025685,0.000145743,0.006859624,0.01218211,0.3457964,0.05751722,0.2450686,0.3261604,0.0001991325],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1130296,0.0002242006,0.7873667,0.006231982,0.0001936206,0.001069161,0.0002159195,0.002078676,0.08959016],"genre_scores_gemma":[0.5789753,0.00026185,0.4015257,0.0008789108,0.00004369047,0.0005131019,0.0003433792,0.0004867792,0.01697129],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006451298,"threshold_uncertainty_score":0.03214353,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2408046200","doi":"10.1145/2896982.2896985","title":"Model management for regulatory compliance","year":2016,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":13,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; McMaster University","funders":"","keywords":"Exploit; Context (archaeology); Compliance (psychology); Risk analysis (engineering); Software; Computer security; Computer science; Process management; Service (business); Knowledge management; Business; Marketing","authors":[{"name":"Sahar Kokaly","is_ca":true},{"name":"Rick Salay","is_ca":true},{"name":"Mehrdad Sabetzadeh","is_ca":false},{"name":"Marsha Chećhik","is_ca":true},{"name":"Tom Maibaum","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03182417741040287,"gpt":0.2214483617015116,"spread":0.1896241842911088,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02931592,0.001414842,0.001587381,0.003864358,0.004280131,0.01103926,0.004812321,0.005622222,0.009094636],"category_scores_gemma":[0.07023887,0.001212078,0.004062944,0.004241885,0.009351225,0.01896858,0.01060766,0.009752692,0.001756215],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005527603,"about_ca_system_score_gemma":0.009787429,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005804075,"about_ca_topic_score_gemma":0.00438155,"domain_scores_codex":[0.9690851,0.0154998,0.002897249,0.003637331,0.007734291,0.001146273],"domain_scores_gemma":[0.9367223,0.03141067,0.004477569,0.01936255,0.006999525,0.001027278],"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.00001851896,0.00005655237,0.0003471088,0.0000980886,0.00004307989,0.00010193,0.0006147513,0.008802456,0.0002278861,0.9571137,0.003423891,0.02915197],"study_design_scores_gemma":[0.00002747635,0.00002762801,0.00009527915,0.0001075121,0.00003022007,0.00008483449,0.0001920253,0.06175343,0.0006387635,0.8999034,0.03710215,0.00003719429],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00235074,0.0004180409,0.9722586,0.006940381,0.0003016868,0.0002051711,0.0001551978,0.0008124867,0.01655785],"genre_scores_gemma":[0.189779,0.001578742,0.7876404,0.002984531,0.001023471,0.00131714,0.001092312,0.0005712197,0.01401324],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02931592,"threshold_uncertainty_score":0.1550393,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2000707938","doi":"10.5555/2662398.2662400","title":"Safety cases: a review of challenges","year":2013,"lang":"en","type":"review","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":13,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Readability; Safety case; Safety assurance; Risk analysis (engineering); Engineering ethics; Computer science; Engineering; Medicine; Programming language","authors":[{"name":"Zarrin Langari","is_ca":true},{"name":"Tom Maibaum","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06426672744110841,"gpt":0.2880023561260504,"spread":0.223735628684942,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006407554,0.001557516,0.001929039,0.00886096,0.001082601,0.003487682,0.002430992,0.003748384,0.004345711],"category_scores_gemma":[0.01318022,0.0009691562,0.0009318925,0.006418864,0.004405915,0.007185174,0.002521014,0.003959339,0.002084769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00322889,"about_ca_system_score_gemma":0.004749129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003334098,"about_ca_topic_score_gemma":0.003552108,"domain_scores_codex":[0.9954225,0.001267717,0.0007355476,0.0005739848,0.001860589,0.0001395137],"domain_scores_gemma":[0.9815601,0.014697,0.0009408173,0.0003726134,0.002158802,0.0002706723],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002506826,0.00007772641,0.0003521632,0.0120694,0.00005052041,0.0003371749,0.0005513185,0.0008708141,0.0002950295,0.05623335,0.03614926,0.8929882],"study_design_scores_gemma":[0.000007975455,0.00003766917,0.0005781802,0.01749688,0.0000419218,0.002282562,0.0007290241,0.000310001,0.0002761685,0.0337301,0.9444613,0.00004823992],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0001669578,0.9921068,0.001675752,0.002005623,0.0003780615,0.00001497811,0.0000186903,0.00001952741,0.003613607],"genre_scores_gemma":[0.002404237,0.9936079,0.00182767,0.0008196587,0.00056486,0.0000265772,0.00004762855,0.00001056816,0.0006910165],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.00886096,"threshold_uncertainty_score":0.03388679,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2261171521","doi":"10.4271/2000-01-3522","title":"Trailer Underride Protection - A Canadian Perspective","year":2000,"lang":"en","type":"article","venue":"SAE technical papers on CD-ROM/SAE technical paper series","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":13,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":true},"ca_institutions":"Transport Canada","funders":"Transport Canada","keywords":"Trailer; Perspective (graphical); Computer science; Computer network; Artificial intelligence","authors":[{"name":"Denis Boucher","is_ca":true},{"name":"Daniel B. T. Davis","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01019016070934818,"gpt":0.2087922404593571,"spread":0.1986020797500089,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002524207,0.0006055055,0.0003850007,0.002620177,0.005537864,0.005793069,0.002596721,0.002153198,0.05220903],"category_scores_gemma":[0.002128173,0.0003690694,0.0004192659,0.002871515,0.002410196,0.002588378,0.001670982,0.001917221,0.005118304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.03344212,"about_ca_system_score_gemma":0.1262544,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.9733871,"about_ca_topic_score_gemma":0.9823674,"domain_scores_codex":[0.9968818,0.0001449355,0.00007657,0.0002941051,0.001778679,0.0008239779],"domain_scores_gemma":[0.9950958,0.0001467029,0.0001034576,0.00009392327,0.003893028,0.0006671431],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001896625,0.0003602126,0.0195697,0.0008010929,0.00002573357,0.001162617,0.00205404,0.003312198,0.004128399,0.1197958,0.3412126,0.5073879],"study_design_scores_gemma":[0.0000144609,0.0001091709,0.01484263,0.0004875906,0.00001848262,0.0002653236,0.003158802,0.0006519639,0.0007434802,0.00160467,0.9780636,0.00003986683],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02782857,0.03142209,0.005472055,0.07137617,0.002746559,0.0002140989,0.003229353,0.0004244651,0.8572867],"genre_scores_gemma":[0.2349675,0.089666,0.009118498,0.01027954,0.0004721884,0.00006287471,0.002441201,0.0002420353,0.6527502],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.05220903,"threshold_uncertainty_score":0.2426407,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4394744957","doi":"10.1145/3597503.3639093","title":"Analyzing and Debugging Normative Requirements via Satisfiability Checking","year":2024,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":13,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Engineering and Physical Sciences Research Council","keywords":"Debugging; Computer science; Software engineering; Usability; Normative; Redundancy (engineering); Sociotechnical system; Requirements elicitation; USable; Software; Human–computer interaction; Requirements engineering; Artificial intelligence; Programming language; World Wide Web","authors":[{"name":"Nick Feng","is_ca":true},{"name":"Lina Marsso","is_ca":true},{"name":"Sinem Getir Yaman","is_ca":false},{"name":"Yesugen Baatartogtokh","is_ca":false},{"name":"Reem Ayad","is_ca":true},{"name":"Victoria Oldemburgo de Mello","is_ca":true},{"name":"Beverley Townsend","is_ca":false},{"name":"Isobel Standen","is_ca":false},{"name":"Ioannis Stefanakos","is_ca":false},{"name":"Calum Imrie","is_ca":false},{"name":"Genaína Nunes Rodrigues","is_ca":false},{"name":"Ana Cavalcanti","is_ca":false},{"name":"Radu Călinescu","is_ca":false},{"name":"Marsha Chećhik","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.009761675411301834,"gpt":0.2254702456452484,"spread":0.2157085702339465,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01608628,0.002146273,0.00113068,0.003742964,0.001375006,0.003308032,0.003371337,0.001877773,0.002690495],"category_scores_gemma":[0.1013177,0.001609584,0.003006362,0.001487168,0.004021252,0.005019785,0.004313676,0.002684834,0.000434417],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002671016,"about_ca_system_score_gemma":0.006305846,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009634344,"about_ca_topic_score_gemma":0.01539276,"domain_scores_codex":[0.9763098,0.01257213,0.001896895,0.002459561,0.005605795,0.001155907],"domain_scores_gemma":[0.8725511,0.1059628,0.006254817,0.008439249,0.006182671,0.0006092939],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006795811,0.0007970448,0.02344537,0.001687487,0.0004961683,0.002175014,0.004048391,0.5732706,0.02782889,0.1365664,0.004624003,0.224381],"study_design_scores_gemma":[0.0001364636,0.0001581643,0.0008983631,0.000205876,0.0001022819,0.000307566,0.0005818204,0.8913866,0.01988345,0.0826851,0.00358783,0.00006640959],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04385256,0.0001246747,0.9497128,0.0006009786,0.00003828953,0.0003639406,0.0002905547,0.003239646,0.00177665],"genre_scores_gemma":[0.3417881,0.0001853724,0.6549107,0.0002610613,0.0000311667,0.0004761214,0.0009634888,0.0005513041,0.0008328012],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01608628,"threshold_uncertainty_score":0.08507341,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3080919791","doi":"10.1007/978-3-030-54549-9_3","title":"Just Enough Formality in Assurance Argument Structures","year":2020,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":12,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo; University of Toronto","funders":"","keywords":"Formality; Computer science; Argument (complex analysis); Guard (computer science); Software deployment; Risk analysis (engineering); Software engineering; Programming language","authors":[{"name":"Torin Viger","is_ca":true},{"name":"Rick Salay","is_ca":true},{"name":"Gehan Selim","is_ca":true},{"name":"Marsha Chećhik","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01448829300531915,"gpt":0.2165777043148529,"spread":0.2020894113095338,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006523723,0.0009280492,0.0008921964,0.001708307,0.002257737,0.005801369,0.001736642,0.003603094,0.02297471],"category_scores_gemma":[0.02593789,0.001428423,0.001305761,0.001221639,0.01007388,0.02666609,0.004522392,0.007669082,0.004118514],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002353783,"about_ca_system_score_gemma":0.001299952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007477853,"about_ca_topic_score_gemma":0.0007864059,"domain_scores_codex":[0.9946407,0.002805434,0.0003848828,0.0006431516,0.001158707,0.0003671198],"domain_scores_gemma":[0.984207,0.01138183,0.0004732381,0.002424278,0.001254742,0.0002588516],"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.000004424118,0.000003169794,0.00001795468,0.00001886658,0.000002427741,0.000009768793,0.0001126713,0.0001642181,0.00005133519,0.9958338,0.0008128347,0.002968494],"study_design_scores_gemma":[0.000003820598,0.00000192931,0.000006682994,0.00001437755,0.000002429066,0.00001235699,0.00001949314,0.0004282582,0.00008972191,0.9942921,0.005126471,0.000002419319],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00997026,0.00166079,0.7507765,0.01659525,0.0008272821,0.00008312611,0.000266185,0.0008199427,0.2190007],"genre_scores_gemma":[0.7388736,0.001289739,0.1957818,0.002960257,0.001083092,0.0004222767,0.0005118909,0.000876084,0.05820121],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02297471,"threshold_uncertainty_score":0.07685804,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2100608448","doi":"10.1049/iet-its.2013.0022","title":"Surrogate safety measures as aid to driver assistance system design of the cognitive vehicle","year":2013,"lang":"en","type":"article","venue":"IET Intelligent Transport Systems","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":11,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Ministry of Transportation of Ontario; Carleton University","funders":"National Highway Traffic Safety Administration; Ministère des Transports; Natural Sciences and Engineering Research Council of Canada; McGill University; U.S. Department of Transportation","keywords":"Advanced driver assistance systems; Vehicle safety; Cognition; Computer science; Automotive engineering; Transport engineering; Engineering; Risk analysis (engineering); Business; Psychology; Artificial intelligence","authors":[{"name":"Ata M. Khan","is_ca":true},{"name":"Ataur Bacchus","is_ca":true},{"name":"Stephen Erwin","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0165759839673109,"gpt":0.1998129726192689,"spread":0.183236988651958,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009708811,0.0005733108,0.0003870004,0.0004914084,0.0002027628,0.0007974693,0.000848301,0.0005474928,0.001429814],"category_scores_gemma":[0.003657372,0.0002936378,0.0003837569,0.0001484323,0.0002933094,0.000759182,0.000652661,0.000606228,0.0003536016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003641123,"about_ca_system_score_gemma":0.0006669028,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006272703,"about_ca_topic_score_gemma":0.0004579513,"domain_scores_codex":[0.9992791,0.0002567476,0.00004655595,0.00007511712,0.0002955935,0.00004698284],"domain_scores_gemma":[0.9989705,0.000334383,0.0001758698,0.00006536541,0.0004057135,0.00004814699],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004572111,0.0001690983,0.002255427,0.0002580377,0.00004053153,0.0002179591,0.0002451222,0.8061658,0.04563617,0.02086646,0.001346957,0.1223412],"study_design_scores_gemma":[0.00001637649,0.0003875642,0.0004762291,0.00001634592,0.00001098394,0.00006550614,0.00001920791,0.9879887,0.006728526,0.002498501,0.00177761,0.0000143879],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02385168,0.00008418745,0.973694,0.00009972681,0.00003564347,0.00006434041,0.00003016777,0.0005242717,0.001615929],"genre_scores_gemma":[0.8838044,0.0001047025,0.1138758,0.00005021354,0.00002259753,0.0001896227,0.0001040727,0.00003716903,0.001811567],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.001429814,"threshold_uncertainty_score":0.005134583,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4394744703","doi":"10.1109/ojvt.2024.3387414","title":"A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques","year":2024,"lang":"en","type":"article","venue":"IEEE Open Journal of Vehicular Technology","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":11,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University; Concordia University","funders":"DePaul University","keywords":"Traffic conflict; Road traffic; Computer science; Transport engineering; Computer security; Risk analysis (engineering); Engineering; Business; Floating car data; Traffic congestion","authors":[{"name":"Oumaima Barhoumi","is_ca":true},{"name":"Mohamed H. Zaki","is_ca":true},{"name":"Sofiène Tahar","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02090472458170064,"gpt":0.2880445202009528,"spread":0.2671397956192522,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003704801,0.0008388478,0.000452583,0.002132132,0.000895424,0.002403418,0.00189425,0.0008840262,0.00256903],"category_scores_gemma":[0.01058729,0.0005783805,0.001560484,0.0008894751,0.003676484,0.003435473,0.002094327,0.002090802,0.0003401408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00156647,"about_ca_system_score_gemma":0.002244071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002783568,"about_ca_topic_score_gemma":0.002296791,"domain_scores_codex":[0.9970807,0.001155802,0.0002683136,0.0002976313,0.000989971,0.0002075743],"domain_scores_gemma":[0.9928393,0.004612668,0.0006718594,0.0009014691,0.0008630778,0.0001115966],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003984584,0.00008449212,0.001517513,0.0002268734,0.00005381458,0.0002482518,0.0005959158,0.1948196,0.00591238,0.7466651,0.0009237556,0.04891239],"study_design_scores_gemma":[0.00002958695,0.0001193445,0.0003689194,0.0001521151,0.00005272503,0.000301961,0.0002233894,0.5965181,0.006748794,0.3809732,0.01444985,0.00006193489],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002087341,0.00004350438,0.996403,0.00009685644,0.00001442277,0.00003644747,0.00003105834,0.0001376496,0.001149823],"genre_scores_gemma":[0.2288249,0.0003079794,0.7688609,0.0001254943,0.00006047555,0.000255769,0.000134603,0.00008276779,0.001347074],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003704801,"threshold_uncertainty_score":0.01959312,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2000035092","doi":"10.1145/2038642.2038676","title":"Software certification experience in the canadian nuclear industry","year":2011,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":11,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"McMaster University","funders":"U.S. Food and Drug Administration","keywords":"Certification; Licensee; Process (computing); Engineering; Computer science; Work (physics); Software engineering; Engineering management; License; Operating system; Political science; Law","authors":[{"name":"Alan Wassyng","is_ca":true},{"name":"Mark Lawford","is_ca":true},{"name":"T. S. E. Maibaum","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05648061795900752,"gpt":0.213493195519733,"spread":0.1570125775607255,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006786257,0.0003621153,0.0002843783,0.002045084,0.01260529,0.004407474,0.001474429,0.001559534,0.0046721],"category_scores_gemma":[0.0141011,0.0003982184,0.0004063656,0.003721931,0.008094542,0.001768614,0.002555319,0.002235265,0.000656376],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.07125358,"about_ca_system_score_gemma":0.09502396,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.9460006,"about_ca_topic_score_gemma":0.9715961,"domain_scores_codex":[0.9896873,0.001298889,0.0002377222,0.0007246353,0.006450681,0.001600804],"domain_scores_gemma":[0.9865395,0.001667359,0.0003994275,0.0003587003,0.008132445,0.002902572],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001864578,0.0004939225,0.04786772,0.0004655219,0.00003688143,0.002962888,0.1907378,0.005675883,0.009588328,0.113551,0.09162448,0.5368091],"study_design_scores_gemma":[0.00002629613,0.0003471098,0.03102137,0.0002431736,0.0000236258,0.000940151,0.04665436,0.00282563,0.00373994,0.003315231,0.9107158,0.0001473257],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6359096,0.009222317,0.01205132,0.04418132,0.0009492103,0.0001505583,0.0002202993,0.0005964552,0.2967189],"genre_scores_gemma":[0.9520797,0.004121936,0.003765348,0.001474375,0.00005005741,0.00001810827,0.0001987702,0.0001166172,0.03817516],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.07125358,"threshold_uncertainty_score":0.5169833,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3200032009","doi":"10.1002/j.2334-5837.2021.00882.x","title":"Integrating Safety Analysis into Model‐Based Systems Engineering for Aircraft Systems: A Literature Review and Methodology Proposal","year":2021,"lang":"en","type":"review","venue":"INCOSE International Symposium","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Safran Electronics (Canada); University of Toronto","funders":"","keywords":"Systems Modeling Language; Systems engineering; Computer science; Process (computing); Interface (matter); Unified Modeling Language; Software engineering; Modeling language; Engineering; Programming language","authors":[{"name":"Kimberly Lai","is_ca":true},{"name":"Thomas Robert","is_ca":true},{"name":"David Shindman","is_ca":true},{"name":"Alison Olechowski","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02880785090529261,"gpt":0.3165056685482954,"spread":0.2876978176430028,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003417177,0.001183934,0.001647704,0.009723585,0.0004880513,0.002108618,0.001575092,0.001457108,0.00273149],"category_scores_gemma":[0.005130106,0.0006299086,0.001072602,0.01200227,0.000908894,0.002807009,0.001135638,0.001422251,0.001212289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001301659,"about_ca_system_score_gemma":0.005933164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003108877,"about_ca_topic_score_gemma":0.003595992,"domain_scores_codex":[0.9990953,0.0002356848,0.0001666418,0.000135738,0.0003189892,0.00004765091],"domain_scores_gemma":[0.9938883,0.003760209,0.0005362286,0.0001684807,0.001541394,0.0001053958],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"systematic_review","study_design_scores_codex":[0.00003811863,0.0001451312,0.0005232465,0.08129116,0.00024874,0.000264017,0.0003808479,0.001110382,0.00123048,0.0175047,0.01376142,0.8835018],"study_design_scores_gemma":[0.00002723797,0.0001891056,0.002605881,0.1018953,0.001465044,0.001288392,0.000740459,0.001395941,0.001924653,0.01624864,0.8721167,0.0001027158],"study_design_candidate":"systematic_review","study_design_consensus":null,"genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0002137968,0.9955245,0.002275682,0.0005266519,0.0001275242,0.00002706636,0.00003106404,0.00001906731,0.001254755],"genre_scores_gemma":[0.002393237,0.9944575,0.002484655,0.0002029774,0.00008844127,0.00004296412,0.00005771752,0.000005875588,0.0002666824],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.009723585,"threshold_uncertainty_score":0.01807201,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2096184752","doi":"10.1007/11880240_39","title":"Model-Driven Assessment of Use Cases for Dependable Systems","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"","keywords":"Computer science","authors":[{"name":"Sadaf Mustafiz","is_ca":true},{"name":"Ximeng Sun","is_ca":true},{"name":"Jörg Kienzle","is_ca":true},{"name":"Hans Vangheluwe","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02656903068082377,"gpt":0.2435252163680583,"spread":0.2169561856872345,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003740325,0.001027435,0.0006952,0.002281427,0.0004422288,0.00260669,0.001873256,0.001582705,0.003358659],"category_scores_gemma":[0.03024322,0.0005713911,0.001062367,0.0008439244,0.0007164962,0.002360837,0.001294629,0.0009794538,0.0005269641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001739133,"about_ca_system_score_gemma":0.001354723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004921532,"about_ca_topic_score_gemma":0.007712452,"domain_scores_codex":[0.9944031,0.001925682,0.0002339816,0.000356995,0.002810647,0.0002694982],"domain_scores_gemma":[0.9819535,0.01273218,0.0007997203,0.001494491,0.002741579,0.0002784666],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009750216,0.0008518714,0.01294099,0.0004341317,0.000184395,0.0006592188,0.0008298427,0.692528,0.02543741,0.02664203,0.004109585,0.2344075],"study_design_scores_gemma":[0.00001215898,0.00004430785,0.0005708513,0.00001738821,0.00001552783,0.00004492232,0.00005465709,0.9895452,0.004336093,0.004863273,0.0004845895,0.00001100683],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.3342669,0.0003431681,0.6517856,0.000324774,0.00005765024,0.0006965293,0.0008611946,0.003827628,0.007836519],"genre_scores_gemma":[0.8478656,0.0001202008,0.1494229,0.00003438973,0.000008507525,0.0002243589,0.0009187619,0.0001913649,0.001213903],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004921532,"threshold_uncertainty_score":0.01978099,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4406071959","doi":"10.1016/j.geits.2025.100262","title":"Enhancing security in the ISO 15118–20 EV charging system","year":2025,"lang":"en","type":"article","venue":"Green Energy and Intelligent Transportation","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":10,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Calgary","funders":"","keywords":"Computer security; Business; Security system; Computer science","authors":[{"name":"Ross Porter","is_ca":false},{"name":"Morteza Biglari-Abhari","is_ca":false},{"name":"Benjamin Tan","is_ca":true},{"name":"Duleepa J. Thrimawithana","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.005425623519634959,"gpt":0.1906480694446055,"spread":0.1852224459249705,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001657336,0.0006230486,0.0003520707,0.0006939942,0.0005292438,0.001542432,0.0009599334,0.0008419417,0.002667283],"category_scores_gemma":[0.003622363,0.0002437594,0.0004844959,0.0002969053,0.000808367,0.002791872,0.001619566,0.0008830219,0.001019745],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000886705,"about_ca_system_score_gemma":0.001054196,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001632691,"about_ca_topic_score_gemma":0.0008940495,"domain_scores_codex":[0.9968028,0.0007998504,0.0002452521,0.0001948206,0.001430622,0.0005266381],"domain_scores_gemma":[0.9978526,0.0004626161,0.000190901,0.0006879871,0.000725027,0.00008094059],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.003518276,0.00178737,0.02472926,0.00102483,0.0002488236,0.00283429,0.002098811,0.1358075,0.3568236,0.1527858,0.01906658,0.2992748],"study_design_scores_gemma":[0.0002634557,0.002590823,0.006172169,0.0001159203,0.0001994946,0.001624322,0.0003076995,0.5660278,0.3582037,0.01564499,0.04870578,0.0001437813],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6791301,0.0003167166,0.2698776,0.0007629269,0.0001904656,0.0007339743,0.00013591,0.01182724,0.03702503],"genre_scores_gemma":[0.9805019,0.00006537108,0.01572863,0.0001190212,0.00001145682,0.00006902561,0.0001129325,0.0001072989,0.003284343],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002667283,"threshold_uncertainty_score":0.008922935,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1137612012","doi":"10.1201/9781439800959","title":"Standards, Conformity Assessment, and Accreditation for Engineers","year":2009,"lang":"en","type":"book","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":9,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Accreditation; Conformity assessment; Conformity; Engineering ethics; Engineering; Political science; Medical education; Medicine; Operations management; Law","authors":[{"name":"Robert Hunter","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.009229536758888147,"gpt":0.254243806619344,"spread":0.2450142698604558,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.03519958,0.002453604,0.002380314,0.005856201,0.003812766,0.01644612,0.004402163,0.008261031,0.03393111],"category_scores_gemma":[0.1120854,0.001507681,0.001394623,0.0069402,0.009344698,0.02033454,0.008010899,0.01196465,0.03722996],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005860566,"about_ca_system_score_gemma":0.02621477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00898638,"about_ca_topic_score_gemma":0.005070707,"domain_scores_codex":[0.9097747,0.03418387,0.01139816,0.006467441,0.03580555,0.0023704],"domain_scores_gemma":[0.9061422,0.02593212,0.004749403,0.0128346,0.0488957,0.001445854],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000395794,0.0001540073,0.0007051195,0.001071513,0.00003111038,0.0001591083,0.002385179,0.001675633,0.0009163617,0.5135187,0.2759569,0.2033868],"study_design_scores_gemma":[0.00001853053,0.00005760148,0.0005818686,0.002385914,0.00001403812,0.0002179352,0.001086453,0.0009527544,0.0004055059,0.09433657,0.8998877,0.00005509238],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001935827,0.01941122,0.3329797,0.03894279,0.0124258,0.006292586,0.003904401,0.004676933,0.5794308],"genre_scores_gemma":[0.0617242,0.03894246,0.4631599,0.03358765,0.006842376,0.01495773,0.01351748,0.004512725,0.3627554],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.03519958,"threshold_uncertainty_score":0.1861553,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4321615342","doi":"10.56094/jss.v58i1.215","title":"Incremental Assurance Through Eliminative Argumentation","year":2023,"lang":"en","type":"article","venue":"Journal of System Safety","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":9,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Critical Systems Labs","funders":"Carnegie Mellon University; U.S. Department of Defense","keywords":"Quality assurance; Argumentation theory; Certification; Argument (complex analysis); Safety case; Plan (archaeology); Computer science; Process management; Risk analysis (engineering); Field (mathematics); Point (geometry); Operations management; Medicine; Business; Engineering; Political science; Law; Mathematics; Epistemology","authors":[{"name":"Simon Diemert","is_ca":true},{"name":"John B. Goodenough","is_ca":false},{"name":"Jeff Joyce","is_ca":true},{"name":"Charles B. Weinstock","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01100525366762661,"gpt":0.2269170264081484,"spread":0.2159117727405218,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01798479,0.0009780877,0.0006350284,0.003029675,0.003192267,0.006520809,0.003257997,0.003786096,0.004383849],"category_scores_gemma":[0.06377943,0.000902555,0.001795943,0.001276457,0.009426538,0.0115943,0.008483591,0.004181475,0.001051162],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00273138,"about_ca_system_score_gemma":0.002901138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001822536,"about_ca_topic_score_gemma":0.001678334,"domain_scores_codex":[0.9773256,0.01273953,0.001436255,0.00218555,0.005450236,0.0008628112],"domain_scores_gemma":[0.9440265,0.0348498,0.00312899,0.01215177,0.005019121,0.0008237906],"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.00009137317,0.00006562873,0.00128428,0.0001661203,0.00004853135,0.0007149117,0.006463424,0.005848335,0.002792934,0.9286736,0.001482572,0.05236827],"study_design_scores_gemma":[0.00004691309,0.0000498468,0.0002837079,0.0001177534,0.00005334726,0.0004408614,0.0007292408,0.03927126,0.002840741,0.9258981,0.03022958,0.00003858259],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02356042,0.0001691733,0.9403152,0.003216571,0.00008029559,0.0002546358,0.00005886171,0.0005865748,0.03175826],"genre_scores_gemma":[0.4666935,0.0001918186,0.5245141,0.0004489492,0.00007535612,0.0002816245,0.0001562972,0.0001782794,0.007460022],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01798479,"threshold_uncertainty_score":0.09511381,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4404953002","doi":"10.1109/issre62328.2024.00035","title":"AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases","year":2024,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":9,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Critical Systems Labs; University of Toronto","funders":"","keywords":"Argumentation theory; Computer science; Artificial intelligence; Psychology; Epistemology; Philosophy","authors":[{"name":"Torin Viger","is_ca":true},{"name":"Logan Murphy","is_ca":true},{"name":"Simon Diemert","is_ca":true},{"name":"Claudio Menghi","is_ca":false},{"name":"Jeff Joyce","is_ca":true},{"name":"Alessio Di Sandro","is_ca":true},{"name":"Marsha Chećhik","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02100938820562495,"gpt":0.3085016468004227,"spread":0.2874922585947978,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02427997,0.001449645,0.0006301521,0.001570201,0.001457087,0.003843392,0.004352326,0.002878135,0.005951165],"category_scores_gemma":[0.1151023,0.0006547368,0.0007585612,0.0009526868,0.003276563,0.004412168,0.004820071,0.002776454,0.001619677],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001332774,"about_ca_system_score_gemma":0.001469359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008830972,"about_ca_topic_score_gemma":0.001724527,"domain_scores_codex":[0.9763041,0.01758724,0.001034035,0.001202218,0.003369318,0.0005029928],"domain_scores_gemma":[0.7949193,0.1834017,0.002679411,0.01017642,0.006732265,0.002090902],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.00187707,0.005761349,0.02146452,0.004179117,0.0002928428,0.004761073,0.1164091,0.06287941,0.04367055,0.04051474,0.02297367,0.6752165],"study_design_scores_gemma":[0.002128639,0.00794955,0.01467757,0.00220852,0.0004375041,0.006285745,0.04300173,0.4353092,0.09596355,0.08795144,0.3033818,0.0007048239],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6584563,0.00102761,0.2946719,0.002796107,0.0001785805,0.001369473,0.0003983987,0.002866633,0.03823499],"genre_scores_gemma":[0.6780569,0.0004359056,0.3152251,0.0005244478,0.00004393661,0.0003636394,0.000554643,0.0004329107,0.004362441],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02427997,"threshold_uncertainty_score":0.1284063,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1490382653","doi":"10.1007/11760146_37","title":"Computational Modeling and Experimental Validation of Aviation Security Procedures","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":9,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Aviation; Computer security; Aerospace engineering; Engineering","authors":[{"name":"Uwe Glässer","is_ca":true},{"name":"Sarah Rastkar","is_ca":true},{"name":"Mona Vajihollahi","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.00845856490638126,"gpt":0.2154727887010644,"spread":0.2070142237946831,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006815013,0.000395417,0.0003424831,0.0003048039,0.0004235467,0.0009599316,0.001674069,0.000812734,0.003967253],"category_scores_gemma":[0.003517572,0.0003538536,0.0003283472,0.0002673755,0.0009902847,0.0008130284,0.0004848629,0.0008520299,0.000463024],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001147034,"about_ca_system_score_gemma":0.001034917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0053951,"about_ca_topic_score_gemma":0.003429163,"domain_scores_codex":[0.999465,0.0001546457,0.00002623942,0.00006915245,0.0002306867,0.00005428185],"domain_scores_gemma":[0.9977655,0.001362806,0.0001167602,0.0004928597,0.0002303643,0.00003154945],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000781002,0.001175608,0.001868813,0.0001657142,0.00003921812,0.0000895673,0.0002470764,0.822206,0.08217202,0.06073234,0.00254979,0.0279729],"study_design_scores_gemma":[0.00002796107,0.00007618182,0.0004560855,0.00000511351,0.000006119428,0.0000101515,0.00002109803,0.9719638,0.02276513,0.004027277,0.0006328202,0.000008370506],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7825857,0.0001984127,0.1952984,0.0004597594,0.000118741,0.0001676211,0.0008888519,0.001035898,0.01924647],"genre_scores_gemma":[0.9752024,0.00006990998,0.02245143,0.00002030646,0.000006968122,0.00009533078,0.0003806856,0.00005670495,0.001716284],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0053951,"threshold_uncertainty_score":0.01327181,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4379409284","doi":"10.1109/tse.2023.3282981","title":": A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems","year":2023,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"JST-Mirai Program; Natural Sciences and Engineering Research Council of Canada; Canada First Research Excellence Fund","keywords":"Computer science; Artificial intelligence; Cyber-physical system; Robotics; Modular design; Flexibility (engineering); Redundancy (engineering); Machine learning; Robot; Programming language","authors":[{"name":"Jiayang Song","is_ca":true},{"name":"Xuan Xie","is_ca":true},{"name":"Lei Ma","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01520145774704181,"gpt":0.2474733562686142,"spread":0.2322718985215723,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00292785,0.001284813,0.000802144,0.001297166,0.001042233,0.002978886,0.003116319,0.001619788,0.004477302],"category_scores_gemma":[0.002613402,0.0006627161,0.002833424,0.0007437241,0.002558526,0.004378456,0.004785229,0.002768383,0.001372183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001416695,"about_ca_system_score_gemma":0.002945633,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005001437,"about_ca_topic_score_gemma":0.005830882,"domain_scores_codex":[0.9984708,0.0004281326,0.0001362863,0.0002429246,0.0005269849,0.0001948733],"domain_scores_gemma":[0.9991646,0.0002675693,0.00009760635,0.0001843806,0.0001941432,0.00009178252],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001010162,0.0000983391,0.0005617529,0.000379959,0.00008194894,0.0004302951,0.0006370943,0.191652,0.005041141,0.7056954,0.00732429,0.08799675],"study_design_scores_gemma":[0.00004232527,0.00008361795,0.000134965,0.0001227115,0.00006301259,0.0001972193,0.0001405562,0.6537638,0.003997911,0.2875768,0.05384143,0.00003564139],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0009985149,0.0001180122,0.9947114,0.0002242536,0.00004451841,0.00008812686,0.00008289544,0.001211734,0.002520559],"genre_scores_gemma":[0.1063003,0.0004937999,0.8853371,0.0003019749,0.0001317472,0.0005041228,0.0005929816,0.0005989773,0.005738995],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005001437,"threshold_uncertainty_score":0.01548415,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4399577082","doi":"10.1145/3650105.3652291","title":"Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases","year":2024,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa; York University","funders":"","keywords":"Turbo; Computer science; Engineering","authors":[{"name":"Kimya Khakzad Shahandashti","is_ca":true},{"name":"Mithila Sivakumar","is_ca":true},{"name":"Mohammad Mahdi Mohajer","is_ca":true},{"name":"Alvine Boaye Belle","is_ca":true},{"name":"Song Wang","is_ca":true},{"name":"Timothy C. Lethbridge","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02299245954635233,"gpt":0.3056516118762312,"spread":0.2826591523298789,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008359078,0.001047494,0.00042037,0.001661138,0.0004632516,0.002423852,0.002086733,0.00184176,0.004473797],"category_scores_gemma":[0.0591077,0.0005384319,0.00112326,0.0006889123,0.001205304,0.003585786,0.0020937,0.002308174,0.001226725],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001252191,"about_ca_system_score_gemma":0.001849673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003441347,"about_ca_topic_score_gemma":0.004958769,"domain_scores_codex":[0.9946281,0.002856587,0.0003910873,0.0005282351,0.001406952,0.0001891292],"domain_scores_gemma":[0.9242068,0.06131835,0.002160372,0.0073054,0.00417961,0.0008295169],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.003043851,0.002794384,0.04580403,0.00206555,0.0002860828,0.001202913,0.004833311,0.552595,0.04099227,0.04668179,0.01043526,0.2892657],"study_design_scores_gemma":[0.0001643851,0.0009157858,0.003000914,0.0001489977,0.00007437927,0.0003645491,0.0005976314,0.962779,0.01554662,0.009675801,0.006671194,0.00006064416],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6170685,0.0002255828,0.3452114,0.0007881019,0.0001207423,0.001255812,0.00196259,0.01395595,0.01941143],"genre_scores_gemma":[0.6208061,0.0001288114,0.3724865,0.0002062878,0.00001177891,0.0003587726,0.002691131,0.0007881699,0.002522389],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008359078,"threshold_uncertainty_score":0.04420751,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3005724777","doi":"10.1109/issre.2019.00045","title":"Criteria to Systematically Evaluate (Safety) Assurance Cases","year":2019,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University","funders":"","keywords":"Soundness; Computer science; Identification (biology); Process (computing); Risk analysis (engineering); Quality assurance; Safety assurance; Quality (philosophy); Notation; Reliability engineering; Engineering; Operations management; Medicine","authors":[{"name":"Thomas Chowdhury","is_ca":true},{"name":"Alan Wassyng","is_ca":true},{"name":"Richard F. Paige","is_ca":true},{"name":"Mark Lawford","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01100388508439069,"gpt":0.2400720813101664,"spread":0.2290681962257757,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0798886,0.002040638,0.001843454,0.02542611,0.002456635,0.007831594,0.002746095,0.003055396,0.005140469],"category_scores_gemma":[0.3818405,0.00108929,0.002685129,0.008555628,0.00377162,0.007206761,0.004886203,0.002076966,0.001115173],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005095939,"about_ca_system_score_gemma":0.0124198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004304151,"about_ca_topic_score_gemma":0.006564899,"domain_scores_codex":[0.8526379,0.05077202,0.03724447,0.005315345,0.05161174,0.002418432],"domain_scores_gemma":[0.4916984,0.3062195,0.03277814,0.02617168,0.1388091,0.004323232],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001048912,0.0009934113,0.06108743,0.006895815,0.0009099946,0.001255644,0.005124046,0.04512113,0.01006935,0.3390491,0.01403684,0.5144082],"study_design_scores_gemma":[0.001527832,0.003256988,0.0246065,0.01094519,0.002068363,0.001807785,0.008589935,0.2884437,0.04203196,0.5027363,0.1132578,0.0007275729],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0874323,0.002451626,0.8690343,0.001989872,0.00033574,0.01193656,0.002731283,0.001881072,0.02220707],"genre_scores_gemma":[0.1685977,0.0005974742,0.8208455,0.0002488651,0.0001083166,0.005480327,0.002652977,0.0002222242,0.001246711],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0798886,"threshold_uncertainty_score":0.4224964,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4386585696","doi":"10.1007/978-3-031-40923-3_1","title":"Assurance Case Arguments in the Large: The CERN LHC Machine Protection System","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McMaster University; University of Toronto; Critical Systems Labs","funders":"Natural Sciences and Engineering Research Council of Canada; CERN","keywords":"Large Hadron Collider; Argumentation theory; Argument (complex analysis); Computer science; Particle physics; Physics; Epistemology; Philosophy","authors":[{"name":"Laure Millet","is_ca":true},{"name":"Simon Diemert","is_ca":true},{"name":"Chris Rees","is_ca":true},{"name":"Torin Viger","is_ca":true},{"name":"Marsha Chećhik","is_ca":true},{"name":"Claudio Menghi","is_ca":true},{"name":"Jeffrey J. Joyce","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01323672471083598,"gpt":0.207494105159835,"spread":0.1942573804489991,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007775764,0.0005995724,0.0005880032,0.0009502717,0.004211679,0.007895775,0.001907465,0.009009881,0.02218478],"category_scores_gemma":[0.01972382,0.0005856982,0.0007805459,0.001046702,0.006785316,0.01045332,0.004260716,0.009575281,0.00223421],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005736521,"about_ca_system_score_gemma":0.002629949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007366474,"about_ca_topic_score_gemma":0.007116545,"domain_scores_codex":[0.9954059,0.001906311,0.00008271191,0.0004582042,0.001567161,0.0005797665],"domain_scores_gemma":[0.9889882,0.008856376,0.0003520759,0.0009122231,0.0006189906,0.0002722396],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00009131517,0.00002012005,0.0001928441,0.00003747631,0.000008516815,0.0003100959,0.0006675802,0.001154359,0.0004393212,0.9688669,0.02063992,0.007571413],"study_design_scores_gemma":[0.00007312341,0.00005993495,0.0008109759,0.00011956,0.00003807874,0.0003611628,0.0008074745,0.0066113,0.001680269,0.8835237,0.1058583,0.00005613795],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.05372517,0.003135426,0.03742667,0.06509275,0.0009239192,0.00006522075,0.0001757655,0.0005107972,0.8389444],"genre_scores_gemma":[0.8966011,0.0007552351,0.006760903,0.01122459,0.000827665,0.00005837493,0.00008602108,0.0003580331,0.08332799],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02218478,"threshold_uncertainty_score":0.07421553,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}