{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:31:34Z","timestamp":1729618294052,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/date.2009.5090639","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:39Z","timestamp":1361279799000},"page":"93-98","source":"Crossref","is-referenced-by-count":9,"title":["WCRT algebra and interfaces for esterel-style synchronous processing"],"prefix":"10.1109","author":[{"given":"M.","family":"Mendler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"von Hanxleden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Traulsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2688-9"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1991.185224"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1993.393403"},{"key":"15","article-title":"network calculus - a theory of deterministic queuing systems for the internet","author":"boudec","year":"2001","journal-title":"Springer LNCS 2050"},{"key":"16","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1145\/74382.74500","article-title":"timing verification by formal signal interaction modeling in a multi-level timing simulator","author":"benkoski","year":"1989","journal-title":"26th ACM\/IEEE Design Automation Conference"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.11"},{"journal-title":"Synchronisation and Linearity","year":"1992","author":"baccelli","key":"14"},{"key":"11","article-title":"causality interfaces and compositional causality analysis","author":"lee","year":"2005","journal-title":"ser ENTCS"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086246"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.6.821"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"journal-title":"Compiling Esterel","year":"2007","author":"potop-butucaru","key":"23"},{"key":"24","article-title":"requirements for and design of a processor with predictable timing","author":"berg","year":"2004","journal-title":"Perspectives Workshop Design of Systems with Predictable Behaviour"},{"key":"25","first-page":"28","article-title":"reactive processing for reactive systems","volume":"66","author":"von hanxleden","year":"2006","journal-title":"ERCIM News"},{"key":"26","article-title":"mapping esterel onto a multithreaded embedded processor","author":"li","year":"2006","journal-title":"Proc ASPLOS'06"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.01.005"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176908"},{"year":"0","key":"29"},{"key":"3","first-page":"389","article-title":"the esterel synchronous programming language and its mathematical semantics","volume":"197","author":"berry","year":"1984","journal-title":"Springer LNCS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"10","first-page":"1836","article-title":"cronos: a separate compilation toolset for modular esterel applications","volume":"1709","author":"hainque","year":"1999","journal-title":"Springer LNCS"},{"year":"0","key":"1"},{"journal-title":"Estbench Esterel Benchmark Suite","year":"2007","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.011"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1086297.1086327"},{"key":"5","article-title":"the determination of worst-case execution times-overview of the methods and survey of tools","volume":"7","author":"wilhelm","year":"2008","journal-title":"ACM Trans Embedded Comput Syst (TECS)"},{"year":"0","key":"4"},{"key":"9","first-page":"417","article-title":"objects and synchronous programming","volume":"31","author":"andre?","year":"1997","journal-title":"Europ J on Auto-mated Syst"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253608"}],"event":{"name":"2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09)","start":{"date-parts":[[2009,4,20]]},"location":"Nice","end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Design, Automation & Test in Europe Conference & Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4926138\/5090609\/05090639.pdf?arnumber=5090639","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T11:12:25Z","timestamp":1602673945000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5090639"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/date.2009.5090639","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}