{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:06Z","timestamp":1772163966027,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,15]]},"DOI":"10.1145\/1065910.1065914","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"21-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Composable code generation for distributed giotto"],"prefix":"10.1145","author":[{"given":"Thomas A.","family":"Henzinger","sequence":"first","affiliation":[{"name":"EPFL and UC Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph M.","family":"Kirsch","sequence":"additional","affiliation":[{"name":"University of Salzburg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slobodan","family":"Matic","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"Kopetz H.","year":"1997","unstructured":"H. Kopetz . Real-Time Systems: Design Principles for Distributed Embedded Applications . Kluwer , 1997 . H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997."},{"key":"e_1_3_2_1_2_1","unstructured":"http:\/\/www.flexray-group.com; http:\/\/www.autosar.org.  http:\/\/www.flexray-group.com; http:\/\/www.autosar.org."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"e_1_3_2_1_4_1","first-page":"241","volume-title":"Proc. EMSOFT, LNCS 2855","author":"Henzinger T.A.","year":"2003","unstructured":"T.A. Henzinger , C.M. Kirsch , and S. Matic . Schedule-carrying code . In Proc. EMSOFT, LNCS 2855 , pp. 241 -- 256 , Springer , 2003 . T.A. Henzinger, C.M. Kirsch, and S. Matic. Schedule-carrying code. In Proc. EMSOFT, LNCS 2855, pp. 241--256, Springer, 2003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512567"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064979.1064986"},{"key":"e_1_3_2_1_7_1","first-page":"46","volume-title":"Proc. EMSOFT, LNCS 2491","author":"Kirsch C.M.","year":"2002","unstructured":"C.M. Kirsch , M.A.A. Sanvido , T.A. Henzinger , and W. Pree . A Giotto-based helicopter control system . In Proc. EMSOFT, LNCS 2491 , pp. 46 -- 60 , Springer , 2002 . C.M. Kirsch, M.A.A. Sanvido, T.A. Henzinger, and W. Pree. A Giotto-based helicopter control system. In Proc. EMSOFT, LNCS 2491, pp. 46--60, Springer, 2002."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_3_2_1_9_1","first-page":"35","volume-title":"Proc. EMSOFT, LNCS 2855","author":"Benveniste A.","year":"2003","unstructured":"A. Benveniste , L.P. Carloni , P. Caspi , and A.L. Sangiovanni-Vincentelli . Heterogeneous reactive systems modeling and correct-by-construction deployment . In Proc. EMSOFT, LNCS 2855 , pp. 35 -- 50 , Springer , 2003 . A. Benveniste, L.P. Carloni, P. Caspi, and A.L. Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In Proc. EMSOFT, LNCS 2855, pp.35--50, Springer, 2003."},{"key":"e_1_3_2_1_10_1","first-page":"76","volume-title":"Proc. EMSOFT, LNCS 2491","author":"Henzinger T.A.","year":"2002","unstructured":"T.A. Henzinger , C.M. Kirsch , R. Majumdar , and S. Matic . Time-safety checking for embedded programs . In Proc. EMSOFT, LNCS 2491 , pp. 76 -- 90 , Springer , 2002 . T.A. Henzinger, C.M. Kirsch, R. Majumdar, and S. Matic. Time-safety checking for embedded programs. In Proc. EMSOFT, LNCS 2491, pp. 76--90, Springer, 2002."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"e_1_3_2_1_12_1","first-page":"182","volume-title":"Proc. EMSOFT, LNCS 2491","author":"Mok A.","year":"2002","unstructured":"A. Mok and X. Feng . Real-time virtual resource: a timely abstraction for embedded systems . In Proc. EMSOFT, LNCS 2491 , pp. 182 -- 196 , Springer , 2002 . A. Mok and X. Feng. Real-time virtual resource: a timely abstraction for embedded systems. In Proc. EMSOFT, LNCS 2491, pp. 182--196, Springer, 2002."},{"key":"e_1_3_2_1_13_1","first-page":"2","volume-title":"Proc. RTSS","author":"Shin I.","year":"2003","unstructured":"I. Shin and I. Lee . Periodic resource model for compositional real-time guarantees . In Proc. RTSS , pp. 2 -- 13 , IEEE, 2003 . I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In Proc. RTSS, pp. 2--13, IEEE, 2003."},{"key":"e_1_3_2_1_14_1","first-page":"51","volume-title":"Proc. ISORC","author":"Kopetz H.","year":"2003","unstructured":"H. Kopetz and N. Suri . Compositional design of real-time systems: a conceptual basis for the specification of linking interfaces . In Proc. ISORC , pp. 51 -- 60 , 2003 . H. Kopetz and N. Suri. Compositional design of real-time systems: a conceptual basis for the specification of linking interfaces. In Proc. ISORC, pp. 51--60, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017787"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/3680062"},{"key":"e_1_3_2_1_18_1","volume-title":"RTLinux Manifesto. In Proc. LinuxExpo","author":"Yodaiken V.","year":"1999","unstructured":"V. Yodaiken . RTLinux Manifesto. In Proc. LinuxExpo , 1999 . V. Yodaiken. RTLinux Manifesto. In Proc. LinuxExpo, 1999."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/863631.880527"},{"key":"e_1_3_2_1_21_1","first-page":"166","volume-title":"Proc. RTCSA","author":"Shigero S.","year":"1999","unstructured":"S. Shigero , M. Takashi , and H. Kei . On the schedulability conditions on partial time slots . In Proc. RTCSA , pp. 166 -- 173 , IEEE, 1999 . S. Shigero, M. Takashi, and H. Kei. On the schedulability conditions on partial time slots. In Proc. RTCSA, pp. 166--173, IEEE, 1999."}],"event":{"name":"LCTES05: Languages, Compilers, and Tools for Embedded Systems 2005","location":"Chicago Illinois USA","acronym":"LCTES05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2005 ACM SIGPLAN\/SIGBED conference on Languages, compilers, and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065910.1065914","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T08:40:15Z","timestamp":1693816815000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065910.1065914"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,15]]},"references-count":19,"alternative-id":["10.1145\/1065910.1065914","10.1145\/1065910"],"URL":"https:\/\/doi.org\/10.1145\/1065910.1065914","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1070891.1065914","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,6,15]]},"assertion":[{"value":"2005-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}