{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T16:24:48Z","timestamp":1778603088116,"version":"3.51.4"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/sies.2016.7509415","type":"proceedings-article","created":{"date-parts":[[2016,7,14]],"date-time":"2016-07-14T17:41:34Z","timestamp":1468518094000},"page":"1-9","source":"Crossref","is-referenced-by-count":13,"title":["Computing optimal communication schedules for time-triggered networks using an SMT solver"],"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":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref11","first-page":"10880","article-title":"Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications","author":"zhang","year":"2003","journal-title":"Proceedings of the Conference on Design Automation and Test in Europe-Volume 1"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/SAT190070","article-title":"ManySAT: a parallel SAT solver","volume":"6","author":"hamadi","year":"2009","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15898-8_10"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.25"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185055"},{"key":"ref18","first-page":"1","article-title":"Combined task-and network-level scheduling for distributed time-triggered systems","author":"craciunas","year":"2015","journal-title":"Real-Time Systems"},{"key":"ref19","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"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1049\/cce:20020401"},{"key":"ref3","article-title":"White paper: SAE AS6802 Deterministic Ethernet Network Solution","author":"company","year":"2011","journal-title":"Tech Rep"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.5120\/ijca2015906828"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1201\/9781315217512","author":"obermaisser","year":"2011","journal-title":"Time-triggered Communication"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185054"},{"key":"ref7","author":"kopetz","year":"2011","journal-title":"Real-Time Systems - Design Principles for Distributed Embedded Applications"},{"key":"ref2","article-title":"FlexRay Consortium","year":"2005","journal-title":"BMW AG DaimlerChrysler AG General Motors Corporation Freescale GmbH"},{"key":"ref1","article-title":"Time-triggered protocol TTP\/C - High-Level Specification Document Protocol Version 1.1","year":"2003","journal-title":"Technical Report Techn"},{"key":"ref9","first-page":"737","article-title":"Yices 2.2","author":"dutertre","year":"2014","journal-title":"Computer Aided Verification"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CIT\/IUCC\/DASC\/PICOM.2015.284"},{"key":"ref22","article-title":"Stanford Network Analysis Package(SNAP)","author":"leskovec","year":"0"},{"key":"ref21","article-title":"The SMT-LIB Version 2.5","author":"barrett","year":"2010"}],"event":{"name":"2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)","location":"Krakow, Poland","start":{"date-parts":[[2016,5,23]]},"end":{"date-parts":[[2016,5,25]]}},"container-title":["2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7504669\/7509398\/07509415.pdf?arnumber=7509415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T11:44:16Z","timestamp":1602675856000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7509415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/sies.2016.7509415","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}