{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:34:03Z","timestamp":1729665243680,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/memcod.2018.8556996","type":"proceedings-article","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T19:57:30Z","timestamp":1544126250000},"page":"1-11","source":"Crossref","is-referenced-by-count":1,"title":["It\u2019s a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow"],"prefix":"10.1109","author":[{"given":"Mladen","family":"Skelin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Geilen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2442116.2442133"},{"journal-title":"System Design Modeling and Simulation Using Ptolemy II Ptolemy Org","year":"2014","author":"ptolemaeus","key":"ref31"},{"key":"ref30","first-page":"16:1","article-title":"Synchronous dataflow scenarios","volume":"10","author":"geilen","year":"2011","journal-title":"ACM Trans Embed Comput Syst"},{"key":"ref36","first-page":"276","author":"stuijk","year":"2006","journal-title":"SDF3 Application of Concurrency to System Design 6th International Conference ACSD 2006 Proceedings IEEE Computer Society Press Los Alamitos"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278545"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1027084.1027085"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3211332.3211339"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967707"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3126507"},{"journal-title":"A Calculus of Communicating Systems Secaucus","year":"1982","author":"milner","key":"ref13"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref16","article-title":"Compositional dataflow modelling for cyclo-static applications","author":"ara","year":"2018","journal-title":"2018 Euromicro Conference on Digital System Design (DSD)"},{"key":"ref17","first-page":"200","author":"behrmann","year":"2004","journal-title":"A Tutorial on Uppaal"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/BFb0055357","article-title":"Kronos: A model-checking tool for real-time systems","author":"bozga","year":"1998","journal-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185065"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/78.485935"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2463596.2463603"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"905","DOI":"10.1007\/978-1-4614-6859-2_28","article-title":"Dynamic dataflow graphs","author":"bhattacharyya","year":"2013","journal-title":"Handbook of Signal Processing Systems"},{"key":"ref6","first-page":"463","author":"siyoum","year":"2012","journal-title":"Proceedings of the Eighth IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis ser CODES + ISSS ’12"},{"journal-title":"Synchronization and Linearity An Algebra for Discrete Event Systems","year":"2001","author":"baccelli","key":"ref29"},{"key":"ref5","first-page":"2","article-title":"An introduction to probabilistic automata","volume":"78","author":"stoelinga","year":"2002","journal-title":"Bulletin of the EATCS"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1878985"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/9.478227"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","article-title":"Synchronous data flow","volume":"75","author":"lee","year":"1987","journal-title":"Proceedings of the IEEE"},{"key":"ref9","first-page":"1","article-title":"Performance analysis of weakly-consistent scenario-aware dataflow graphs","author":"geilen","year":"2016","journal-title":"Journal of Signal Processing Systems"},{"key":"ref1","first-page":"404","article-title":"Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applica- tions","author":"stuijk","year":"2011","journal-title":"Embedded Computer Systems (SAMOS) 2011 International Conference on"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-642-24310-3_5","article-title":"Performance model checking scenario-aware dataflow","author":"theelen","year":"2011","journal-title":"Formal Modeling and Analysis of Timed Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3078659.3078665"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2016.7509444"},{"key":"ref23","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4614-0676-1","author":"buttazzo","year":"2011","journal-title":"Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2014.17"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593223"}],"event":{"name":"2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2018,10,15]]},"location":"Beijing, China","end":{"date-parts":[[2018,10,18]]}},"container-title":["2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536775\/8556861\/08556996.pdf?arnumber=8556996","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,11]],"date-time":"2023-09-11T18:22:28Z","timestamp":1694456548000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8556996\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/memcod.2018.8556996","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}