{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T06:42:52Z","timestamp":1775544172557,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100007515","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1755890"],"award-info":[{"award-number":["CCF-1755890"]}],"id":[{"id":"10.13039\/100007515","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377816.3381728","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T01:49:05Z","timestamp":1600480145000},"page":"61-64","source":"Crossref","is-referenced-by-count":10,"title":["Synthesis of assurance cases for software certification"],"prefix":"10.1145","author":[{"given":"Hamid","family":"Bagheri","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunsuk","family":"Kang","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niloofar","family":"Mansoor","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The Center for Advanced Surgical Technology. https:\/\/www.unmc.edu\/cast\/.  The Center for Advanced Surgical Technology. https:\/\/www.unmc.edu\/cast\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136040.3136055"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3174802"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985889"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301665"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787035"},{"key":"e_1_3_2_1_8_1","volume-title":"Synthesizing program-specific static analyses. https:\/\/arxiv.org\/abs\/1810.06600","author":"Gordon C. S.","year":"2018"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8556872"},{"key":"e_1_3_2_1_10_1","volume-title":"Software Abstractions: Logic, language, and analysis","author":"Jackson D.","year":"2006"},{"key":"e_1_3_2_1_11_1","volume-title":"National Academies Press","author":"Jackson D.","year":"2007"},{"key":"e_1_3_2_1_12_1","volume-title":"Dependable Systems and Networks (DSN) Workshop on Assurance Cases","author":"Kelly T.","year":"2004"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of WEIS","author":"Clayton R.","year":"2017"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3275534"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985799"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_2"},{"key":"e_1_3_2_1_17_1","unstructured":"U.S. Food and Drug Administration (FDA). List of Device Recalls. https:\/\/www.fda.gov\/medicaldevices\/safety\/listofrecalls. Accessed: 2018-11-14.  U.S. Food and Drug Administration (FDA). List of Device Recalls. https:\/\/www.fda.gov\/medicaldevices\/safety\/listofrecalls. Accessed: 2018-11-14."},{"key":"e_1_3_2_1_18_1","volume-title":"General principles of software validation","author":"U.S. Food and Drug Administration (FDA).","year":"2017"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24255-2_34"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377816.3381728","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377816.3381728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:52Z","timestamp":1750199932000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377816.3381728"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":19,"alternative-id":["10.1145\/3377816.3381728","10.1145\/3377816"],"URL":"https:\/\/doi.org\/10.1145\/3377816.3381728","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]}}}