{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:45Z","timestamp":1750220085167,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T00:00:00Z","timestamp":1652832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Comission","award":["952702"],"award-info":[{"award-number":["952702"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,18]]},"DOI":"10.1145\/3524844.3528061","type":"proceedings-article","created":{"date-parts":[[2022,8,15]],"date-time":"2022-08-15T22:07:50Z","timestamp":1660601270000},"page":"113-119","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A paradigm for safe adaptation of collaborating robots"],"prefix":"10.1145","author":[{"given":"Emilia","family":"Cioroaica","sequence":"first","affiliation":[{"name":"Fraunhofer IESE, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbora","family":"Buhnova","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emrah","family":"Tomur","sequence":"additional","affiliation":[{"name":"Ericsson, Instambul, Turkey"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,8,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMRB.2020.3033007"},{"key":"e_1_3_2_1_2_1","first-page":"1","article-title":"AI Explainability 360: An Extensible Toolkit for Understanding Data and Machine Learning Models","volume":"21","author":"Arya Vijay","year":"2020","unstructured":"Vijay Arya , Rachel KE Bellamy , Pin-Yu Chen , Amit Dhurandhar , Michael Hind , Samuel C Hoffman , Stephanie Houde , Q Vera Liao , Ronny Luss , Aleksandra Mojsilovic , 2020 . AI Explainability 360: An Extensible Toolkit for Understanding Data and Machine Learning Models . J. Mach. Learn. Res. 21 , 130 (2020), 1 -- 6 . Vijay Arya, Rachel KE Bellamy, Pin-Yu Chen, Amit Dhurandhar, Michael Hind, Samuel C Hoffman, Stephanie Houde, Q Vera Liao, Ronny Luss, Aleksandra Mojsilovic, et al. 2020. AI Explainability 360: An Extensible Toolkit for Understanding Data and Machine Learning Models. J. Mach. Learn. Res. 21, 130 (2020), 1--6.","journal-title":"J. Mach. Learn. Res."},{"volume-title":"Building the Information Society","author":"Avi\u017eienis Algirdas","key":"e_1_3_2_1_3_1","unstructured":"Algirdas Avi\u017eienis , Jean-Claude Laprie , and Brian Randell . 2004. Dependability and its threats: a taxonomy . In Building the Information Society . Springer , 91--120. Algirdas Avi\u017eienis, Jean-Claude Laprie, and Brian Randell. 2004. Dependability and its threats: a taxonomy. In Building the Information Society. Springer, 91--120."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.25"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2009.11"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17945-3_7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2016.14"},{"key":"e_1_3_2_1_8_1","volume-title":"Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, Hausi M\u00fcller, Mauro Pezz\u00e8, and Mary Shaw.","author":"Brun Yuriy","year":"2009","unstructured":"Yuriy Brun , Giovanna Di Marzo Serugendo , Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, Hausi M\u00fcller, Mauro Pezz\u00e8, and Mary Shaw. 2009 . Engineering self-adaptive systems through feedback loops. In Software engineering for self-adaptive systems. Springer , 48--70. Yuriy Brun, Giovanna Di Marzo Serugendo, Cristina Gacek, Holger Giese, Holger Kienle, Marin Litoiu, Hausi M\u00fcller, Mauro Pezz\u00e8, and Mary Shaw. 2009. Engineering self-adaptive systems through feedback loops. In Software engineering for self-adaptive systems. Springer, 48--70."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980508"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46675-9_16"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Maria Casimiro David Garlan Javier C\u00e1mara Luis Rodrigues and Paolo Romano. 2021. A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems. (2021).  Maria Casimiro David Garlan Javier C\u00e1mara Luis Rodrigues and Paolo Romano. 2021. A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems. (2021).","DOI":"10.1007\/978-3-031-12429-7_23"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 1st International Workshop on Software Architecture and Machine Learning (SAML). Springer.","author":"Casimiro Maria","year":"2021","unstructured":"Maria Casimiro , Paolo Romano , David Garlan , Gabriel A Moreno , Eunsuk Kang , and Mark Klein . 2021 . Self-Adaptation for Machine Learning Based Systems . In Proceedings of the 1st International Workshop on Software Architecture and Machine Learning (SAML). Springer. Maria Casimiro, Paolo Romano, David Garlan, Gabriel A Moreno, Eunsuk Kang, and Mark Klein. 2021. Self-Adaptation for Machine Learning Based Systems. In Proceedings of the 1st International Workshop on Software Architecture and Machine Learning (SAML). Springer."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2852295"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.23919\/SoftCOM50211.2020.9238329"},{"key":"e_1_3_2_1_15_1","volume-title":"Prototyping Automotive Smart Ecosystems. In 2018 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE.","author":"Cioroaica Emilia","year":"2018","unstructured":"Emilia Cioroaica , Thomas Kuhn , and Thomas Bauer . 2018 . Prototyping Automotive Smart Ecosystems. In 2018 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE. Emilia Cioroaica, Thomas Kuhn, and Thomas Bauer. 2018. Prototyping Automotive Smart Ecosystems. In 2018 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00011"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SESoS-WDES52566.2021.00006"},{"key":"e_1_3_2_1_18_1","volume-title":"Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572","author":"Goodfellow Ian J","year":"2014","unstructured":"Ian J Goodfellow , Jonathon Shlens , and Christian Szegedy . 2014. Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572 ( 2014 ). Ian J Goodfellow, Jonathon Shlens, and Christian Szegedy. 2014. Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572 (2014)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1978248.1978369"},{"key":"e_1_3_2_1_20_1","volume-title":"Robustness and explainability of artificial intelligence","author":"Hamon Ronan","year":"2020","unstructured":"Ronan Hamon , Henrik Junklewitz , and Ignacio Sanchez . 2020. Robustness and explainability of artificial intelligence . Publications Office of the European Union ( 2020 ). Ronan Hamon, Henrik Junklewitz, and Ignacio Sanchez. 2020. Robustness and explainability of artificial intelligence. Publications Office of the European Union (2020)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_22_1","volume-title":"Nicola Paltrinieri, Paul Amyotte, Valerio Cozzani, and Genserik Reniers.","author":"Khan Faisal","year":"2016","unstructured":"Faisal Khan , Seyed Javad Hashemi , Nicola Paltrinieri, Paul Amyotte, Valerio Cozzani, and Genserik Reniers. 2016 . Dynamic risk management: a contemporary approach to process safety management. Current opinion in chemical engineering 14 (2016), 9--17. Faisal Khan, Seyed Javad Hashemi, Nicola Paltrinieri, Paul Amyotte, Valerio Cozzani, and Genserik Reniers. 2016. Dynamic risk management: a contemporary approach to process safety management. Current opinion in chemical engineering 14 (2016), 9--17."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2014.09.009"},{"key":"e_1_3_2_1_24_1","volume-title":"2013 Eleventh ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE","author":"Kuhr Thomas","year":"2013","unstructured":"Thomas Kuhr , Thomas Forster , Tobias Braun , and Reinhard Gotzhein . 2013 . FERAL---Framework for simulator coupling on requirements and architecture level . In 2013 Eleventh ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013). IEEE, 11--22. Thomas Kuhr, Thomas Forster, Tobias Braun, and Reinhard Gotzhein. 2013. FERAL---Framework for simulator coupling on requirements and architecture level. In 2013 Eleventh ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013). IEEE, 11--22."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99229-7_12"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.141"},{"key":"e_1_3_2_1_28_1","volume-title":"Chris Kemp, Jacqueline LeMoigne, and Lui Wang.","author":"Shafto Mike","year":"2012","unstructured":"Mike Shafto , Mike Conroy , Rich Doyle , Ed Glaessgen , Chris Kemp, Jacqueline LeMoigne, and Lui Wang. 2012 . Modeling, simulation, information technology & processing roadmap. National Aeronautics and Space Administration ( 2012). Mike Shafto, Mike Conroy, Rich Doyle, Ed Glaessgen, Chris Kemp, Jacqueline LeMoigne, and Lui Wang. 2012. Modeling, simulation, information technology & processing roadmap. National Aeronautics and Space Administration (2012)."},{"key":"e_1_3_2_1_29_1","first-page":"12","article-title":"CAN DRIVERLESS VEHICLES PROVE THEMSELVES SAFE","volume":"37","author":"Stilgoe Jack","year":"2020","unstructured":"Jack Stilgoe and Missy Cummings . 2020 . CAN DRIVERLESS VEHICLES PROVE THEMSELVES SAFE ? Issues in Science and Technology 37 , 1 (2020), 12 -- 14 . Jack Stilgoe and Missy Cummings. 2020. CAN DRIVERLESS VEHICLES PROVE THEMSELVES SAFE? Issues in Science and Technology 37, 1 (2020), 12--14.","journal-title":"Issues in Science and Technology"},{"volume-title":"Retrieved","year":"2021","key":"e_1_3_2_1_30_1","unstructured":"techcrunch.com. 2021 . Tesla has activated its camera . Retrieved June 23, 2021 from https:\/\/techcrunch.com\/2021\/05\/27\/tesla-has-activated-its-in-car-camera-to-monitor-drivers-using-autopilot\/ techcrunch.com. 2021. Tesla has activated its camera. Retrieved June 23, 2021 from https:\/\/techcrunch.com\/2021\/05\/27\/tesla-has-activated-its-in-car-camera-to-monitor-drivers-using-autopilot\/"},{"volume-title":"Models@run.time","author":"Trapp Mario","key":"e_1_3_2_1_31_1","unstructured":"Mario Trapp and Daniel Schneider . 2014. Safety assurance of open adaptive systems-a survey . In Models@run.time . Springer , 279--318. Mario Trapp and Daniel Schneider. 2014. Safety assurance of open adaptive systems-a survey. In Models@run.time. Springer, 279--318."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224395"},{"volume-title":"On patterns for decentralized control in self-adaptive systems","author":"Weyns Danny","key":"e_1_3_2_1_33_1","unstructured":"Danny Weyns , Bradley Schmerl , Vincenzo Grassi ,SamMalek, Raffaela Mirandola , Christian Prehofer , Jochen Wuttke , Jesper Andersson , Holger Giese , and Karl M G\u00f6schka . 2013. On patterns for decentralized control in self-adaptive systems . In Software Engineering for Self-Adaptive Systems II. Springer , 76--107. Danny Weyns, Bradley Schmerl, Vincenzo Grassi,SamMalek, Raffaela Mirandola, Christian Prehofer, Jochen Wuttke, Jesper Andersson, Holger Giese, and Karl M G\u00f6schka. 2013. On patterns for decentralized control in self-adaptive systems. In Software Engineering for Self-Adaptive Systems II. Springer, 76--107."}],"event":{"name":"SEAMS '22: 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Pittsburgh Pennsylvania","acronym":"SEAMS '22"},"container-title":["Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524844.3528061","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3524844.3528061","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:36Z","timestamp":1750183776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524844.3528061"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,18]]},"references-count":33,"alternative-id":["10.1145\/3524844.3528061","10.1145\/3524844"],"URL":"https:\/\/doi.org\/10.1145\/3524844.3528061","relation":{},"subject":[],"published":{"date-parts":[[2022,5,18]]},"assertion":[{"value":"2022-08-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}