{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:47:28Z","timestamp":1743043648408,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319076010"},{"type":"electronic","value":"9783319076027"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07602-7_5","type":"book-chapter","created":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T11:29:08Z","timestamp":1402572548000},"page":"41-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards Verification of Ensemble-Based Component Systems"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"Barnat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikola","family":"Bene\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Bure\u0161","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivana","family":"\u010cern\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaroslav","family":"Keznikl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franti\u0161ek","family":"Pl\u00e1\u0161il","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,6,13]]},"reference":[{"key":"5_CR1","unstructured":"Al Ali, R., Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo computational model-I., Technical Report D3S-TR-2013-01, D3S, Charles University in Prague. http:\/\/d3s.mff.cuni.cz\/publications (2013)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1007\/978-3-642-39799-8_60","volume-title":"Computer Aided Verification","author":"J Barnat","year":"2013","unstructured":"Barnat, J., et al.: DiVinE 3.0 \u2013 an explicit-state model checker for multithreaded C & C++ programs. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 863\u2013868. Springer, Heidelberg (2013)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Barnat, J., Bene\u0161, N., \u010cern\u00e1, I., Petruchov\u00e1, Z.: DCCL: verification of component systems with ensembles. In: Proceedings of CBSE \u201913. pp. 43\u201352. ACM, New York (2013)","DOI":"10.1145\/2465449.2465453"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bures, T., et al.: DEECo - an ensemble-based component system. In: Proceedings of CBSE \u201913. ACM, New York (2013)","DOI":"10.1145\/2465449.2465462"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Tonetta, S.: A property-based proof system for contract-based design. In: Proceedings of SEAA 2012. IEEE CS, Los Alamitos (2012)","DOI":"10.1109\/SEAA.2012.68"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Software-Intensive Systems and New Computing Paradigms","author":"M H\u00f6lzl","year":"2008","unstructured":"H\u00f6lzl, M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: state of the art and research challenges. In: Wirsing, M., Ban\u00e2tre, J.-P., H\u00f6lzl, M., Rauschmayer, A. (eds.) SoftWare-Intensive Systems. LNCS, vol. 5380, pp. 1\u201344. Springer, Heidelberg (2008)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Keznikl, J., et al.: Towards dependable emergent ensembles of components: the DEECo component model. In: Proceedings of WICSA\/ECSA\u201912. IEEE (2012)","DOI":"10.1109\/WICSA-ECSA.212.39"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","first-page":"25","volume-title":"Formal Methods for Components and Objects","author":"R De Nicola","year":"2012","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A Language-Based Approach to Autonomic Computing. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25\u201348. Springer, Heidelberg (2012)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Patikirikorala, T., Colman, A., Han, J., Wang, L.: A systematic survey on the design of self-adaptive software systems using control engineering approaches. In: Proceedings of SEAMS 2012 (2012)","DOI":"10.1109\/SEAMS.2012.6224389"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Rajkumar, R.R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: the next computing revolution. In: Proceedings of DAC\u201910. pp. 731\u2013736. ACM, New York (2010)","DOI":"10.1145\/1837274.1837461"},{"key":"5_CR11","unstructured":"Serbedzija, N., Reiter, S., Ahrens, M., Velasco, J., Pinciroli, C., Hoch, N., Werther, B.: Requirement specification and scenario description of the ascens case studies (2011), deliverable D7.1. http:\/\/www.ascens-ist.eu\/deliverables"},{"key":"5_CR12","volume-title":"Multiagent Systems: Algorithmic, Game-theoretic, and Logical Foundations","author":"Y Shoham","year":"2009","unstructured":"Shoham, Y., Leyton-Brown, K.: Multiagent Systems: Algorithmic, Game-theoretic, and Logical Foundations. Cambridge University Press, Cambridge (2009)"},{"key":"5_CR13","unstructured":"Vardi, M., Wolper, P.: An automata-theoretic approach to automatic program verification (preliminary report). In: Proceedings, Symposium on Logic in Computer Science (LICS\u201986), pp. 332\u2013344. IEEE Computer Society (1986)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07602-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T03:07:34Z","timestamp":1676862454000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07602-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319076010","9783319076027"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07602-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"13 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}