{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:25:53Z","timestamp":1729653953732,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185392","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T15:09:22Z","timestamp":1250003362000},"page":"161-170","source":"Crossref","is-referenced-by-count":5,"title":["Static data-flow analysis of synchronous programs"],"prefix":"10.1109","author":[{"given":"Jens","family":"Brandt","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"journal-title":"Formal analysis of synchronous circuits","year":"1996","author":"shiple","key":"35"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/321832.321835"},{"key":"36","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/3-540-54415-1_54","article-title":"data flow analysis as model checking","volume":"526","author":"steffen","year":"1991","journal-title":"Theoretical Aspects of Computer Software (TAPS)"},{"key":"18","article-title":"the disco language and temporal logic of actions","author":"ja?rvinen","year":"1990","journal-title":"Technical Report 11"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996602"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(81)90008-0"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512946"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/43.980257"},{"key":"14","article-title":"compiling esterel into static discrete-event code","author":"edwards","year":"2004","journal-title":"Synchronous Languages Applications and Programming (SLAP)"},{"key":"37","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-44898-5_6","article-title":"instantaneous termination in pure esterel","volume":"2694","author":"tardieu","year":"2003","journal-title":"Static Analysis Symposium (SAS)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80443-8"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459813"},{"key":"12","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-61474-5_86","article-title":"the murphi verification system","volume":"1102","author":"dill","year":"1996","journal-title":"Computer Aided Verification (CAV)"},{"key":"21","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BFb0031993","article-title":"implementing reactive programs on circuits: a hardware implementation of lustre","volume":"600","author":"rocheteau","year":"1991","journal-title":"Proceedings of the Real-time Theory in Practice"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210107"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/359842.359849"},{"key":"23","first-page":"205","article-title":"a verified hardware synthesis for esterel","author":"schneider","year":"2000","journal-title":"Workshop on Distributed and Parallel Embedded Systems (DIPES)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2001.981772"},{"journal-title":"Exploiting Hierarchies in Temporal Logics Finite Automata Arithmetics and ?-Calculus for Efficiently Verifying Reactive Systems","year":"2001","author":"schneider","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45653-8_3"},{"key":"27","article-title":"verification of reactive systems - formal methods and algorithms","author":"schneider","year":"2003","journal-title":"Texts In Theoretical Computer Science (EATCS Series)"},{"key":"28","article-title":"the synchronous programming language quartz","author":"schneider","year":"2009","journal-title":"Internal Report (To Appear) Department of Computer Science"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2008.4574599"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/390013.808479"},{"key":"10","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/3-540-44585-4_39","article-title":"taxys: a tool for the development and verification of real-time embedded systems","author":"closse","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Compilers Principles Techniques & Tools with Access Code Principles Techniques and Tools with Gradiance","year":"2007","author":"aho","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1023833.1023859"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1543820.1543822"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.24"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.028"},{"key":"4","article-title":"a hardware implementation of pure esterel","author":"berry","year":"1991","journal-title":"Workshop on Formal Methods in VLSI Design"},{"key":"9","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/3-540-55179-4_6","article-title":"a linear-time model checking algorithm for the alternation-free -calculus","volume":"575","author":"cleaveland","year":"1992","journal-title":"Computer Aided Verification (CAV)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56496-9_32"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185392.pdf?arnumber=5185392","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T18:43:27Z","timestamp":1497811407000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5185392\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185392","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}