{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:59Z","timestamp":1750306979338,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,17]],"date-time":"2013-06-17T00:00:00Z","timestamp":1371427200000},"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":[[2013,6,17]]},"DOI":"10.1145\/2465449.2465453","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:13:21Z","timestamp":1372187601000},"page":"43-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["DCCL"],"prefix":"10.1145","author":[{"given":"Ji\u0159\u00ed","family":"Barnat","sequence":"first","affiliation":[{"name":"Faculty of Informatics, Masaryk University, Brno, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikola","family":"Bene\u0161","sequence":"additional","affiliation":[{"name":"Faculty of Informatics, Masaryk University, Brno, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivana","family":"\u010cern\u00e1","sequence":"additional","affiliation":[{"name":"Faculty of Informatics, Masaryk University, Brno, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuzana","family":"Petruchov\u00e1","sequence":"additional","affiliation":[{"name":"Faculty of Informatics, Masaryk University, Brno, Czech Rep"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ASCENS. http:\/\/www.ascens-ist.eu\/.  ASCENS. http:\/\/www.ascens-ist.eu\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDMC-HiBi.2010.9"},{"key":"e_1_3_2_1_3_1","unstructured":"E. Clarke O. Grumberg and D. Peled. Model Checking. MIT press 1999.   E. Clarke O. Grumberg and D. Peled. Model Checking. MIT press 1999."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Rocco De\n       \n      Nicola Gian Luigi Ferrari Michele Loreti and Rosario Pugliese. A language-based approach to autonomic computing. In Bernhard Beckert Ferruccio Damiani Frank S. de Boer and Marcello M. Bonsangue editors FMCO volume \n  7542\n   of \n  Lecture Notes in Computer Science pages \n  25\n  --\n  48\n  . \n  Springer 2011\n  .  Rocco De Nicola Gian Luigi Ferrari Michele Loreti and Rosario Pugliese. A language-based approach to autonomic computing. In Bernhard Beckert Ferruccio Damiani Frank S. de Boer and Marcello M. Bonsangue editors FMCO volume 7542 of Lecture Notes in Computer Science pages 25--48. Springer 2011.","DOI":"10.1007\/978-3-642-35887-6_2"},{"key":"e_1_3_2_1_5_1","unstructured":"DiVinE. http:\/\/divine.fi.muni.cz\/.  DiVinE. http:\/\/divine.fi.muni.cz\/."},{"volume-title":"Inc.","year":"2001","author":"George","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89437-7_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Matthias\n     M.\n      \n  \n   \n  H\u00f6lzl and Martin Wirsing. Towards a system model for ensembles. In Gul Agha Olivier Danvy and Jos\u00e9 Meseguer editors Formal Modeling: Actors Open Systems Biological Systems volume \n  7000\n   of \n  Lecture Notes in Computer Science pages \n  241\n  --\n  261\n  . \n  Springer 2011\n  .   Matthias M. H\u00f6lzl and Martin Wirsing. Towards a system model for ensembles. In Gul Agha Olivier Danvy and Jos\u00e9 Meseguer editors Formal Modeling: Actors Open Systems Biological Systems volume 7000 of Lecture Notes in Computer Science pages 241--261. Springer 2011.","DOI":"10.1007\/978-3-642-24933-4_12"},{"key":"e_1_3_2_1_9_1","unstructured":"DCCL Homepage. http:\/\/paradise.fi.muni.cz\/dccl\/.  DCCL Homepage. http:\/\/paradise.fi.muni.cz\/dccl\/."},{"key":"e_1_3_2_1_10_1","unstructured":"InterLink. http:\/\/interlink.ics.forth.gr\/.  InterLink. http:\/\/interlink.ics.forth.gr\/."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA-ECSA.212.39"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_13_1","unstructured":"Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA 2nd edition 2002.   Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA 2nd edition 2002."},{"key":"e_1_3_2_1_14_1","first-page":"332","volume-title":"Proceedings, Symposium on Logic in Computer Science (LICS'86)","author":"Vardi M.","year":"1986"}],"event":{"name":"Comparch '13: Federated Events on Component-Based Software Engineering and Software Architecture","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Vancouver British Columbia Canada","acronym":"Comparch '13"},"container-title":["Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465449.2465453","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2465449.2465453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:36Z","timestamp":1750235976000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465449.2465453"}},"subtitle":["verification of component systems with ensembles"],"short-title":[],"issued":{"date-parts":[[2013,6,17]]},"references-count":14,"alternative-id":["10.1145\/2465449.2465453","10.1145\/2465449"],"URL":"https:\/\/doi.org\/10.1145\/2465449.2465453","relation":{},"subject":[],"published":{"date-parts":[[2013,6,17]]},"assertion":[{"value":"2013-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}