{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:36:24Z","timestamp":1725539784481},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642045691"},{"type":"electronic","value":"9783642045707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04570-7_16","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T04:51:23Z","timestamp":1257223883000},"page":"199-201","source":"Crossref","is-referenced-by-count":2,"title":["Integrated Formal Approach for Qualified Critical Embedded Code Generator"],"prefix":"10.1007","author":[{"given":"Nassima","family":"Izerrouken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Pantel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Thirioux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Ssi Yan Kai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"16_CR1","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10009-004-0160-y","volume":"6","author":"J.L. Cola\u00e7o","year":"2004","unstructured":"Cola\u00e7o, J.L., Pouzet, M.: Type-based initialization analysis of a synchronous data-flow language. International Journal on Software Tools for Technology Transfer (STTT)\u00a06(3), 245\u2013255 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0167-6423(99)00015-5","volume":"36","author":"G. Berry","year":"2000","unstructured":"Berry, G., Bouali, A., Fornari, X., Ledinot, E., Nassor, E., de Simone, R.: Esterel: A formal method applied to avionic software development. Science of Computer Programming\u00a036(1), 5\u201325 (2000)","journal-title":"Science of Computer Programming"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 151\u2013166. Springer, Heidelberg (1998)"},{"issue":"5","key":"16_CR4","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/358438.349314","volume":"35","author":"G.C. Necula","year":"2000","unstructured":"Necula, G.C.: Translation validator for an optimizing compiler. ACM SIGPLAN Notices\u00a035(5), 83\u201394 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Formal certification of a compiler back-end or: Programming a compiler with a proof assistant. In: Proceedings of the 33rd Symposium on Principles Of Programming Languages (POPL 2006), vol.\u00a041(1), pp. 42\u201354 (2006)","DOI":"10.1145\/1111320.1111042"},{"key":"16_CR6","unstructured":"Tooms, A., Naks, T., Pantel, M., Gandriau, M., Wati, I.: Geneauto: An automatic code generator for a safe subset of simulink\/stateflow. In: Proceedings of the 4th European symposium on Real Time Systems, ERTS 2008 (2008)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/978-3-540-45212-6_7","volume-title":"Embedded Software","author":"P. Caspi","year":"2003","unstructured":"Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S.: Translating discrete-time simulink to lustre. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 84\u201399. Springer, Heidelberg (2003)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Language Implementation and Logic Programming","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Raymond, P., Ratel, C.: Generating efficient code from data-flow programs. In: Ma\u0142uszy\u0144ski, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol.\u00a0528. Springer, Heidelberg (1991)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04570-7_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:32Z","timestamp":1606185752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04570-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045691","9783642045707"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04570-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}