{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T21:32:05Z","timestamp":1769722325419,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642380877","type":"print"},{"value":"9783642380884","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38088-4_37","type":"book-chapter","created":{"date-parts":[[2013,5,9]],"date-time":"2013-05-09T00:38:27Z","timestamp":1368059907000},"page":"478-483","source":"Crossref","is-referenced-by-count":12,"title":["Hierarchical Safety Cases"],"prefix":"10.1007","author":[{"given":"Ewen","family":"Denney","sequence":"first","affiliation":[]},{"given":"Ganesh","family":"Pai","sequence":"additional","affiliation":[]},{"given":"Iain","family":"Whiteside","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"Bloomfield, R., Bishop, P.: Safety and Assurance Cases: Past, Present and Possible Future \u2013 An Adelard Perspective. In: Proc. 18th Safety-Critical Sys. Symp. (February 2010)","DOI":"10.1007\/978-1-84996-086-1_4"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Denney, E., Habli, I., Pai, G.: Perspectives on Software Safety Case Development for Unmanned Aircraft. In: Proc. 42nd Intl. Conf. Dependable Sys. and Networks (June 2012)","DOI":"10.1109\/DSN.2012.6263939"},{"key":"37_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-27654-5","volume-title":"SAFECOMP 2012","author":"E. Denney","year":"2012","unstructured":"Denney, E., Pai, G.: A lightweight methodology for safety case assembly. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol.\u00a07612, pp. 1\u201312. Springer, Heidelberg (2012)"},{"key":"37_CR4","unstructured":"Denney, E., Pai, G., Pohl, J.: Automating the generation of heterogeneous aviation safety cases. Tech. Rep. NASA\/CR-2011-215983, NASA Ames Research Center (August 2011)"},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E. Denney","year":"2012","unstructured":"Denney, E., Pai, G., Pohl, J.: AdvoCATE: An Assurance Case Automation Toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012 Workshops. LNCS, vol.\u00a07613, pp. 8\u201321. Springer, Heidelberg (2012)"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"Denney, E., Pai, G., Pohl, J.: Heterogeneous aviation safety cases: Integrating the formal and the non-formal. In: 17th IEEE Intl. Conf. Eng. of Complex Comp. Sys. (July 2012)","DOI":"10.1109\/ICECCS20050.2012.6299215"},{"key":"37_CR7","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/j.entcs.2005.11.063","volume":"155","author":"E. Denney","year":"2006","unstructured":"Denney, E., Power, J., Tourlas, K.: Hiproofs: A hierarchical notion of proof tree. Electr. Notes on Theoretical Comp. Sci.\u00a0155, 341\u2013359 (2006)","journal-title":"Electr. Notes on Theoretical Comp. Sci."},{"key":"37_CR8","unstructured":"Denney, E., Whiteside, I.: Hierarchical safety cases. Tech. Rep. NASA\/TM-2012-216481, NASA Ames Research Center (December 2012)"},{"key":"37_CR9","unstructured":"European Organisation for the Safety of Air Navigation: Preliminary safety case for ADS-B airport surface surveillance application. PSC ADS-B-APT (November 2011)"},{"key":"37_CR10","unstructured":"Goal Structuring Notation Working Group: GSN Community Standard v.1 (November 2011), http:\/\/www.goalstructuringnotation.info\/"},{"key":"37_CR11","unstructured":"Stone, G.: On arguing the safety of large systems. In: 10th Australian Workshop on Safety-Related Programmable Sys. ACM Intl. Conf. Proc. Series, vol.\u00a0162, pp. 69\u201375 (2006)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38088-4_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,26]],"date-time":"2020-07-26T13:36:51Z","timestamp":1595770611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38088-4_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642380877","9783642380884"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38088-4_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}