{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T01:22:17Z","timestamp":1768526537603,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T00:00:00Z","timestamp":1625616000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC"},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2019-06306"],"award-info":[{"award-number":["RGPIN-2019-06306"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,7]]},"DOI":"10.1145\/3489449.3490001","type":"proceedings-article","created":{"date-parts":[[2022,1,24]],"date-time":"2022-01-24T05:52:45Z","timestamp":1643003565000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A Security Property Decomposition Argument Pattern for Structured Assurance Case Models"],"prefix":"10.1145","author":[{"given":"Jason","family":"Jaskolka","sequence":"first","affiliation":[{"name":"Systems and Computer Engineering, Carleton\u00a0University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alvi","family":"Jawad","sequence":"additional","affiliation":[{"name":"Systems and Computer Engineering, Carleton\u00a0University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joe","family":"Samuel","sequence":"additional","affiliation":[{"name":"Systems and Computer Engineering, Carleton\u00a0University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brahim","family":"Hamid","sequence":"additional","affiliation":[{"name":"Institut de Recherche en Informatique de Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,1,23]]},"reference":[{"key":"e_1_3_2_1_2_1","volume-title":"Guideline for Using Cryptographic Standards in the Federal Government: Cryptographic Mechanisms. Special Publication (NIST SP) 800-175B Revision 1","author":"Barker Elaine","unstructured":"Elaine Barker . 2020. Guideline for Using Cryptographic Standards in the Federal Government: Cryptographic Mechanisms. Special Publication (NIST SP) 800-175B Revision 1 . National Institute of Standards and Technology . Elaine Barker. 2020. Guideline for Using Cryptographic Standards in the Federal Government: Cryptographic Mechanisms. Special Publication (NIST SP) 800-175B Revision 1. National Institute of Standards and Technology."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125810"},{"key":"e_1_3_2_1_4_1","unstructured":"Committee on National Security Systems. 2012. National Information Assurance Policy for Space Systems Used to Support National Security Missions. CNSS Policy\u00a012. Committee on National Security Systems.  Committee on National Security Systems. 2012. National Information Assurance Policy for Space Systems Used to Support National Security Missions. CNSS Policy\u00a012. Committee on National Security Systems."},{"key":"e_1_3_2_1_5_1","unstructured":"Common Criteria Recognition Arrangement. 2017. Common Criteria for Information Technology Security Evaluation (CC) Version 3.1 Revision 5. Number CCMB-2017-04-001.  Common Criteria Recognition Arrangement. 2017. Common Criteria for Information Technology Security Evaluation (CC) Version 3.1 Revision 5. Number CCMB-2017-04-001."},{"key":"e_1_3_2_1_6_1","volume-title":"Categorization of Security Design Patterns. Master\u2019s thesis","author":"Dangler Y.","unstructured":"Jeremiah\u00a0 Y. Dangler . 2013. Categorization of Security Design Patterns. Master\u2019s thesis . East Tennessee State University , Johnson City, TN, U.S.A. Jeremiah\u00a0Y. Dangler. 2013. Categorization of Security Design Patterns. Master\u2019s thesis. East Tennessee State University, Johnson City, TN, U.S.A."},{"key":"e_1_3_2_1_7_1","volume-title":"The AMASS Approach for Assurance and Certification of Critical Systems. In embedded world","author":"de la Vara Jose\u00a0Luis","year":"2019","unstructured":"Jose\u00a0Luis de la Vara , Alejandra Ruiz , Barbara Gallina , Ga\u00ebl Blondelle , Elena Ala\u00f1a , Javier Herrero , Fredrik Warg , Martin Skoglund , and Robert Bramberger . 2019. The AMASS Approach for Assurance and Certification of Critical Systems. In embedded world 2019 . 1\u201310. Jose\u00a0Luis de la Vara, Alejandra Ruiz, Barbara Gallina, Ga\u00ebl Blondelle, Elena Ala\u00f1a, Javier Herrero, Fredrik Warg, Martin Skoglund, and Robert Bramberger. 2019. The AMASS Approach for Assurance and Certification of Critical Systems. In embedded world 2019. 1\u201310."},{"key":"e_1_3_2_1_8_1","unstructured":"Brian Dobbing and Samantha Lautieri. 2006. SafSec Methodology: Standard 3.1. SafSec: Integration of Safety & Security Certification S.P1199.50.2. Altran Praxis.  Brian Dobbing and Samantha Lautieri. 2006. SafSec Methodology: Standard 3.1. SafSec: Integration of Safety & Security Certification S.P1199.50.2. Altran Praxis."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230833.3232821"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2014.89"},{"key":"e_1_3_2_1_11_1","volume-title":"The Assurance Recipe: Facilitating Assurance Patterns","author":"Firestone Justin","unstructured":"Justin Firestone and Myra\u00a0 B. Cohen . 2018. The Assurance Recipe: Facilitating Assurance Patterns . In Computer Safety, Reliability, and Security, Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, and Friedemann Bitsch (Eds.). Springer International Publishing , Cham , 22\u201330. Justin Firestone and Myra\u00a0B. Cohen. 2018. The Assurance Recipe: Facilitating Assurance Patterns. In Computer Safety, Reliability, and Security, Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, and Friedemann Bitsch (Eds.). Springer International Publishing, Cham, 22\u201330."},{"key":"e_1_3_2_1_12_1","volume-title":"A Sample Security Assurance Case Pattern. IDA Paper P-9278","author":"Fong Kenneth\u00a0Hong","unstructured":"E.\u00a0 Kenneth\u00a0Hong Fong and David\u00a0 A. Wheeler . 2018. A Sample Security Assurance Case Pattern. IDA Paper P-9278 . Institute for Defense Analyses , Alexandria, VA, U.S.A. E.\u00a0Kenneth\u00a0Hong Fong and David\u00a0A. Wheeler. 2018. A Sample Security Assurance Case Pattern. IDA Paper P-9278. Institute for Defense Analyses, Alexandria, VA, U.S.A."},{"key":"e_1_3_2_1_13_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma Erich","year":"1994","unstructured":"Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . 1994 . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley . Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1994. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley."},{"key":"e_1_3_2_1_14_1","volume-title":"An Introduction to Software Architecture. Advances in Software Engineering and Knowledge Engineering I (December","author":"Garlan David","year":"1993","unstructured":"David Garlan and Mary Shaw . 1993. An Introduction to Software Architecture. Advances in Software Engineering and Knowledge Engineering I (December 1993 ), 1\u201339. David Garlan and Mary Shaw. 1993. An Introduction to Software Architecture. Advances in Software Engineering and Knowledge Engineering I (December 1993), 1\u201339."},{"key":"e_1_3_2_1_15_1","volume-title":"Assurance of system safety: A survey of design and argument patterns. arXiv preprint arXiv:1902.05537 [cs.SE]","author":"Gleirscher Mario","year":"2019","unstructured":"Mario Gleirscher and Stefan Kugele . 2019. Assurance of system safety: A survey of design and argument patterns. arXiv preprint arXiv:1902.05537 [cs.SE] ( 2019 ). Mario Gleirscher and Stefan Kugele. 2019. Assurance of system safety: A survey of design and argument patterns. arXiv preprint arXiv:1902.05537 [cs.SE] (2019)."},{"key":"e_1_3_2_1_17_1","unstructured":"GSN Working Group. 2018. GSN Community Standard Version 2. Available: https:\/\/scsc.uk\/r141B:1?t=1.  GSN Working Group. 2018. GSN Community Standard Version 2. Available: https:\/\/scsc.uk\/r141B:1?t=1."},{"key":"e_1_3_2_1_19_1","unstructured":"International Organization for Standardization. 2016. ISO 13485:2016 Medical devices \u2013 Quality management systems \u2013 Requirements for regulatory purposes.  International Organization for Standardization. 2016. ISO 13485:2016 Medical devices \u2013 Quality management systems \u2013 Requirements for regulatory purposes."},{"key":"e_1_3_2_1_20_1","unstructured":"International Organization for Standardization. 2017. ISO\/IEC 27019:2017 Information technology \u2013 Security techniques \u2013 Information security controls for the energy utility industry.  International Organization for Standardization. 2017. ISO\/IEC 27019:2017 Information technology \u2013 Security techniques \u2013 Information security controls for the energy utility industry."},{"key":"e_1_3_2_1_21_1","unstructured":"International Organization for Standardization. 2018. ISO 26262: Road Vehicles \u2013 Functional Safety.  International Organization for Standardization. 2018. ISO 26262: Road Vehicles \u2013 Functional Safety."},{"key":"e_1_3_2_1_22_1","unstructured":"International Organization for Standardization. 2018. ISO\/IEC 27000:2018 Information technology \u2013 Security techniques \u2013 Information security management systems \u2013 Overview and vocabulary.  International Organization for Standardization. 2018. ISO\/IEC 27000:2018 Information technology \u2013 Security techniques \u2013 Information security management systems \u2013 Overview and vocabulary."},{"key":"e_1_3_2_1_23_1","unstructured":"International Organization for Standardization. 2019. ISO 14971:2019 Medical devices \u2013 Application of risk management to medical devices.  International Organization for Standardization. 2019. ISO 14971:2019 Medical devices \u2013 Application of risk management to medical devices."},{"key":"e_1_3_2_1_24_1","volume-title":"Challenges in Assuring Security and Resilience of Advanced Metering Infrastructure. In 18th Annual IEEE Canada Electrical Power and Energy Conference(EPEC","author":"Jaskolka Jason","year":"2018","unstructured":"Jason Jaskolka . 2018 . Challenges in Assuring Security and Resilience of Advanced Metering Infrastructure. In 18th Annual IEEE Canada Electrical Power and Energy Conference(EPEC 2018). IEEE, Toronto, ON, Canada, 1\u20136. Jason Jaskolka. 2018. Challenges in Assuring Security and Resilience of Advanced Metering Infrastructure. In 18th Annual IEEE Canada Electrical Power and Energy Conference(EPEC 2018). IEEE, Toronto, ON, Canada, 1\u20136."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-52243-8_37"},{"key":"e_1_3_2_1_26_1","volume-title":"UMLsec: Extending UML for Secure Systems Development. In UML 2002 \u2014 The Unified Modeling Language, Jean-Marc J\u00e9z\u00e9quel, Heinrich Hussmann, and Stephen Cook(Eds.). Springer, Berlin\/Heidelberg, 412\u2013425","author":"J\u00fcrjens Jan","year":"2002","unstructured":"Jan J\u00fcrjens . 2002 . UMLsec: Extending UML for Secure Systems Development. In UML 2002 \u2014 The Unified Modeling Language, Jean-Marc J\u00e9z\u00e9quel, Heinrich Hussmann, and Stephen Cook(Eds.). Springer, Berlin\/Heidelberg, 412\u2013425 . Jan J\u00fcrjens. 2002. UMLsec: Extending UML for Secure Systems Development. In UML 2002 \u2014 The Unified Modeling Language, Jean-Marc J\u00e9z\u00e9quel, Heinrich Hussmann, and Stephen Cook(Eds.). Springer, Berlin\/Heidelberg, 412\u2013425."},{"key":"e_1_3_2_1_27_1","volume-title":"Attack Path Analysis for Cyber Physical Systems","author":"Kavallieratos Georgios","unstructured":"Georgios Kavallieratos and Sokratis Katsikas . 2020. Attack Path Analysis for Cyber Physical Systems . In Computer Security, Sokratis Katsikas, Fr\u00e9d\u00e9ric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Ant\u00f3n, Stefanos Gritzalis, Weizhi Meng, and Steven Furnell (Eds.). Springer International Publishing , Cham , 19\u201333. Georgios Kavallieratos and Sokratis Katsikas. 2020. Attack Path Analysis for Cyber Physical Systems. In Computer Security, Sokratis Katsikas, Fr\u00e9d\u00e9ric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Ant\u00f3n, Stefanos Gritzalis, Weizhi Meng, and Steven Furnell (Eds.). Springer International Publishing, Cham, 19\u201333."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0997-6_5"},{"key":"e_1_3_2_1_30_1","volume-title":"UML 2002 \u2014 The Unified Modeling Language, Jean-Marc J\u00e9z\u00e9quel","author":"Lodderstedt Torsten","unstructured":"Torsten Lodderstedt , David Basin , and J\u00fcrgen Doser . 2002. SecureUML: A UML-Based Modeling Language for Model-Driven Security . In UML 2002 \u2014 The Unified Modeling Language, Jean-Marc J\u00e9z\u00e9quel , Heinrich Hussmann, and Stephen Cook (Eds.). Springer , Berlin\/ Heidelberg , 426\u2013441. Torsten Lodderstedt, David Basin, and J\u00fcrgen Doser. 2002. SecureUML: A UML-Based Modeling Language for Model-Driven Security. In UML 2002 \u2014 The Unified Modeling Language, Jean-Marc J\u00e9z\u00e9quel, Heinrich Hussmann, and Stephen Cook (Eds.). Springer, Berlin\/Heidelberg, 426\u2013441."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Levi L\u00facio Qin Zhang Phu\u00a0H. Nguyen Moussa Amrani Jacques Klein Hans Vangheluwe and Yves\u00a0Le Traon. 2014. Chapter 3 - Advances in Model-Driven Security. In Advances in Computers Atif Memon (Ed.). Advances in Computers Vol.\u00a093. Elsevier 103\u2013152.  Levi L\u00facio Qin Zhang Phu\u00a0H. Nguyen Moussa Amrani Jacques Klein Hans Vangheluwe and Yves\u00a0Le Traon. 2014. Chapter 3 - Advances in Model-Driven Security. In Advances in Computers Atif Memon (Ed.). Advances in Computers Vol.\u00a093. Elsevier 103\u2013152.","DOI":"10.1016\/B978-0-12-800162-2.00003-8"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005734305090516"},{"key":"e_1_3_2_1_33_1","volume-title":"The Agile Safety Case","author":"Myklebust Thor","unstructured":"Thor Myklebust and Tor St\u00e5lhane . 2018. Safety Case Patterns, Notations and GSN . In The Agile Safety Case . Springer , Cham , 87\u201399. Thor Myklebust and Tor St\u00e5lhane. 2018. Safety Case Patterns, Notations and GSN. In The Agile Safety Case. Springer, Cham, 87\u201399."},{"key":"e_1_3_2_1_34_1","series-title":"Lecture Notes in Computer Science, Vol.\u00a08938","volume-title":"12th International Conference on Software Engineering and Formal Methods, Carlos Canal and Akram Idani (Eds.)","author":"Pinchinat Sophie","unstructured":"Sophie Pinchinat , Mathieu Acher , and Didier Vojtisek . 2015. Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis . In 12th International Conference on Software Engineering and Formal Methods, Carlos Canal and Akram Idani (Eds.) . Lecture Notes in Computer Science, Vol.\u00a08938 . Springer , Cham , 363\u2013375. Sophie Pinchinat, Mathieu Acher, and Didier Vojtisek. 2015. Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis. In 12th International Conference on Software Engineering and Formal Methods, Carlos Canal and Akram Idani (Eds.). Lecture Notes in Computer Science, Vol.\u00a08938. Springer, Cham, 363\u2013375."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2011.08.092"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593868.2593880"},{"key":"e_1_3_2_1_37_1","volume-title":"1st International Conference on Availability, Reliability and Security (ARES\u201906)","author":"Rosado G.","unstructured":"D.\u00a0 G. Rosado , C. Gutierrez , E. Fernandez-Medina , and M. Piattini . 2006. A study of security architectural patterns . In 1st International Conference on Availability, Reliability and Security (ARES\u201906) . IEEE, Vienna, Austria, 8 pp.\u2013365. D.\u00a0G. Rosado, C. Gutierrez, E. Fernandez-Medina, and M. Piattini. 2006. A study of security architectural patterns. In 1st International Conference on Availability, Reliability and Security (ARES\u201906). IEEE, Vienna, Austria, 8 pp.\u2013365."},{"key":"e_1_3_2_1_38_1","unstructured":"SAE International. 2016. J3061 Cybersecurity Guidebook for Cyber-Physical Vehicle Systems.  SAE International. 2016. J3061 Cybersecurity Guidebook for Cyber-Physical Vehicle Systems."},{"key":"e_1_3_2_1_39_1","unstructured":"SAE International. 2020. ISO\/SAE DIS 21434: Road Vehicles \u2013 Cybersecurity Engineering.  SAE International. 2020. ISO\/SAE DIS 21434: Road Vehicles \u2013 Cybersecurity Engineering."},{"key":"e_1_3_2_1_40_1","volume-title":"Sawilla and Xinming Ou","author":"E.","year":"2008","unstructured":"Reginald\u00a0 E. Sawilla and Xinming Ou . 2008 . Identifying Critical Attack Assets in Dependency Attack Graphs. In 13th European Symposium on Research in Computer Security. Springer , Berlin\/Heidelberg, 18\u201334. Reginald\u00a0E. Sawilla and Xinming Ou. 2008. Identifying Critical Attack Assets in Dependency Attack Graphs. In 13th European Symposium on Research in Computer Security. Springer, Berlin\/Heidelberg, 18\u201334."},{"key":"e_1_3_2_1_41_1","volume-title":"Security Patterns: Integrating Security and Systems Engineering","author":"Schumacher Markus","year":"2006","unstructured":"Markus Schumacher , Eduardo Fernandez-Buglioni , Duane Hybertson , Frank Buschmann , and Peter Sommerla . 2006 . Security Patterns: Integrating Security and Systems Engineering . Wiley . Markus Schumacher, Eduardo Fernandez-Buglioni, Duane Hybertson, Frank Buschmann, and Peter Sommerla. 2006. Security Patterns: Integrating Security and Systems Engineering. Wiley."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/818957"},{"key":"e_1_3_2_1_43_1","volume-title":"Threat Modeling: Designing for Security","author":"Shostack Adam","year":"2014","unstructured":"Adam Shostack . 2014 . Threat Modeling: Designing for Security . John Wiley & Sons . Adam Shostack. 2014. Threat Modeling: Designing for Security. John Wiley & Sons."},{"key":"e_1_3_2_1_44_1","volume-title":"Building Multiple-viewpoint Assurance Cases Using Assumption\/Guarantee Contracts. In 10th European Conference on Software Architecture Workshops(ECSAW \u201916)","author":"\u0160ljivo Irfan","year":"2016","unstructured":"Irfan \u0160ljivo and Barbara Gallina . 2016 . Building Multiple-viewpoint Assurance Cases Using Assumption\/Guarantee Contracts. In 10th European Conference on Software Architecture Workshops(ECSAW \u201916) . ACM, New York, NY, USA, 39:1\u201339:7. Irfan \u0160ljivo and Barbara Gallina. 2016. Building Multiple-viewpoint Assurance Cases Using Assumption\/Guarantee Contracts. In 10th European Conference on Software Architecture Workshops(ECSAW \u201916). ACM, New York, NY, USA, 39:1\u201339:7."},{"key":"e_1_3_2_1_45_1","volume-title":"Advances in Dependability Engineering of Complex Systems","author":"Szczygielska Monika","unstructured":"Monika Szczygielska and Aleksander Jarz\u0119bowicz . 2017. Assurance case patterns on-line catalogue . In Advances in Dependability Engineering of Complex Systems . Springer , Cham , 407\u2013417. Monika Szczygielska and Aleksander Jarz\u0119bowicz. 2017. Assurance case patterns on-line catalogue. In Advances in Dependability Engineering of Complex Systems. Springer, Cham, 407\u2013417."},{"key":"e_1_3_2_1_46_1","volume-title":"Guidelines for Smart Grid Cybersecurity","author":"The Smart Grid Interoperability Panel\u2013Smart Grid Cybersecurity Committee","unstructured":"The Smart Grid Interoperability Panel\u2013Smart Grid Cybersecurity Committee . 2014. Guidelines for Smart Grid Cybersecurity : Volume 1 \u2013 Smart Grid Cybersecurity Strategy, Architecture , and High-Level Requirements. Interagency Report NISTIR 7628 Revision 1. National Institute of Standards and Technology . The Smart Grid Interoperability Panel\u2013Smart Grid Cybersecurity Committee. 2014. Guidelines for Smart Grid Cybersecurity: Volume 1 \u2013 Smart Grid Cybersecurity Strategy, Architecture, and High-Level Requirements. Interagency Report NISTIR 7628 Revision 1. National Institute of Standards and Technology."},{"key":"e_1_3_2_1_47_1","volume-title":"Risk Centric Threat Modeling: Process for Attack Simulation and Threat Analysis","author":"UcedaV\u00e9lez Tony","unstructured":"Tony UcedaV\u00e9lez and Marco\u00a0 M. Morana . 2015. Risk Centric Threat Modeling: Process for Attack Simulation and Threat Analysis ( first ed.). John Wiley & Sons . Tony UcedaV\u00e9lez and Marco\u00a0M. Morana. 2015. Risk Centric Threat Modeling: Process for Attack Simulation and Threat Analysis (first ed.). John Wiley & Sons."},{"key":"e_1_3_2_1_48_1","unstructured":"U.S.A. Department of Defense. 2014. DoD Instruction 8510.01 Risk Management Framework (RMF) for DoD Information Technology (IT).  U.S.A. Department of Defense. 2014. DoD Instruction 8510.01 Risk Management Framework (RMF) for DoD Information Technology (IT)."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.09.001"},{"key":"e_1_3_2_1_50_1","volume-title":"Victor Sacrist\u00e1n, Christoph Schmittner, Thomas Gruber, Zhendong Ma, Petr B\u00f6hm, Morayo Adedjouma, Stefano Puri, Garazi Juez, Alejandra Ruiz, Huascar Espinoza, Helmut Martin, and Benito Caracuel.","author":"Vall\u00e9e Fr\u00e9d\u00e9rique","year":"2018","unstructured":"Fr\u00e9d\u00e9rique Vall\u00e9e , Mohamed Bakkali , Marc Sango , Fredrik Warg , Irfan Sljivo , Barbara Gallina , Jose\u00a0Luis de\u00a0la Vara , Victor Sacrist\u00e1n, Christoph Schmittner, Thomas Gruber, Zhendong Ma, Petr B\u00f6hm, Morayo Adedjouma, Stefano Puri, Garazi Juez, Alejandra Ruiz, Huascar Espinoza, Helmut Martin, and Benito Caracuel. 2018 . Baseline and requirements for multi-concern assurance. Technical Report AMASS_D4.1_WP4_A4T_V1.1. Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems . Fr\u00e9d\u00e9rique Vall\u00e9e, Mohamed Bakkali, Marc Sango, Fredrik Warg, Irfan Sljivo, Barbara Gallina, Jose\u00a0Luis de\u00a0la Vara, Victor Sacrist\u00e1n, Christoph Schmittner, Thomas Gruber, Zhendong Ma, Petr B\u00f6hm, Morayo Adedjouma, Stefano Puri, Garazi Juez, Alejandra Ruiz, Huascar Espinoza, Helmut Martin, and Benito Caracuel. 2018. Baseline and requirements for multi-concern assurance. Technical Report AMASS_D4.1_WP4_A4T_V1.1. Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3407023.3407070"},{"key":"e_1_3_2_1_52_1","volume-title":"Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems. In 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)","author":"Warg Fredrik","year":"2019","unstructured":"Fredrik Warg and Martin Skoglund . 2019 . Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems. In 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019) (OpenAccess Series in Informatics, Vol.\u00a073), Mikael Asplund and Michael Paulitsch (Eds.). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 3:1\u20133:13. Fredrik Warg and Martin Skoglund. 2019. Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems. In 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)(OpenAccess Series in Informatics, Vol.\u00a073), Mikael Asplund and Michael Paulitsch (Eds.). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 3:1\u20133:13."},{"key":"e_1_3_2_1_53_1","volume-title":"Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?IEEE Design & Test 32, 5 (October","author":"Wassyng Alan","year":"2015","unstructured":"Alan Wassyng , Neeraj\u00a0Kumar Singh , Mischa Geven , Nicholas Proscia , Hao Wang , Mark Lawford , and Tom Maibaum . 2015. Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?IEEE Design & Test 32, 5 (October 2015 ), 45\u201355. Alan Wassyng, Neeraj\u00a0Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, and Tom Maibaum. 2015. Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?IEEE Design & Test 32, 5 (October 2015), 45\u201355."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASSURE.2013.6614265"}],"event":{"name":"EuroPLoP'21: European Conference on Pattern Languages of Programs 2021","location":"Graz Austria","acronym":"EuroPLoP'21"},"container-title":["26th European Conference on Pattern Languages of Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489449.3490001","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3489449.3490001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:38Z","timestamp":1750191518000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3489449.3490001"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,7]]},"references-count":50,"alternative-id":["10.1145\/3489449.3490001","10.1145\/3489449"],"URL":"https:\/\/doi.org\/10.1145\/3489449.3490001","relation":{},"subject":[],"published":{"date-parts":[[2021,7,7]]},"assertion":[{"value":"2022-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}