{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:37:57Z","timestamp":1743151077227,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031686054"},{"type":"electronic","value":"9783031686061"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-68606-1_6","type":"book-chapter","created":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:02:40Z","timestamp":1725836560000},"page":"84-99","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Assurance Case Synthesis from\u00a0a\u00a0Curated Semantic Triplestore"],"prefix":"10.1007","author":[{"given":"Saswata","family":"Paul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baoluo","family":"Meng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kit","family":"Siu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abha","family":"Moitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Durling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Beyene, T.A., Carlan, C.: CyberGSN: a semi-formal language for specifying safety cases. In: 51st Annual International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 63\u201366. IEEE (2021)","DOI":"10.1109\/DSN-W52860.2021.00021"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Crapo, A.W., Moitra, A.: Using OWL ontologies as a domain-specific language for capturing requirements for formal analysis and test case generation. In: 13th International Conference on Semantic Computing (ICSC), pp. 361\u2013366. IEEE (2019)","DOI":"10.1109\/ICOSC.2019.8665630"},{"issue":"03","key":"6_CR3","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1142\/S1793351X13500025","volume":"7","author":"A Crapo","year":"2013","unstructured":"Crapo, A., Moitra, A.: Toward a unified English-like representation of semantic models, data, and graph patterns for subject matter experts. Int. J. Semant. Comput. 7(03), 215\u2013236 (2013)","journal-title":"Int. J. Semant. Comput."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-031-47243-5_19","volume-title":"The Semantic Web","author":"P Cuddihy","year":"2023","unstructured":"Cuddihy, P., Russell, D., Mertens, E., Siu, K., Archer, D., Williams, J.: Aviation certification powered by the semantic web stack. In: Payne, T.R., et al. (eds.) ISWC 2023. LNCS, vol. 14266, pp. 345\u2013361. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-47243-5_19"},{"key":"6_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. LNCS, vol. 7613, pp. 8\u201321. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33675-1_2"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-45848-4_57","volume-title":"Graph Drawing","author":"J Ellson","year":"2002","unstructured":"Ellson, J., Gansner, E., Koutsofios, L., North, S.C., Woodhull, G.: Graphviz\u2014open source graph drawing tools. In: Mutzel, P., J\u00fcnger, M., Leipert, S. (eds.) GD 2001. LNCS, vol. 2265, pp. 483\u2013484. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45848-4_57"},{"key":"6_CR7","unstructured":"GE Research: RITE SAFECOMP 2024 Release. https:\/\/github.com\/ge-high-assurance\/RITE\/releases\/tag\/safecomp24"},{"key":"6_CR8","unstructured":"GE Research: SADL: Semantic Application Design Language. https:\/\/github.com\/SemanticApplicationDesignLanguage\/sadl. Accessed 28 Apr 2023"},{"issue":"9","key":"6_CR9","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/3338843","volume":"62","author":"D Jackson","year":"2019","unstructured":"Jackson, D.: Alloy: a language and tool for exploring software designs. Commun. ACM 62(9), 66\u201376 (2019)","journal-title":"Commun. ACM"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-031-40953-0_3","volume-title":"Computer Safety, Reliability, and Security","author":"R Kapinski","year":"2023","unstructured":"Kapinski, R., Pantelic, V., Bandur, V., Wassyng, A., Lawford, M.: Assurance cases for timing properties of automotive TSN networks. In: Guiochet, J., Tonetta, S., Schoitsch, E., Roy, M., Bitsch, F. (eds.) SAFECOMP 2023. LNCS, vol. 14182, pp. 26\u201331. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40953-0_3"},{"key":"6_CR11","unstructured":"Kelly, T., Weaver, R.: The goal structuring notation\u2013a safety argument notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases, vol.\u00a06. Citeseer (2004)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Kumar, V., Cuddihy, P., Aggour, K.: NodeGroup: a knowledge-driven data management abstraction for industrial machine learning. In: Proceedings of the 3rd International Workshop on Data Management for End-to-End Machine Learning, pp.\u00a01\u20134 (2019)","DOI":"10.1145\/3329486.3329497"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-319-99933-3_2","volume-title":"Dependable Software Engineering. Theories, Tools, and Applications","author":"C-L Lin","year":"2018","unstructured":"Lin, C.-L., Shen, W., Yue, T., Li, G.: Automatic support of the generation and maintenance of assurance cases. In: Feng, X., M\u00fcller-Olm, M., Yang, Z. (eds.) SETTA 2018. LNCS, vol. 10998, pp. 11\u201328. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99933-3_2"},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"18","DOI":"10.3390\/systems9010018","volume":"9","author":"B Meng","year":"2021","unstructured":"Meng, B., et al.: Verdict: a language and framework for engineering cyber resilient and safe system. Systems 9(1), 18 (2021)","journal-title":"Systems"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Meng, B., et al.: Towards developing formalized assurance cases. In: 2020 AIAA\/IEEE 39th Digital Avionics Systems Conference (DASC), pp.\u00a01\u20139. IEEE (2020)","DOI":"10.1109\/DASC50938.2020.9256740"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-030-83903-1_7","volume-title":"Computer Safety, Reliability, and Security","author":"B Meng","year":"2021","unstructured":"Meng, B., Paul, S., Moitra, A., Siu, K., Durling, M.: Automating the assembly of security assurance case fragments. In: Habli, I., Sujan, M., Bitsch, F. (eds.) SAFECOMP 2021. LNCS, vol. 12852, pp. 101\u2013114. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-83903-1_7"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Moitra, A., et al.: A semantic reference model for capturing system development and evaluation. In: 16th International Conference on Semantic Computing (ICSC), pp. 173\u2013174. IEEE (2022)","DOI":"10.1109\/ICSC52841.2022.00035"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Moitra, A., et al.: Enabling development of an extensible, multi-perspective ontology. In: 18th International Conference on Semantic Computing (ICSC), pp. 77\u201380. IEEE (2024)","DOI":"10.1109\/ICSC59802.2024.00018"},{"key":"6_CR19","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-031-40953-0_13","volume-title":"SAFECOMP 2023","author":"A Moitra","year":"2023","unstructured":"Moitra, A., et al.: RACK: a semantic model and triplestore for curation of assurance case evidence. In: Guiochet, J., Tonetta, S., Schoitsch, E., Roy, M., Bitsch, F. (eds.) SAFECOMP 2023. LNCS, vol. 14182, pp. 149\u2013160. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40953-0_13"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.websem.2015.04.001","volume":"35","author":"L Moreau","year":"2015","unstructured":"Moreau, L., Groth, P., Cheney, J., Lebo, T., Miles, S.: The rationale of PROV. J. Web Semant. 35, 235\u2013257 (2015)","journal-title":"J. Web Semant."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Paul, S., et al.: Automated DO-178C compliance summary through evidence curation. In: 42nd Digital Avionics Systems Conference (DASC), pp. 1\u201310. IEEE (2023)","DOI":"10.1109\/DASC58513.2023.10311159"},{"key":"6_CR22","unstructured":"Ramakrishna, S., Hartsell, C., Dubey, A., Pal, P., Karsai, G.: A methodology for automating assurance case generation. In: Thirteenth International Tools and Methods of Competitive Engineering Symposium (TMCE 2020) (2020)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Siu, K., et\u00a0al.: Architectural and behavioral analysis for cyber security. In: 2019 IEEE\/AIAA 38th Digital Avionics Systems Conference (DASC), pp. 1\u201310. IEEE (2019)","DOI":"10.1109\/DASC43569.2019.9081652"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1007\/978-3-030-35333-9_49","volume-title":"Product-Focused Software Process Improvement","author":"JL de la Vara","year":"2019","unstructured":"de la Vara, J.L., Parra, E., Ruiz, A., Gallina, B.: AMASS: a large-scale European project to improve the assurance and certification of cyber-physical systems. In: Franch, X., M\u00e4nnist\u00f6, T., Mart\u00ednez-Fern\u00e1ndez, S. (eds.) PROFES 2019. LNCS, vol. 11915, pp. 626\u2013632. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-35333-9_49"},{"key":"6_CR25","unstructured":"W3C: OWL - Semantic Web Standards. https:\/\/www.w3.org\/OWL"},{"key":"6_CR26","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-031-06773-0_9","volume-title":"NFM 2022","author":"TE Wang","year":"2022","unstructured":"Wang, T.E., Daw, Z., Nuzzo, P., Pinto, A.: Hierarchical contract-based synthesis for assurance cases. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NFM 2022. LNCS, vol. 13260, pp. 175\u2013192. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_9"},{"key":"6_CR27","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-031-40953-0_12","volume-title":"SAFECOMP 2023","author":"TE Wang","year":"2023","unstructured":"Wang, T.E., et al.: Computer-aided generation of assurance cases. In: Guiochet, J., Tonetta, S., Schoitsch, E., Roy, M., Bitsch, F. (eds.) SAFECOMP 2023. LNCS, vol. 14182, pp. 135\u2013148. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40953-0_12"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.jss.2019.05.013","volume":"154","author":"R Wei","year":"2019","unstructured":"Wei, R., Kelly, T.P., Dai, X., Zhao, S., Hawkins, R.: Model based system assurance using the structured assurance case metamodel. J. Syst. Softw. 154, 211\u2013233 (2019)","journal-title":"J. Syst. Softw."},{"key":"6_CR29","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-031-40953-0_2","volume-title":"SAFECOMP 2023","author":"M Zeroual","year":"2023","unstructured":"Zeroual, M., Hamid, B., Adedjouma, M., Jaskolka, J.: Constructing security cases based on formal verification of security requirements in alloy. In: Guiochet, J., Tonetta, S., Schoitsch, E., Roy, M., Bitsch, F. (eds.) SAFECOMP 2023. LNCS, vol. 14182, pp. 15\u201325. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40953-0_2"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68606-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:03:48Z","timestamp":1725836628000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68606-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031686054","9783031686061"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68606-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"9 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Florence","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.safecomp2024.unifi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}