{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:27Z","timestamp":1750308027666,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1145\/1289971.1289981","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"53-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["42"],"prefix":"10.1145","author":[{"given":"Florence","family":"Maraninchi","sequence":"first","affiliation":[{"name":"INPGrenoble, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tayeb","family":"Bouhadiba","sequence":"additional","affiliation":[{"name":"INPGrenoble, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Predictable assembly from certifiable components (PACC) initiative. www.sei.cmu.edu\/pacc\/.  Predictable assembly from certifiable components (PACC) initiative. www.sei.cmu.edu\/pacc\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Spice. bwrc.eecs.berkeley.edu\/Classes\/IcBook\/SPICE\/.  Spice. bwrc.eecs.berkeley.edu\/Classes\/IcBook\/SPICE\/."},{"key":"e_1_3_2_1_3_1","volume-title":"The Hitchhiker's Guide to the Galaxy","author":"Adams Douglas","year":"1979","unstructured":"Douglas Adams . The Hitchhiker's Guide to the Galaxy . 1979 . Douglas Adams. The Hitchhiker's Guide to the Galaxy. 1979."},{"key":"e_1_3_2_1_4_1","volume-title":"International Journal of Robotics Research, Special Issue on Integrated Architectures for Robot Control and Programming, 17(4)","author":"Alami R.","year":"1998","unstructured":"R. Alami , R. Chatila , S. Fleury , M. Ghallab , and F. Ingrand . An architecture for autonomy . International Journal of Robotics Research, Special Issue on Integrated Architectures for Robot Control and Programming, 17(4) , 1998 . R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand. An architecture for autonomy. International Journal of Robotics Research, Special Issue on Integrated Architectures for Robot Control and Programming, 17(4), 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086276"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v36:11\/12"},{"issue":"2","key":"e_1_3_2_1_11_1","first-page":"0","article-title":"Ptolemy: A framework for simulating and prototyping heterogenous systems","volume":"4","author":"Buck J.","year":"1994","unstructured":"J. Buck , S. Ha , E. A. Lee , and D. G. Messerschmitt . Ptolemy: A framework for simulating and prototyping heterogenous systems . Int. Journal in Computer Simulation , 4 ( 2 ): 0 , 1994 . J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogenous systems. Int. Journal in Computer Simulation, 4(2):0, 1994.","journal-title":"Int. Journal in Computer Simulation"},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-45416-0_21","volume-title":"Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP","author":"Caspi P.","year":"2001","unstructured":"P. Caspi , C. Mazuet , and N. Reynaud Paligot . About the design of distributed control systems: The quasi-synchronous approach . In Udo Voges, editor, Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001 , Budapest, Hungary, September 26-28, 2001, Proceedings, volume 2187 of LNCS , pages 215 -- 226 . Springer , 2001. P. Caspi, C. Mazuet, and N. Reynaud Paligot. About the design of distributed control systems: The quasi-synchronous approach. In Udo Voges, editor, Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001, Proceedings, volume 2187 of LNCS, pages 215--226. Springer, 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1213675"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_16_1","volume-title":"Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93","author":"Halbwachs N.","year":"1993","unstructured":"N. Halbwachs , F. Lagnier , and P. Raymond . Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors , Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 , Twente , June 1993 . Workshops in Computing, Springer Verlag. N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993. Workshops in Computing, Springer Verlag."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MOMPES.2007.1"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc.International Joint Conference on Artificial Intelligence","author":"Hewitt C.","year":"1973","unstructured":"C. Hewitt . A universal, modular actor formalism for artificial intelligence . In Proc.International Joint Conference on Artificial Intelligence , 1973 . C. Hewitt. A universal, modular actor formalism for artificial intelligence. In Proc.International Joint Conference on Artificial Intelligence, 1973."},{"key":"e_1_3_2_1_19_1","volume-title":"Design and validation of computer protocols","author":"Holzmann Gerard J.","year":"1991","unstructured":"Gerard J. Holzmann . Design and validation of computer protocols . Prentice-Hall , Englewood Cliffs, NJ , 1991 . Gerard J. Holzmann. Design and validation of computer protocols. Prentice-Hall, Englewood Cliffs, NJ, 1991."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018420.1019664"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-1116(09)70066-4"},{"key":"e_1_3_2_1_23_1","volume-title":"LNCS 92","author":"Milner R.","year":"1980","unstructured":"R. Milner . A calculus of communication systems . In LNCS 92 . Springer Verlag , 1980 . R. Milner. A calculus of communication systems. In LNCS 92. Springer Verlag, 1980."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049404"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776864"},{"key":"e_1_3_2_1_26_1","volume-title":"ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems","author":"Raymond P.","year":"2007","unstructured":"P. Raymond , Y. Roux , and E. Jahier . Specifying and executing reactive scenarios with lutin. In SLA++P'07 , ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems , Braga, Portugal , March 2007 . ENTCS. P. Raymond, Y. Roux, and E. Jahier. Specifying and executing reactive scenarios with lutin. In SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems, Braga, Portugal, March 2007. ENTCS."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142680.1142684"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"issue":"4","key":"e_1_3_2_1_29_1","first-page":"583","article-title":"Typing the behavior of software components using session types","volume":"73","author":"Vallecillo A.","year":"2006","unstructured":"A. Vallecillo , V. T. Vasconcelos , and A. Ravara . Typing the behavior of software components using session types . Fundam. Inf. , 73 ( 4 ): 583 -- 598 , 2006 . A. Vallecillo, V. T. Vasconcelos, and A. Ravara. Typing the behavior of software components using session types. Fundam. Inf., 73(4):583--598, 2006.","journal-title":"Fundam. Inf."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(89)90047-1"}],"event":{"name":"GPCE '07: Generative Programming and Component Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Salzburg Austria","acronym":"GPCE '07"},"container-title":["Proceedings of the 6th international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1289971.1289981","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1289971.1289981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:13:59Z","timestamp":1750259639000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1289971.1289981"}},"subtitle":["programmable models of computation for a component-based approach to heterogeneous embedded systems"],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":30,"alternative-id":["10.1145\/1289971.1289981","10.1145\/1289971"],"URL":"https:\/\/doi.org\/10.1145\/1289971.1289981","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]},"assertion":[{"value":"2007-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}