{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:50:55Z","timestamp":1730281855302,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/memcod.2008.4547708","type":"proceedings-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T11:40:32Z","timestamp":1213962032000},"page":"175-186","source":"Crossref","is-referenced-by-count":1,"title":["Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation"],"prefix":"10.1109","author":[{"given":"Eyad","family":"Alkassar","sequence":"first","affiliation":[]},{"given":"Peter","family":"Bohm","sequence":"additional","affiliation":[]},{"given":"Steffen","family":"Knapp","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.22"},{"key":"22","first-page":"184","article-title":"on the formal verification of the flexray communication protocol","author":"zhang","year":"2006","journal-title":"Automated Verification of Critical Systems (AVoCS'06)"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/32.815324"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_7"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.10"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086280"},{"journal-title":"Lecture Notes Computer Architecture 2 (Automotive Systems)","year":"2005","author":"paul","key":"13"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/PRFTS.1997.640153"},{"key":"12","article-title":"isabelle\/hol: a proof assistant for higher-order logic","volume":"2283","author":"nipkow","year":"2002","journal-title":"LNCS"},{"year":"0","key":"21"},{"key":"3","first-page":"107","article-title":"the proof of correctness of a faulttolerant circuit design","author":"bevier","year":"1991","journal-title":"Second IFIP Conference on Dependable Computing For Critical Applications"},{"key":"20","first-page":"217","article-title":"mechanical verification of a generalized protocol for byzantine fault tolerant clock synchronization","volume":"571","author":"shankar","year":"1992","journal-title":"FTRTFT'92"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159720"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2008.11"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2457"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00010-6"},{"key":"6","first-page":"359","article-title":"nusmv 2: an open source tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"CAV '02"},{"key":"5","first-page":"58","article-title":"easy parameterized verification of biphase mark and 8n1 protocols","volume":"3920","author":"brown","year":"2006","journal-title":"LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.110"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71322-7_3"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.42"}],"event":{"name":"Sixth ACM and IEEE International Conference on Formal Methods and Models for Co-design, MEMOCODE '08","start":{"date-parts":[[2008,6,5]]},"location":"Anaheim, CA","end":{"date-parts":[[2008,6,7]]}},"container-title":["2008 6th ACM\/IEEE International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4542603\/4547672\/04547708.pdf?arnumber=4547708","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T15:27:34Z","timestamp":1580916454000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4547708\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/memcod.2008.4547708","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}