{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T09:21:35Z","timestamp":1760606495668,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T00:00:00Z","timestamp":1315526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,9]]},"DOI":"10.1145\/2025113.2025191","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"460-463","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["SafeSlice"],"prefix":"10.1145","author":[{"given":"Davide","family":"Falessi","sequence":"first","affiliation":[{"name":"University of Rome (Tor Vergata), Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"Simula Research Lab, Oslo , Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[{"name":"Simula Research Lab, Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[{"name":"Simula Research Lab, Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Messina","sequence":"additional","affiliation":[{"name":"University of Rome (Tor Vergata), Rome, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Simula Research Lab","author":"Briand L.","year":"2011","unstructured":"L. Briand , D. Falessi , S. Nejati , M. Sabetzadeh , and T. Yue . Traceability and SysML design slices to support safety inspections: A controlled experiment. Tech repo , Simula Research Lab , January 2011 . L. Briand, D. Falessi, S. Nejati, M. Sabetzadeh, and T. Yue. Traceability and SysML design slices to support safety inspections: A controlled experiment. Tech repo, Simula Research Lab, January 2011."},{"key":"e_1_3_2_1_2_1","volume-title":"Functional Safety of Electrical \/ Electronic \/ Programmable Electronic Safety-related Systems","author":"IEC","year":"2005","unstructured":"IEC 61508 : Functional Safety of Electrical \/ Electronic \/ Programmable Electronic Safety-related Systems , 2005 . International Electrotechnical Commission: International Electrotechnical Commission . IEC 61508: Functional Safety of Electrical \/ Electronic \/ Programmable Electronic Safety-related Systems, 2005. International Electrotechnical Commission: International Electrotechnical Commission."},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58867-1","volume-title":"Formal Development of Reactive Systems - Case Study Production Cell","author":"Lewerentz C.","year":"1995","unstructured":"C. Lewerentz and T. Lindner , editors . Formal Development of Reactive Systems - Case Study Production Cell , volume 891 of LNCS . Springer , 1995 . C. Lewerentz and T. Lindner, editors. Formal Development of Reactive Systems - Case Study Production Cell, volume 891 of LNCS. Springer, 1995."},{"key":"e_1_3_2_1_4_1","volume-title":"Simula Research Lab","author":"Nejati S.","year":"2011","unstructured":"S. Nejati , M. Sabetzadeh , D. Falessi , L. Briand , and T. Coq . A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Tech repo , Simula Research Lab , May 2011 . S. Nejati, M. Sabetzadeh, D. Falessi, L. Briand, and T. Coq. A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Tech repo, Simula Research Lab, May 2011."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.12"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.28"},{"key":"e_1_3_2_1_7_1","unstructured":"OMG Systems Modeling Language (OMG SysML). 2008. Object Management Group (OMG) version 1.1.  OMG Systems Modeling Language (OMG SysML). 2008. Object Management Group (OMG) version 1.1."}],"event":{"name":"ESEC\/FSE'11: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Szeged Hungary","acronym":"ESEC\/FSE'11"},"container-title":["Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025191","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2025113.2025191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:00Z","timestamp":1750244760000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025191"}},"subtitle":["a model slicing and design safety inspection tool for SysML"],"short-title":[],"issued":{"date-parts":[[2011,9,9]]},"references-count":7,"alternative-id":["10.1145\/2025113.2025191","10.1145\/2025113"],"URL":"https:\/\/doi.org\/10.1145\/2025113.2025191","relation":{},"subject":[],"published":{"date-parts":[[2011,9,9]]},"assertion":[{"value":"2011-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}