{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:50:51Z","timestamp":1725763851227},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642453632"},{"type":"electronic","value":"9783642453649"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45364-9_17","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T22:41:52Z","timestamp":1386888112000},"page":"204-217","source":"Crossref","is-referenced-by-count":1,"title":["A Tag Contract Framework for Heterogeneous Systems"],"prefix":"10.1007","author":[{"given":"Thi Thieu Hoa","family":"Le","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[]},{"given":"Uli","family":"Fahrenberg","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"10","key":"17_CR1","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cDesign by contract\u201d. Computer\u00a025(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity - the ptolemy approach. In: Proceedings of the IEEE, pp. 127\u2013144 (2003)","DOI":"10.1109\/JPROC.2002.805829"},{"issue":"12","key":"17_CR3","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E. Lee","year":"1998","unstructured":"Lee, E., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. CAD of Integ. Circ. and Systems\u00a017(12), 1217\u20131229 (1998)","journal-title":"IEEE Trans. CAD of Integ. Circ. and Systems"},{"issue":"4","key":"17_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1376804.1376811","volume":"7","author":"A. Benveniste","year":"2008","unstructured":"Benveniste, A., Caillaud, B., Carloni, L.P., Caspi, P., Sangiovanni-Vincentelli, A.L.: Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst.\u00a07(4), 43:1\u201343:36 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","volume-title":"Formal Methods for Components and Objects","author":"A. Benveniste","year":"2008","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 200\u2013225. Springer, Heidelberg (2008)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Damm, W., Hungar, H., Josko, B., Peikenkamp, T., Stierand, I.: Using contract-based component specifications for virtual integration testing and architecture design. In: Proceedings of the Conference on Design, Automation and Test in Europe, Grenoble, France (2011)","DOI":"10.1109\/DATE.2011.5763167"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caillaud, B., Carloni, L.P., Sangiovanni-Vincentelli, A.: Tag machines. In: Proceedings of the International Conference on Embedded Software, pp. 255\u2013263. ACM (2005)","DOI":"10.1145\/1086228.1086276"},{"issue":"7","key":"17_CR8","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1109\/TCAD.2010.2049067","volume":"29","author":"S. Dey","year":"2010","unstructured":"Dey, S., Sarkar, D., Basu, A.: A tag machine based performance evaluation method for job-shop schedules. IEEE Trans. CAD of Integ. Circ. and Systems\u00a029(7), 1028\u20131041 (2010)","journal-title":"IEEE Trans. CAD of Integ. Circ. and Systems"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Le, T.T.H., Passerone, R., Fahrenberg, U., Legay, A.: Tag machines for modeling heterogeneous systems. In: Proceedings of the 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8-10 (2013)","DOI":"10.1109\/ACSD.2013.23"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Bauer, S.S., David, A., Hennicker, R., Guldstrand Larsen, K., Legay, A., Nyman, U., W\u0105sowski, A.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 43\u201358. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28872-2_3"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-07994-7_51","volume-title":"Language Hierarchies and Interfaces","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: Guarded commands, non-determinancy and a calculus for the derivation of programs. In: Bauer, F.L., Samelson, K. (eds.) Language Hierarchies and Interfaces. LNCS, vol.\u00a046, pp. 111\u2013124. Springer, Heidelberg (1976)"},{"issue":"3","key":"17_CR12","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/78969.78970","volume":"12","author":"L. Lamport","year":"1990","unstructured":"Lamport, L.: win and sin: Predicate transformers for concurrency. ACM Trans. Program. Lang. Syst.\u00a012(3), 396\u2013428 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes\u00a026, 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Benvenuti, L., Ferrari, A., Mangeruca, L., Mazzi, E., Passerone, R., Sofronis, C.: A contract-based formalism for the specification of heterogeneous systems. In: Proceedings of the Forum on Specification, Verification and Design Languages, Stuttgart, pp. 142\u2013147 (2008)","DOI":"10.1109\/FDL.2008.4641436"},{"key":"17_CR15","unstructured":"de Roever, W.P.: The quest for compositionality\u2014a survey of assertion-based proof systems for concurrent programs, part i: Concurrency based on shared variables. In: Proc. of the IFIP Working Conference \u201cThe role of Abstract Models in Computer Science\u201d (1985)"},{"issue":"1s","key":"17_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2435227.2435245","volume":"12","author":"A. Davare","year":"2013","unstructured":"Davare, A., Densmore, D., Guo, L., Passerone, R., Sangiovanni-Vincentelli, A.L., Simalatsar, A., Zhu, Q.: metroII: A design environment for cyber-physical systems. ACM Transactions on Embedded Computing Systems\u00a012(1s), 49:1\u201349:31 (2013)","journal-title":"ACM Transactions on Embedded Computing Systems"},{"issue":"10","key":"17_CR17","doi-asserted-by":"publisher","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"S. Bliudze","year":"2008","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors: Structuring interaction in BIP. IEEE Transactions on Computers\u00a057(10), 1315\u20131330 (2008)","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"17_CR18","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/LES.2010.2098846","volume":"3","author":"S. Dey","year":"2011","unstructured":"Dey, S., Sarkar, D., Basu, A.: A Kleene algebra of tagged system actors. IEEE Embedded Systems Letters\u00a03(1), 28\u201331 (2011)","journal-title":"IEEE Embedded Systems Letters"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-642-24485-8_36","volume-title":"Model Driven Engineering Languages and Systems","author":"U. Fahrenberg","year":"2011","unstructured":"Fahrenberg, U., Legay, A., W\u0105sowski, A.: Vision paper: Make a difference (Semantically). In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 490\u2013500. Springer, Heidelberg (2011)"}],"container-title":["Communications in Computer and Information Science","Advances in Service-Oriented and Cloud Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45364-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,4]],"date-time":"2019-08-04T17:27:21Z","timestamp":1564939641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45364-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642453632","9783642453649"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45364-9_17","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}