{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:00Z","timestamp":1750306980157,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"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.2465457","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:13:21Z","timestamp":1372187601000},"page":"91-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Design of ensemble-based component systems by invariant refinement"],"prefix":"10.1145","author":[{"given":"Jaroslav","family":"Keznikl","sequence":"first","affiliation":[{"name":"Charles University in Prague, Faculty of Mathematics and Physics & Institute of Computer Science, Prague, Czech Rep"}]},{"given":"Tomas","family":"Bures","sequence":"additional","affiliation":[{"name":"Charles University in Prague, Faculty of Mathematics and Physics & Institute of Computer Science, Prague, Czech Rep"}]},{"given":"Frantisek","family":"Plasil","sequence":"additional","affiliation":[{"name":"Charles University in Prague, Faculty of Mathematics and Physics, Prague, Czech Rep"}]},{"given":"Ilias","family":"Gerostathopoulos","sequence":"additional","affiliation":[{"name":"Charles University in Prague, Faculty of Mathematics and Physics, Prague, Czech Rep"}]},{"given":"Petr","family":"Hnetynka","sequence":"additional","affiliation":[{"name":"Charles University in Prague, Faculty of Mathematics and Physics, Prague, Czech Rep"}]},{"given":"Nicklas","family":"Hoch","sequence":"additional","affiliation":[{"name":"Corporate Research Group, Volkswagen AG, Wolfsburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2013,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2012.48"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11944836_25"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1197665"},{"key":"e_1_3_2_1_4_1","volume-title":"Language Extensions for Implementation-Level Conformance Checking. ASCENS Deliverable 1.5. Available at: http:\/\/www.ascens-ist.eu\/deliverables","author":"Bures T.","year":"2012","unstructured":"T. Bures , I. Gerostathopoulos , V. Horky , J. Keznikl , J. Kofron , M. Loreti , and F. Plasil . Language Extensions for Implementation-Level Conformance Checking. ASCENS Deliverable 1.5. Available at: http:\/\/www.ascens-ist.eu\/deliverables , 2012 . T. Bures, I. Gerostathopoulos, V. Horky, J. Keznikl, J. Kofron, M. Loreti, and F. Plasil. Language Extensions for Implementation-Level Conformance Checking. ASCENS Deliverable 1.5. Available at: http:\/\/www.ascens-ist.eu\/deliverables, 2012."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465449.2465462"},{"key":"e_1_3_2_1_7_1","series-title":"Series in Computer Science","volume-title":"Soft Real-Time Systems: Predictability vs. Efficiency","author":"Buttazzo G.","year":"2005","unstructured":"G. Buttazzo , G. Lipari , L. Abeni , and M. Caccamo . Soft Real-Time Systems: Predictability vs. Efficiency , ser. Series in Computer Science , R. G. Melhem, Ed. Springer US , 2005 . G. Buttazzo, G. Lipari, L. Abeni, and M. Caccamo. Soft Real-Time Systems: Predictability vs. Efficiency, ser. Series in Computer Science, R. G. Melhem, Ed. Springer US, 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02463-4_18"},{"key":"e_1_3_2_1_9_1","volume-title":"Building Reliable Component-Based Software Systems","author":"Crnkovic I.","year":"2002","unstructured":"I. Crnkovic . Building Reliable Component-Based Software Systems . Artech House, Inc. , Norwood, MA, USA , 2002 . I. Crnkovic. Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood, MA, USA, 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2006.28"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of FMCO'11","author":"De Nicola R.","year":"2012","unstructured":"R. De Nicola , G. Ferrari , M. Loreti , and R. Pugliese . A Language-based Approach to Autonomic Computing . In Proc. of FMCO'11 , 2012 . R. De Nicola, G. Ferrari, M. Loreti, and R. Pugliese. A Language-based Approach to Autonomic Computing. In Proc. of FMCO'11, 2012."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462307.2462325"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89437-7_1"},{"key":"e_1_3_2_1_15_1","volume-title":"et al. Engineering Ensembles: A White Paper of the ASCENS Project. ASCENS Deliverable JD1.1. Available at: http:\/\/www.ascens-ist.eu\/whitepapers","author":"Holzl M.","year":"2011","unstructured":"M. Holzl , et al. Engineering Ensembles: A White Paper of the ASCENS Project. ASCENS Deliverable JD1.1. Available at: http:\/\/www.ascens-ist.eu\/whitepapers , 2011 . M. Holzl, et al. Engineering Ensembles: A White Paper of the ASCENS Project. ASCENS Deliverable JD1.1. Available at: http:\/\/www.ascens-ist.eu\/whitepapers, 2011."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380584.1380585"},{"key":"e_1_3_2_1_17_1","volume-title":"IBM White Paper","author":"An BM.","year":"2003","unstructured":"I BM. An architectural blueprint for autonomic computing . IBM White Paper , 2003 . IBM. An architectural blueprint for autonomic computing. IBM White Paper, 2003."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00107-1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA-ECSA.212.39"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453133"},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. of ICMAS'95","author":"Rao A.","year":"1995","unstructured":"A. Rao , and M.P. Georgeff . BDI agents: From theory to practice . In Proc. of ICMAS'95 , 1995 . A. Rao, and M.P. Georgeff. BDI agents: From theory to practice. In Proc. of ICMAS'95, 1995."},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of NISS'10","author":"Rehman N. U.","year":"2010","unstructured":"N. U. Rehman , S. Bibi , S. Asghar , and S. Fong . Comparative Study of Goal-Oriented Requirements Engineering . In Proc. of NISS'10 , 2010 . N. U. Rehman, S. Bibi, S. Asghar, and S. Fong. Comparative Study of Goal-Oriented Requirements Engineering. In Proc. of NISS'10, 2010."},{"key":"e_1_3_2_1_23_1","volume-title":"Ensemble Model Syntheses with Robot, Cloud Computing and e-Mobility. ASCENS Deliverable 7.2. Available at: http:\/\/www.ascens-ist.eu\/deliverables","author":"Serbedzija N.","year":"2012","unstructured":"N. Serbedzija , Ensemble Model Syntheses with Robot, Cloud Computing and e-Mobility. ASCENS Deliverable 7.2. Available at: http:\/\/www.ascens-ist.eu\/deliverables , 2012 . N. Serbedzija, et al. Ensemble Model Syntheses with Robot, Cloud Computing and e-Mobility. ASCENS Deliverable 7.2. Available at: http:\/\/www.ascens-ist.eu\/deliverables, 2012."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1483085"},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. of RTSS'01","author":"Stankovic J. A.","year":"2002","unstructured":"J. A. Stankovic , T. He , T. Abdelzaher , M. Marley , G. Tao , S. Son , and C. Lu . Feedback control scheduling in distributed real-time systems . In Proc. of RTSS'01 , 2002 . J. A. Stankovic , T. He , T. Abdelzaher , M. Marley , G. Tao, S. Son , and C. Lu. Feedback control scheduling in distributed real-time systems. In Proc. of RTSS'01, 2002."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.361"}],"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.2465457","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2465449.2465457","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.2465457"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,17]]},"references-count":25,"alternative-id":["10.1145\/2465449.2465457","10.1145\/2465449"],"URL":"https:\/\/doi.org\/10.1145\/2465449.2465457","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"}}]}}