{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T10:17:01Z","timestamp":1672654621687},"reference-count":18,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.325.29","type":"journal-article","created":{"date-parts":[[2020,9,17]],"date-time":"2020-09-17T01:01:53Z","timestamp":1600304513000},"page":"244-257","source":"Crossref","is-referenced-by-count":1,"title":["Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns"],"prefix":"10.4204","volume":"325","author":[{"given":"Yuri","family":"Gil Dantas","sequence":"first","affiliation":[{"name":"fortiss GmbH"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoaneta","family":"Kondeva","sequence":"additional","affiliation":[{"name":"fortiss GmbH"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Nigam","sequence":"additional","affiliation":[{"name":"fortiss GmbH"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2020,9,19]]},"reference":[{"key":"gallina","first-page":"5","article-title":"Lessons Learned while Formalizing ISO 26262 for Compliance Checking","volume-title":"2nd Workshop on TeReCom - Tech. for Regulatory Compliance","author":"Ardila","year":"2018"},{"key":"baral.book","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"Baral","year":"2010"},{"key":"preschern13plop","series-title":"PLoP '13","article-title":"Security Analysis of Safety Patterns","volume-title":"20th Conference on Pattern Languages of Programs","author":"C. Preschern","year":"2013"},{"key":"carlan19wosocer","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2019.00093","article-title":"ExplicitCase: Tool-support for Creating and Maintaining Assurance Arguments Integrated with System Models","volume-title":"WoSoCer","author":"C\u00e2rlan","year":"2019"},{"key":"hazop","volume-title":"HAZOP: Guide to Best Practice","year":"2015"},{"key":"duan17survey","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-319-63194-3_5","article-title":"Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey","volume-title":"FHIES","volume":"9062","author":"Duan","year":"2014"},{"key":"durrwang17safecomp","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66266-4_20","article-title":"A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain","volume-title":"SAFECOMP","author":"D\u00fcrrwang","year":"2017"},{"issue":"3","key":"eiter97tds","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838","article-title":"Disjunctive Datalog","volume":"22","author":"Eiter","year":"1997","journal-title":"ACM Trans. Database Syst."},{"key":"gelfond90iclp","first-page":"579","article-title":"Logic Programs with Classical Negation","volume-title":"ICLP","author":"Gelfond","year":"1990"},{"key":"gleirscher17patterns","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/HASE.2017.15","article-title":"Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern","volume-title":"HASE","author":"Gleirscher","year":"2017"},{"key":"Gmez2014AssuringSI","article-title":"Assuring Safety in an Air Traffic Control System with Defeasible Logic Programming","volume-title":"15th Argentine Symposium on Articial Intelligence, ASAI","author":"G\u00f3mez","year":"2014"},{"key":"helle","doi-asserted-by":"publisher","DOI":"10.1145\/2432631.2432635","article-title":"Automatic SysML-Based Safety Analysis","volume-title":"ACES-MB","author":"Helle","year":"2012"},{"key":"kondeva19wosocer","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2019.00095","article-title":"On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering","volume-title":"WoSoCer","author":"Kondeva","year":"2019"},{"key":"leone06tcl","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","article-title":"The DLV System for Knowledge Representation and Reasoning","volume":"7","author":"Leone","year":"2006","journal-title":"ACM Trans. Comput. Logic"},{"key":"stpa","volume-title":"STPA Handbook","author":"Leveson","year":"2018"},{"issue":"2","key":"martin","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jsse.2012040101","article-title":"Combined automotive safety and security pattern engineering approach","volume":"198","author":"Martin","year":"2020","journal-title":"Reliability Engineering & System Safety"},{"key":"valdivia14dasc","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2014.6979473","article-title":"Using Design Patterns for Safety Assessment of Integrated Modular Avionics","volume-title":"DASC","author":"Matos","year":"2014"},{"key":"deLP","article-title":"An Argumentative Approach to Assessing Safety in Medical Device Software Using Defeasible Logic Programming","volume-title":"Meditech","author":"S.A.","year":"2014"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T02:31:34Z","timestamp":1602556294000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2009.10251v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,19]]},"references-count":18,"URL":"https:\/\/doi.org\/10.4204\/eptcs.325.29","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,19]]}}}