{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T13:27:07Z","timestamp":1770989227321,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.23919\/fmcad.2019.8894249","type":"proceedings-article","created":{"date-parts":[[2019,11,13]],"date-time":"2019-11-13T04:25:06Z","timestamp":1573619106000},"page":"69-77","source":"Crossref","is-referenced-by-count":57,"title":["TSNSCHED: Automated Schedule Generation for Time Sensitive Networking"],"prefix":"10.23919","author":[{"given":"Aellison Cassimiro T. dos","family":"Santos","sequence":"first","affiliation":[]},{"given":"Ben","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Vivek","family":"Nigam","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Formal scheduling constraints for time-sensitive networks","author":"craciunas","year":"2017","journal-title":"CoRR"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00020"},{"key":"ref12","first-page":"337","author":"de moura","year":"2008","journal-title":"Z3 An efficient smt solver In TACAS TACAS’08\/ETAPS’08"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247599"},{"key":"ref14","first-page":"1","article-title":"Scheduling in time sensitive networks (tsn) for mixed-criticality industrial applications","author":"gavrilu?","year":"2018","journal-title":"2018 14th IEEE International Workshop on Factory Communication Systems (WFCS)"},{"key":"ref15","article-title":"White paper: Tsn-time sensitive networking","author":"hummen","year":"2017","journal-title":"Belden St Louis MI USA Tech Rep"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MCOMSTD.2018.1700055"},{"key":"ref17","first-page":"55","article-title":"Analysis of ethernet-switch traffic shapers for in-vehicle networking applications","author":"thangamuthu","year":"2015","journal-title":"Proceedings of the 2015 Design Automation & Test in Europe Conference & Exhibition"},{"key":"ref4","year":"0","journal-title":"802 1Qcr - Bridges and Bridged Networks Amendment Asynchronous Traffic Shaping"},{"key":"ref3","year":"0","journal-title":"802 1Qch - Cyclic Queuing and Forwarding"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1109\/ETFA.2018.8502627","article-title":"Design pattern for decomposition or aggregation of automation systems into hierarchy levels","volume":"1","author":"brandenbourger","year":"2018","journal-title":"2018 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"},{"key":"ref5","author":"ademaj","year":"2018","journal-title":"Iic results white paper Time sensitive networks for flexible manufacturing testbed -description of converged traffic types"},{"key":"ref8","article-title":"An overview of scheduling mechanisms for time-sensitive networks","author":"craciunas","year":"2017","journal-title":"Proceedings of the Real-time summer school LÉcole dÉtéTemps Réel (ETR)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9244-x"},{"key":"ref2","year":"0","journal-title":"802 1Qbv-Enhancements for Scheduled Traffic"},{"key":"ref1","year":"0","journal-title":"802 1AS-Rev - Timing and Synchronization for Time-Sensitive Applications"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/2997465.2997470","article-title":"Scheduling real-time communication in ieee 802.1 qbv time sensitive networks","author":"craciunas","year":"2016","journal-title":"Proc of the International Conference on Real-Time and Network Systems"}],"event":{"name":"2019 Formal Methods in Computer Aided Design (FMCAD)","location":"San Jose, CA, USA","start":{"date-parts":[[2019,10,22]]},"end":{"date-parts":[[2019,10,25]]}},"container-title":["2019 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8891869\/8894241\/08894249.pdf?arnumber=8894249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,2]],"date-time":"2021-02-02T20:29:47Z","timestamp":1612297787000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8894249\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2019.8894249","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}