{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:45:12Z","timestamp":1725763512178},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319039978"},{"type":"electronic","value":"9783319039985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03998-5_15","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T08:10:42Z","timestamp":1386835842000},"page":"285-307","source":"Crossref","is-referenced-by-count":0,"title":["Improving the Efficiency of Synchronized Product with Infinite Transition Systems"],"prefix":"10.1007","author":[{"given":"Yuliia","family":"Romenska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"OMG: UML Profile for MARTE, v1.0. Object Management Group, formal\/2009-11-02 (November 2009)"},{"key":"15_CR2","unstructured":"Andr\u00e9, C.: Syntax and Semantics of the Clock Constraint Specification Language (CCSL). Research Report RR-6925, INRIA (2009)"},{"issue":"3","key":"15_CR3","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s11334-008-0055-2","volume":"4","author":"F. Mallet","year":"2008","unstructured":"Mallet, F.: CCSL: specifying clock constraints with UML\/MARTE. Innovations in Systems and Software Engineering\u00a04(3), 309\u2013314 (2008)","journal-title":"Innovations in Systems and Software Engineering"},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE\u00a091(1), 64\u201383 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-30561-0_4","volume-title":"Objects, Models, Components, Patterns","author":"J. Deantoni","year":"2012","unstructured":"Deantoni, J., Mallet, F.: Timesquare: Treat your models with logical time. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol.\u00a07304, pp. 34\u201341. Springer, Heidelberg (2012)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Gascon, R., Mallet, F., DeAntoni, J.: Logical time and temporal logics: Comparing UML MARTE\/CCSL and PSL. In: TIME, pp. 141\u2013148 (2011)","DOI":"10.1109\/TIME.2011.10"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Yin, L., Mallet, F., Liu, J.: Verification of MARTE\/CCSL time requirements in Promela\/SPIN. In: ICECCS, pp. 65\u201374 (2011)","DOI":"10.1109\/ICECCS.2011.14"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Mallet, F.: Automatic generation of observers from MARTE\/CCSL. In: IEEE Int. Symp. on Rapid System Prototyping, pp. 86\u201392. IEEE (October 2012)","DOI":"10.1109\/RSP.2012.6380695"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Johnsson, T.: Efficient compilation of lazy evaluation. In: SIGPLAN Symposium on Compiler Construction, pp. 58\u201369. ACM (1984)","DOI":"10.1145\/502874.502880"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Arnold, A.: Synchronized products of transition systems and their analysis. In: ICATPN, pp. 26\u201327 (1998)","DOI":"10.1007\/3-540-69108-1_2"},{"key":"15_CR11","unstructured":"Romenska, Y., Mallet, F.: Lazy parallel synchronous composition of infinite transition systems. In: ICTERI. CEUR Workshop Proceedings, vol.\u00a01000, pp. 130\u2013145. CEUR-WS.org (2013)"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40561-7_1","volume-title":"Software Engineering and Formal Methods","author":"J. Suryadevara","year":"2013","unstructured":"Suryadevara, J., Seceleanu, C., Mallet, F., Pettersson, P.: Verifying MARTE\/CCSL mode behaviors using UPPAAL. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol.\u00a08137, pp. 1\u201315. Springer, Heidelberg (2013)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Sorea, M.: Lazy approximation for dense real-time systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT 2004. LNCS, vol.\u00a03253, pp. 363\u2013378. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-30206-3_25"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1007\/978-3-642-39799-8_71","volume-title":"Computer Aided Verification","author":"F. Herbreteau","year":"2013","unstructured":"Herbreteau, F., Srivathsan, B., Walukiewicz, I.: Lazy abstractions for timed automata. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol.\u00a08044, pp. 990\u20131005. Springer, Heidelberg (2013)"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"36","author":"E.A. Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Computers\u00a036(1), 24\u201335 (1987)","journal-title":"IEEE Trans. Computers"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/B978-155860702-6\/50008-9","volume-title":"Readings in hardware\/software co-design","author":"E.A. Lee","year":"2002","unstructured":"Lee, E.A., Parks, T.M.: Dataflow process networks. In: De Micheli, G., Ernst, R., Wolf, W. (eds.) Readings in hardware\/software co-design, pp. 59\u201385. Kluwer Academic Publishers, Norwell (2002)"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-41202-8_3","volume-title":"Formal Methods and Software Engineering","author":"F. Mallet","year":"2013","unstructured":"Mallet, F., Millo, J.-V.: Boundness issues in CCSL specifications. In: Groves, L., Sun, J. (eds.) ICFEM 2013. LNCS, vol.\u00a08144, pp. 20\u201335. Springer, Heidelberg (2013)"},{"key":"15_CR19","unstructured":"Arnold, A.: Finite transition systems - semantics of communicating systems. Prentice Hall international series in computer science. Prentice Hall (1994)"},{"issue":"1-2","key":"15_CR20","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0304-3975(02)00006-3","volume":"281","author":"A. Arnold","year":"2002","unstructured":"Arnold, A.: Nivat\u2019s processes and their synchronization. Theor. Comput. Sci.\u00a0281(1-2), 31\u201336 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR21","unstructured":"DeAntoni, J., Andr\u00e9, C., Gascon, R.: CCSL denotational semantics. Research Report RR-8000, INRIA (2010)"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03998-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,4]],"date-time":"2019-08-04T20:42:46Z","timestamp":1564951366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03998-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319039978","9783319039985"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03998-5_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}