{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T04:21:16Z","timestamp":1775881276467,"version":"3.50.1"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487884","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T13:52:28Z","timestamp":1122472348000},"page":"3-12","source":"Crossref","is-referenced-by-count":26,"title":["A synchronous language atwork: the story of lustre"],"prefix":"10.1109","author":[{"given":"N.","family":"Halbwachs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/32.159839"},{"key":"35","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":"REX Workshop on Real-time Theory in Practice DePlasmolen (Netherlands)"},{"key":"17","article-title":"Synchronous modeling of asynchronous systems","volume":"2491","author":"halbwachs","year":"2002","journal-title":"EMSOFT'02"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739746"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341380"},{"key":"15","article-title":"The VAL product line","author":"ferbeck","year":"1991","journal-title":"APM'91 Conference"},{"key":"34","author":"plaice","year":"1987","journal-title":"The LUSTRE-ESTEREL Portable Format"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"13","article-title":"A coiterative characterization of synchronous stream functions","author":"caspi","year":"1998","journal-title":"Coalgebraic Methods in Computer Science (CMCS'98)"},{"key":"14","author":"david","year":"1992","journal-title":"Petri Nets and Grafcet Tools for Modelling Discrete Event Systems"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2004.1311013"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48249-0_34","article-title":"Formal design of distributed control systems with Lustre","volume":"1698","author":"caspi","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/354880.354882"},{"key":"12","article-title":"A functional extension to LUSTRE","author":"caspi","year":"1995","journal-title":"Eighth International Symp on Languages for Intensional Programming ISLIP'95"},{"key":"21","article-title":"Specifying, programming and verifying real-time systems, using a synchronous declarative language","volume":"407","author":"halbwachs","year":"1989","journal-title":"Automatic Verification Methods for Finite State Systems Grenoble"},{"key":"20","article-title":"Synchronous observers and the verification of reactive systems","author":"halbwachs","year":"1993","journal-title":"Third Int Conf on Algebraic Methodology and Software Technology AMAST'93"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-54444-5_100","article-title":"Generating efficient code from data-flow programs","volume":"528","author":"halbwachs","year":"1991","journal-title":"Proc Third Int l Symp Programming Language Implementation and Logic Programming"},{"key":"24","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48294-6_3","article-title":"Dynamic partitioning in analyses of numerical properties","volume":"1694","author":"jeannet","year":"1999","journal-title":"Static Analysis Symposium SAS'99"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICCL.1994.288379"},{"key":"26","article-title":"Case studies with lurette v2","author":"jahier","year":"2004","journal-title":"International Symposium on Leveraging Applications of Formal Methods - ISOLA 2004"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"28","article-title":"On relating synchrony and asynchrony","volume":"csr 75 80","author":"milner","year":"1981","journal-title":"Technical Report"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5"},{"key":"2","author":"ashcroft","year":"1985","journal-title":"LUCID the Data-flow Programming Language"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263648"},{"key":"1","article-title":"Representation and analysis of reactive behaviors: A synchronous approach","author":"andre?","year":"1996","journal-title":"IEEE-SMC'96 Computational Engineering in Systems Applications"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309116"},{"key":"7","article-title":"Lutess: Testing environment for synchronous software","author":"du bousquet","year":"1998","journal-title":"Tool Support for System Specification Development and Verification"},{"key":"6","first-page":"1725","article-title":"Grafcet and SEC as factory automation standards","author":"baker","year":"1987","journal-title":"American Control Conference"},{"key":"32","article-title":"Mode-automata: About modes and states for reactive systems","author":"maraninchi","year":"1998","journal-title":"European Symposium on Programming"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80437-2"},{"key":"4","article-title":"Minimal model generation","author":"bouajjani","year":"1990","journal-title":"Proc International Workshop on Computer Aided Verification"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/32.798329"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","location":"Verona, Italy","acronym":"MEMCOD-05"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487884.pdf?arnumber=1487884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T22:30:20Z","timestamp":1552084220000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487884\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487884","relation":{},"subject":[]}}