{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:40:28Z","timestamp":1765546828829,"version":"3.41.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,1]]},"DOI":"10.23919\/date51398.2021.9473951","type":"proceedings-article","created":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T22:11:46Z","timestamp":1629843106000},"page":"1446-1451","source":"Crossref","is-referenced-by-count":2,"title":["Estimation of Linux Kernel Execution Path Uncertainty for Safety Software Test Coverage"],"prefix":"10.23919","author":[{"given":"Imanol","family":"Allende","sequence":"first","affiliation":[{"name":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA),Mondragon,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas Mc","family":"Guire","sequence":"additional","affiliation":[{"name":"OpenTech EDV Research GmbH,Bullendorf,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jon","family":"Perez","sequence":"additional","affiliation":[{"name":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA),Mondragon,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lisandro G.","family":"Monsalve","sequence":"additional","affiliation":[{"name":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA),Mondragon,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Fernandez","sequence":"additional","affiliation":[{"name":"Ikerlan Technology Research Centre, Basque Research and Technology Alliance (BRTA),Mondragon,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Obermaisser","sequence":"additional","affiliation":[{"name":"University of Siegen,Siegen,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Inherent diversity in replicated architectures","year":"2015","author":"okech","key":"ref10"},{"key":"ref11","article-title":"Analysis of Statistical Properties of Inherent Randomness","author":"okech","year":"0","journal-title":"Proc 12th Real-Time Linux Workshop"},{"key":"ref12","article-title":"Utilizing inherent diversity in complex software systems","author":"okech","year":"0","journal-title":"Proc of The Australian System Safety Conference (ASSC2014)"},{"key":"ref13","article-title":"Investigating execution path non-determinism in the Linux kernel","author":"okech","year":"0","journal-title":"Proc 14th Real-Time Linux Workshop Lugano OSADL"},{"journal-title":"OSADL SIL2LinuxMP - The Safety Project for Linux","year":"0","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3398665"},{"journal-title":"Certifying Linux Lessons Learned in Three Years of SIL2LinuxMP","year":"2018","author":"platschek","key":"ref16"},{"journal-title":"Empirical Linguistics","year":"2002","author":"sampson","key":"ref17"},{"journal-title":"Lecture Notes in Artificial Intelligence","year":"0","author":"veksler","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1890\/07-1288.1"},{"journal-title":"Linux Kernel Development Report","year":"2017","author":"corbet","key":"ref4"},{"key":"ref3","article-title":"Research on an open-source software platform for autonomous driving systems","author":"bulwahn","year":"2013","journal-title":"BMW Car IT GmbH"},{"key":"ref6","first-page":"24","article-title":"A Comparison of Smoothing Techniques for Bilingual Lexicon Extraction from Comparable Corpora","author":"hazem","year":"0","journal-title":"Proceedings of the Sixth Workshop on Building and Using Comparable Corpora"},{"journal-title":"Uncertainty in deep learning","year":"2016","author":"gal","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487679"},{"journal-title":"Bayesian segnet Model uncertainty in deep convolutional encoder-decoder architectures for scene understanding","year":"2015","author":"kendall","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2019.00020"},{"journal-title":"Enabling Linux in Safety Applications (ELISA)","year":"2020","key":"ref1"},{"key":"ref9","article-title":"Analysis of inherent randomness of the Linux kernel","author":"mc guire","year":"0","journal-title":"Proc 11th Real-Time Linux Workshop"}],"event":{"name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2021,2,1]]},"location":"Grenoble, France","end":{"date-parts":[[2021,2,5]]}},"container-title":["2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9473901\/9473226\/09473951.pdf?arnumber=9473951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T17:13:35Z","timestamp":1747761215000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9473951\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,1]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/date51398.2021.9473951","relation":{},"subject":[],"published":{"date-parts":[[2021,2,1]]}}}