{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:40:02Z","timestamp":1752460802181,"version":"3.41.2"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2000,8,1]],"date-time":"2000-08-01T00:00:00Z","timestamp":965088000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,8,1]],"date-time":"2000-08-01T00:00:00Z","timestamp":965088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Design Automation for Embedded Systems"],"published-print":{"date-parts":[[2000,8]]},"DOI":"10.1023\/a:1008945917092","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T12:46:35Z","timestamp":1040561195000},"page":"223-236","source":"Crossref","is-referenced-by-count":1,"title":["Interlanguage Communication Synthesis for Heterogeneous Specifications"],"prefix":"10.1007","volume":"5","author":[{"given":"Fabiano","family":"Hessel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Coste","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe Le","family":"Marrec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nacer-Eddine","family":"Zergainoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriela","family":"Nicolescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Daveau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Jerraya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"262654_CR1","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1109\/5.293155","volume":"82","author":"W. Wolf","year":"1994","unstructured":"Wolf, W. 1994. Hardware-software co-design of embedded systems. Proceedings of the IEEE 82: 967\u2013989.","journal-title":"Proceedings of the IEEE"},{"key":"262654_CR2","doi-asserted-by":"crossref","unstructured":"Daveau, J.-M., Ismail, T. B., and Jerraya, A. A. 1995. Synthesis of system-level communication by an allocation-based approach. Proc. of the 8th ISSS pp. 150\u2013155.","DOI":"10.1145\/224486.224534"},{"key":"262654_CR3","doi-asserted-by":"crossref","unstructured":"Madsen, J., and Hald, B. 1995. An approach to interface synthesis. Proc. of the 8th ISSS pp. 16\u201321.","DOI":"10.1145\/224486.224490"},{"key":"262654_CR4","doi-asserted-by":"crossref","unstructured":"Narayan, S., and Gajski, D. 1994. Protocol Generation for Communication Channels. Proc. of the 31th DAC pp. 547\u2013548.","DOI":"10.1145\/196244.196530"},{"key":"262654_CR5","doi-asserted-by":"crossref","unstructured":"Eisenring M., and Teich, J. 1998. Domain-specific interface generation from dataflow specifications. Proc. of the 6th International Workshop on Hardware\/Software Codesign (CODES\/CASHE'98) pp. 43\u201347.","DOI":"10.1145\/278241.278295"},{"key":"262654_CR6","doi-asserted-by":"crossref","unstructured":"Vahid F., and Tauro, L. 1997. Object-oriented communication library for hardware-software codesign. Proc. of the 5th International Workshop on Hardware\/Software Codesign (CODES\/CASHE'97) pp. 81\u201386.","DOI":"10.1109\/HSC.1997.584583"},{"key":"262654_CR7","doi-asserted-by":"crossref","unstructured":"Hines, K., and Borriello, G. 1994. Dynamic communication models in embedded system co-simulation. Proc. of the 34th DAC pp. 395\u2013402.","DOI":"10.1109\/DAC.1997.597179"},{"issue":"4","key":"262654_CR8","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/BF00209910","volume":"1","author":"D. Verkest","year":"1996","unstructured":"Verkest, D., Van Rompaey, K., Bolsens, I., and De Man, H. 1996. CoWare \u2014 A design environment for heterogeneuos hardware\/software systems. Design Automation for Embedded Systems 1(4): 357\u2013386.","journal-title":"Design Automation for Embedded Systems"},{"key":"262654_CR9","unstructured":"Ecker, W., Glesner, M., and Vombach, A. 1994. Protocol merging: A VHDL based method for clock cycle minimising and protocol preserving scheduling of IO operations. Proc. of the EDAC with Euro-VHDL pp. 624\u2013629."},{"key":"262654_CR10","doi-asserted-by":"crossref","unstructured":"Narayan, S., and Gajski, D. 1994. Synthesis of system-level bus interfaces. Proc. of the EDAC with Euro-VHDL pp. 395\u2013399.","DOI":"10.1109\/EDTC.1994.326846"},{"key":"262654_CR11","doi-asserted-by":"crossref","unstructured":"Narayan, S., and Gajski, D. 1995. Interfacing incompatible protocols using interface process generation. Proc. of the IEEE Design Automation Conference pp. 157\u2013164.","DOI":"10.1145\/217474.217572"},{"key":"262654_CR12","unstructured":"Lin, B., and Vercauteren, S. 1994. Synthesis of concurrent system interface modules with automatic protocol conversion generation. Proc. of IEEE International Conference on Computer Aided Design pp. 395\u2013399."},{"key":"262654_CR13","doi-asserted-by":"crossref","unstructured":"Rowson, J., and Sangiovanni-Vincetelli, A. 1997. Interface-based design. Proc. of the Design Automation Conference pp. 178\u2013183.","DOI":"10.1145\/266021.266060"},{"key":"262654_CR14","unstructured":"Gajski, D., Vahid, F., Narayan, S., and Gong, J. 1994. Specification and Design of Embedded systems. Prentice Hall."},{"key":"262654_CR15","unstructured":"Yen, T., and Wolf, W. 1995. Communication synthesis for distributed embedded systems. Proc. of International Conference on Computer Aided Design pp. 288\u2013294."},{"key":"262654_CR16","doi-asserted-by":"crossref","unstructured":"Ortega, R., Lavagno, L., and Borriello, G. 1998. Models and methods for Hw\/Sw intellectual property interfacing. NATO-ANSI Workshop on System Level Synthesis.","DOI":"10.1007\/978-94-011-4698-2_12"},{"key":"262654_CR17","unstructured":"Jerraya, A. A., and O'Brien, K. 1992. SOLAR: An intermediate format for system-level design and specification. IFIP Inter. Workshop on Hardware\/Software codesign Grassau, Germany."},{"issue":"1","key":"262654_CR18","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1109\/92.555993","volume":"5","author":"J. M. Daveau","year":"1997","unstructured":"Daveau, J. M., Marchioro, G., Ben-Ismail, T., and Jerraya, A. A. 1997. Protocol selection and interface generation for Hw-Sw codesign. IEEE Trans. on VLSI Systems 5(1): 136\u2013144.","journal-title":"IEEE Trans. on VLSI Systems"},{"key":"262654_CR19","doi-asserted-by":"crossref","unstructured":"Ortega, R., and Borriello, G. 1998. Communication synthesis for distributed embedded systems. Proc. of International Conference on Computer Aided Design pp. 437\u2013444.","DOI":"10.1145\/288548.289067"},{"key":"262654_CR20","doi-asserted-by":"crossref","unstructured":"Jerraya, A. A., Romdhani, M., Valderrama, C. A., Le Marrec, P., Hessel, F., Marchioro, G., and Daveau, J. M. 1997. Languages for system-level specification and design. Hardware\/Software Co-design: Principles and Practice (J. Staunstrup and W. Wolf, eds.), Kluwer Academic Publishers, pp. 307\u2013357.","DOI":"10.1007\/978-1-4757-2649-7_7"},{"key":"262654_CR21","doi-asserted-by":"crossref","unstructured":"Hessel, F., LeMarrec, P., Valderrama, C. A., Romdhani, M., and Jerraya, A. A. 1999. MCI-multilanguage distributed co-simulation tool. Distributed and Parallel Embedded Systems DIPES'98 Organized by IFIP WG10.3\/WG10.5. (F. Rammig, ed.) Kluwer Academic Publishers, pp. 191\u2013200.","DOI":"10.1007\/978-0-387-35570-2_17"},{"key":"262654_CR22","doi-asserted-by":"crossref","unstructured":"Chou, P., Ortega, R., Hines, K., Borriello, G. 1999. IPChinook: an integrated Ip-based design framework for distributed embedded systems. Proc. of the Design Automation Conference.","DOI":"10.21236\/ADA416534"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008945917092.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008945917092\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008945917092.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:21:24Z","timestamp":1752459684000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008945917092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,8]]},"references-count":22,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2000,8]]}},"alternative-id":["262654"],"URL":"https:\/\/doi.org\/10.1023\/a:1008945917092","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2000,8]]}}}