{"id":"https://openalex.org/W3090398723","doi":"https://doi.org/10.1145/3377816.3381728","title":"Synthesis of assurance cases for software certification","display_name":"Synthesis of assurance cases for software certification","publication_year":2020,"publication_date":"2020-06-27","ids":{"openalex":"https://openalex.org/W3090398723","doi":"https://doi.org/10.1145/3377816.3381728","mag":"3090398723"},"language":"en","primary_location":{"id":"doi:10.1145/3377816.3381728","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377816.3381728","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030064922","display_name":"Hamid Bagheri","orcid":"https://orcid.org/0000-0001-6686-466X"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hamid Bagheri","raw_affiliation_strings":["University of Nebraska-Lincoln"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln","institution_ids":["https://openalex.org/I114395901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044511705","display_name":"Eunsuk Kang","orcid":"https://orcid.org/0000-0001-7891-6885"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eunsuk Kang","raw_affiliation_strings":["Carnegie Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055196774","display_name":"Niloofar Mansoor","orcid":"https://orcid.org/0000-0001-5481-7014"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Niloofar Mansoor","raw_affiliation_strings":["University of Nebraska-Lincoln"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln","institution_ids":["https://openalex.org/I114395901"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.8485,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.91343284,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.983299970626831,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.8622908592224121},{"id":"https://openalex.org/keywords/safer","display_name":"SAFER","score":0.6520728468894958},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6037629842758179},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5886141061782837},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5388948321342468},{"id":"https://openalex.org/keywords/pace","display_name":"Pace","score":0.5279314517974854},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5222840309143066},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.4356478154659271},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.40199199318885803},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.33445972204208374},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2566560208797455},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.23370754718780518},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10993480682373047},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.08574110269546509}],"concepts":[{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.8622908592224121},{"id":"https://openalex.org/C2776654903","wikidata":"https://www.wikidata.org/wiki/Q2601463","display_name":"SAFER","level":2,"score":0.6520728468894958},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6037629842758179},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5886141061782837},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5388948321342468},{"id":"https://openalex.org/C2777526511","wikidata":"https://www.wikidata.org/wiki/Q691543","display_name":"Pace","level":2,"score":0.5279314517974854},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5222840309143066},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.4356478154659271},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.40199199318885803},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.33445972204208374},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2566560208797455},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.23370754718780518},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10993480682373047},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.08574110269546509},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3377816.3381728","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3377816.3381728","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6399999856948853,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G2019304684","display_name":null,"funder_award_id":"CCF-1755890","funder_id":"https://openalex.org/F4320309856","funder_display_name":"National Youth Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320309856","display_name":"National Youth Science Foundation","ror":"https://ror.org/054yz2f06"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W135733646","https://openalex.org/W1482632800","https://openalex.org/W1895387792","https://openalex.org/W1963569294","https://openalex.org/W2098602784","https://openalex.org/W2162635569","https://openalex.org/W2164589933","https://openalex.org/W2169134334","https://openalex.org/W2257451327","https://openalex.org/W2403762137","https://openalex.org/W2493296585","https://openalex.org/W2763815264","https://openalex.org/W2784646433","https://openalex.org/W2895825088","https://openalex.org/W2898878396","https://openalex.org/W2905586589","https://openalex.org/W3023320706","https://openalex.org/W4244204598"],"related_works":["https://openalex.org/W2953205341","https://openalex.org/W235065745","https://openalex.org/W2029935773","https://openalex.org/W2787754950","https://openalex.org/W1572215850","https://openalex.org/W1985775355","https://openalex.org/W2352115286","https://openalex.org/W2084793300","https://openalex.org/W2476350415","https://openalex.org/W599377045"],"abstract_inverted_index":{"As":[0],"software":[1,25,104],"is":[2],"rapidly":[3],"being":[4],"embedded":[5],"into":[6],"major":[7],"parts":[8],"of":[9,24,42,52,96,125],"our":[10],"society,":[11],"ranging":[12],"from":[13,39,130],"medical":[14],"devices":[15],"and":[16,44,46,59,109],"self-driving":[17],"vehicles":[18],"to":[19,80,89,100],"critical":[20],"infrastructures,":[21],"potential":[22],"risks":[23],"failures":[26],"are":[27,87],"also":[28,114],"growing":[29],"at":[30],"an":[31,137],"alarming":[32],"pace.":[33],"Existing":[34],"certification":[35,71,117],"processes,":[36],"however,":[37],"suffer":[38],"a":[40,49,67,75,141],"lack":[41],"rigor":[43],"automation,":[45],"often":[47],"incur":[48],"significant":[50],"amount":[51],"manual":[53,123],"effort":[54,124],"on":[55],"both":[56],"system":[57,144],"developers":[58,105],"certifiers.":[60,126],"To":[61],"address":[62],"this":[63,97,133],"issue,":[64],"we":[65],"propose":[66],"substantially":[68],"automated,":[69],"cost-effective":[70],"method,":[72],"backed":[73],"with":[74,147],"novel":[76],"analysis":[77,84],"synthesis":[78],"technique":[79],"automatically":[81],"generate":[82],"application-specific":[83],"tools":[85],"that":[86],"custom-tailored":[88],"producing":[90,107],"the":[91,122,148,151],"necessary":[92],"evidence.":[93],"The":[94],"outcome":[95],"research":[98],"promises":[99],"not":[101],"only":[102],"assist":[103],"in":[106,135,145],"safer":[108],"more":[110],"reliable":[111],"software,":[112],"but":[113],"benefit":[115],"industrial":[116],"agencies":[118],"by":[119],"significantly":[120],"reducing":[121],"Early":[127],"validation":[128],"flows":[129],"experience":[131],"applying":[132],"approach":[134],"constructing":[136],"assurance":[138],"case":[139],"for":[140,150],"surgical":[142],"robot":[143],"collaboration":[146],"Center":[149],"Advanced":[152],"Surgical":[153],"Technology.":[154]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}