{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T21:11:15Z","timestamp":1783804275525,"version":"3.55.0"},"reference-count":11,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:00:00Z","timestamp":1746057600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100021856","name":"MUR","doi-asserted-by":"publisher","award":["ECS00000041"],"award-info":[{"award-number":["ECS00000041"]}],"id":[{"id":"10.13039\/501100021856","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Softw."],"published-print":{"date-parts":[[2025,5]]},"DOI":"10.1109\/ms.2024.3412406","type":"journal-article","created":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T17:27:05Z","timestamp":1718818025000},"page":"107-114","source":"Crossref","is-referenced-by-count":7,"title":["AI\/ML for Safety-Critical Software: The Case of the Space Domain"],"prefix":"10.1109","volume":"42","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7363-8388","authenticated-orcid":false,"given":"Alberto","family":"Petrucci","sequence":"first","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9800-3431","authenticated-orcid":false,"given":"Francesco","family":"Basciani","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5438-2281","authenticated-orcid":false,"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","journal-title":"Space Product Assurance. Software Product Assurance"},{"key":"ref2","volume-title":"Space engineering: Simulation modelling platform","year":"2024"},{"key":"ref3","volume-title":"Space project management: Project planning and implementation","year":"2024"},{"key":"ref4","volume-title":"ESA Guide for Independent Software Verification and Validation, ESA ISVV Guide","year":"2008"},{"key":"ref5","volume-title":"Failure Modes, Effects (and Criticality) Analysis (FMEA\/FMECA)","year":"2009"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3626314"},{"key":"ref7","first-page":"76","article-title":"The use of maximum completeness to estimate bias in AI-based recommendation systems","volume-title":"Proc. CEUR Workshop 8th Scholars Yearly Symp. Technol., Eng. Math. (SYSTEM)","author":"Simonetta","year":"2022"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3236009"},{"key":"ref9","volume-title":"Robustness and explainability of artificial intelligence","volume":"207","author":"Hamon","year":"2020"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/tns.2021.3125794"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-022-00337-x"}],"container-title":["IEEE Software"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/52\/10952912\/10565809.pdf?arnumber=10565809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T17:53:49Z","timestamp":1744134829000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10565809\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5]]},"references-count":11,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/ms.2024.3412406","relation":{},"ISSN":["0740-7459","1937-4194"],"issn-type":[{"value":"0740-7459","type":"print"},{"value":"1937-4194","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5]]}}}