{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T22:16:15Z","timestamp":1767046575521,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/etfa.2015.7301436","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T22:21:19Z","timestamp":1445898079000},"page":"1-8","source":"Crossref","is-referenced-by-count":53,"title":["A decomposition approach for SMT-based schedule synthesis for time-triggered networks"],"prefix":"10.1109","author":[{"given":"Francisco","family":"Pozo","sequence":"first","affiliation":[]},{"given":"Wilfried","family":"Steiner","sequence":"additional","affiliation":[]},{"given":"Guillermo","family":"Rodriguez-Navas","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Hansson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"TTTech Computertechnik AG","article-title":"TTEthernet Specification","year":"2008","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.59"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882320"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_22"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/2659787.2659812","article-title":"SMT-based Task-and Network-level Static Schedule Generation for Time-Triggered Networked Systems","author":"craciunas","year":"2014","journal-title":"Proceedings of the 22nd International Conference on Real-Time Networks and Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176522"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.18"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2005.90"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742876"},{"key":"ref28","first-page":"71","article-title":"Satisfiability Modulo Theories","volume":"21","author":"ranise","year":"2006","journal-title":"IEEE Intelligent Systems Magazine Trends and Controversies"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2011.07.010"},{"key":"ref27","first-page":"737","article-title":"Yices 2.2","author":"dutertre","year":"2014","journal-title":"Computer Aided Verification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68155-7_21"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1007\/11499107_37","article-title":"FPGA Logic Synthesis using Quantified Boolean Satisfiability","author":"ling","year":"2005","journal-title":"Theory and Applications of Satisfiability Testing"},{"key":"ref8","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"},{"key":"ref7","first-page":"2","article-title":"The Yices SMT Solver","volume":"2","author":"dutertre","year":"2006"},{"article-title":"Computers and Intractability: a Guide to the Theory of NP-completeness","year":"1979","author":"garey","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.25"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1049\/cp.2012.1504"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(01)00729-3"},{"key":"ref21","first-page":"98","article-title":"Software Synthesis through Task Decomposition by Dependency Analysis","author":"shin","year":"1996","journal-title":"Computer-Aided Design 1996 ICCAD-96 Digest of Technical Papers 1996 IEEE\/ACM International Conference on"},{"year":"2005","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2012.04.001"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2001.990592"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF02341919"}],"event":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2015,9,8]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7295717\/7301399\/07301436.pdf?arnumber=7301436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,24]],"date-time":"2022-05-24T10:58:28Z","timestamp":1653389908000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7301436\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/etfa.2015.7301436","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}