{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:54:01Z","timestamp":1725479641307},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/fdl.2017.8303894","type":"proceedings-article","created":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T16:58:25Z","timestamp":1519923505000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic simulation of dataflow synchronous programs with timers"],"prefix":"10.1109","author":[{"given":"Guillaume","family":"Baudart","sequence":"first","affiliation":[]},{"given":"Timothy","family":"Bourke","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Clocks DBM and States in Timed Systems","year":"2002","author":"bengtsson","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1967677.1967687"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/753821"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.008"},{"key":"ref15","article-title":"Symbolic simulation of interpreted automata","author":"mauras","year":"1996","journal-title":"SYN-CHRON Germany"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80436-0"},{"key":"ref17","article-title":"Verifying quantitative realtime properties of synchronous programs","author":"jourdan","year":"1993","journal-title":"CAV Greece"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050009"},{"key":"ref19","first-page":"2875","article-title":"$\\text{Taxys}=\\text{Esterel} + \\text{Kronos}$: A tool for verifying real-time properties of embedded systems","author":"bertin","year":"2001","journal-title":"CDC Orlando"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"ref6","article-title":"The quasi-synchronous approach to distributed control systems","author":"caspi","year":"2000","journal-title":"Technical Report CMA\/009931 Verimag Crysis Project"},{"key":"ref5","first-page":"125","article-title":"Uppaal 4.0","author":"behrmann","year":"2006","journal-title":"QEST Riverside"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461348"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0008-1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52148-8_17"},{"key":"ref1","first-page":"178","article-title":"Lustre: A declarative language for programming synchronous systems","author":"caspi","year":"1987","journal-title":"POPL Germany"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998390"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56922-7_28"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755960"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.19"},{"journal-title":"A synchronous approach to quasi-periodic systems","year":"2017","author":"baudart","key":"ref23"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11737-9_14"}],"event":{"name":"2017 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2017,9,18]]},"location":"Verona","end":{"date-parts":[[2017,9,20]]}},"container-title":["2017 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8295776\/8303883\/08303894.pdf?arnumber=8303894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T16:44:13Z","timestamp":1522687453000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8303894\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/fdl.2017.8303894","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}