{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:54:35Z","timestamp":1729670075383,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/sies.2015.7185054","type":"proceedings-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T18:55:14Z","timestamp":1439492114000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Optimal SAT-based scheduler for time-triggered networks-on-a-chip"],"prefix":"10.1109","author":[{"given":"Christian","family":"Scholer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rene","family":"Krenz-Baath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayman","family":"Murshed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Obermaisser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/11532231_23","article-title":"The mathsat 3 system","author":"bozzano","year":"2005","journal-title":"Automated Deduction-CADE-20 Springer"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/3-540-45657-0_18","article-title":"Checking satisfiability of firstorder formulas by incremental translation to sat","author":"barrett","year":"2002","journal-title":"Computer Aided Verification Springer"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Springer"},{"key":"ref13","article-title":"A sat-based approach to decipher gene regulatory networks","author":"corblin","year":"2007","journal-title":"Integrative Post-Genomics Conference"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1609\/aimag.v34i2.2450","article-title":"Seven challenges in parallel sat solving","volume":"34","author":"hamadi","year":"2013","journal-title":"AI Magazine"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/SAT190014","article-title":"Translating pseudo-boolean constraints into sat","volume":"2","author":"e\u00e9n","year":"2006","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","article-title":"An extensible sat-solver","author":"e\u00e9n","year":"2004","journal-title":"Theory and applications of satisfiability testing Springer"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/SAT190018","article-title":"The first evaluation of pseudo-Boolean solvers","volume":"2","author":"manquinho","year":"2006","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref18","first-page":"48","article-title":"A Novel Formal Verification Framework for Future MPSoC Architectures","author":"sch\u00f6ler","year":"2015","journal-title":"Proc Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN) Workshop"},{"journal-title":"Networks on Chips Technology and Tools","year":"2006","author":"micheli","key":"ref19"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1201\/9781315217512","author":"obermaisser","year":"2011","journal-title":"Time-triggered Communication"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837353"},{"journal-title":"FlexRay Communications System Protocol Specification Version 2 1 FlexRay Consortium BMW AG DaimlerChrysler AG General Motors Corporation Freescale GmbH Philips GmbH Robert Bosch GmbH and Volkswagen AG","year":"2005","key":"ref6"},{"journal-title":"Technical Report Techn","article-title":"Time-triggered protocol TTP\/C – high-level specification document protocol version 1.1","year":"2003","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2012.126"},{"key":"ref7","article-title":"White paper: SAE AS6802 deterministic ethernet network solution","author":"company","year":"2011","journal-title":"Tech Rep"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2071388"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193230"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/0470121173"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2544350.2544353"},{"article-title":"Stanford network analysis package(snap)","year":"0","author":"leskovec","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1049\/cce:20020401"}],"event":{"name":"2015 10th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2015,6,8]]},"location":"Siegen, Germany","end":{"date-parts":[[2015,6,10]]}},"container-title":["10th IEEE International Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7164234\/7185026\/07185054.pdf?arnumber=7185054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:49:01Z","timestamp":1602672541000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7185054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/sies.2015.7185054","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}