{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:57:21Z","timestamp":1725818241350},"publisher-location":"Cham","reference-count":54,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319163093"},{"type":"electronic","value":"9783319163109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16310-9_13","type":"book-chapter","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T07:47:23Z","timestamp":1425368843000},"page":"429-448","source":"Crossref","is-referenced-by-count":2,"title":["Tools for Ensemble Design and Runtime"],"prefix":"10.1007","author":[{"given":"Dhaminda B.","family":"Abeywickrama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Combaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vojt\u011bch","family":"Hork\u00fd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaroslav","family":"Keznikl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Kofro\u0148","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto Lluch","family":"Lafuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Margheri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Monreale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Pinciroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"T\u016fma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emil","family":"Vassev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Proceedings of the 6th International C* Conference on Computer Science & Software Engineering (C3S2E\u201913) (In Press)","author":"D.B. Abeywickrama","year":"2013","unstructured":"Abeywickrama, D.B., Hoch, N., Zambonelli, F.: SimSOTA: Engineering and simulating feedback loops for self-adaptive systems. In: Proceedings of the 6th International C* Conference on Computer Science & Software Engineering (C3S2E\u201913) (In Press), ACM Press, New York (2013)"},{"key":"13_CR2","volume-title":"Proceedings of the 2nd Awareness Workshop co-located with the SASO\u201912 Conference","author":"D.B. Abeywickrama","year":"2012","unstructured":"Abeywickrama, D.B., Zambonelli, F., Hoch, N.: Towards simulating architectural patterns for self-aware and self-adaptive systems. In: Proceedings of the 2nd Awareness Workshop co-located with the SASO\u201912 Conference, IEEE Computer Society Press, Los Alamitos (2012)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-39910-0_12","volume-title":"Verification: Theory and Practice","author":"L. Alfaro de","year":"2004","unstructured":"de Alfaro, L.: Game models for open systems. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 269\u2013289. Springer, Heidelberg (2004)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/SIGSOFT FSE 2001. ACM SIGSOFT Software Engineering Notes\u00a026(5). ACM (2001)","DOI":"10.1145\/503271.503226"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"M. AlTurki","year":"2011","unstructured":"AlTurki, M., Meseguer, J.: pVeStA: A parallel statistical model checking and quantitative analysis tool. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 386\u2013392. Springer, Heidelberg (2011)"},{"key":"13_CR6","unstructured":"AT&T Labs, Inc.: Graphviz: Graph visualization software, \n                    \n                      http:\/\/graphviz.org"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. Transations on Computational Logic\u00a01(1) (2000)","DOI":"10.1145\/343369.343402"},{"key":"13_CR8","unstructured":"Baier, C., Katoen, J.P., Hermanns, H.: Approximate symbolic model checking of continuous-time Markov chains."},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-54624-2_10","volume-title":"Specification, Algebra, and Software","author":"L. Belzner","year":"2014","unstructured":"Belzner, L., De Nicola, R., Vandin, A., Wirsing, M.: Reasoning (on) service component ensembles in rewriting logic. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol.\u00a08373, pp. 188\u2013211. Springer, Heidelberg (2014)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-34005-5_7","volume-title":"Rewriting Logic and Its Applications","author":"R. Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Modelling and analyzing adaptive self-assembly strategies with Maude. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol.\u00a07571, pp. 118\u2013138. Springer, Heidelberg (2012)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-37635-1_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"R. Bruni","year":"2013","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Adaptable transition systems. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol.\u00a07841, pp. 95\u2013110. Springer, Heidelberg (2013)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-642-28872-2_17","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol.\u00a07212, pp. 240\u2013254. Springer, Heidelberg (2012)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Modelling and analyzing adaptive self-assembly strategies with Maude. Science of Computer Programming (2013)","DOI":"10.1007\/978-3-642-34005-5_7"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-319-16310-9_2","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R. Bruni","year":"2015","unstructured":"Bruni, R., Montanari, U., Sammartino, M.: Reconfigurable and Software-Defined Networks of Connectors and Components. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 73\u2013106. Springer, Heidelberg (2015)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Bulej, L., Bures, T., Horky, V., Keznikl, J., Tuma, P.: Performance awareness in component systems: Vision paper. COMPSAC \u201912 (2012)","DOI":"10.1109\/COMPSACW.2012.96"},{"key":"13_CR16","unstructured":"Bures, T., Gerostathopoulos, I., Horky, V., Keznikl, J., Kofron, J., Loreti, M., Plasil, F.: Language extensions for implementation-level conformance checking. ASCENS Deliverable D1.5 (2012)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-13414-2_9","volume-title":"Coordination Models and Languages","author":"F. Calzolai","year":"2010","unstructured":"Calzolai, F., Loreti, M.: Simulation and analysis of distributed systems in Klaim. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol.\u00a06116, pp. 122\u2013136. Springer, Heidelberg (2010)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Castro, M., Druschel, P., Kermarrec, A.M., Rowstron, A.I.: SCRIBE: A large-scale and decentralized application-level multicast infrastructure. IEEE Journal on Selected Areas in Communications\u00a020(8) (2002)","DOI":"10.1109\/JSAC.2002.803069"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-319-16310-9_3","volume-title":"Software Engineering for Collective Autonomic Systems","author":"J. Combaz","year":"2015","unstructured":"Combaz, J., Bensalem, S., Tiezzi, F., Margheri, A., Pugliese, R., Kofron, J.: Correctness of Service Components and Service Component Ensembles. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 107\u2013159. Springer, Heidelberg (2015)"},{"key":"13_CR21","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: Languages primitives for coordination, resource negotiation, and task description. ASCENS Deliverable D1.1 (September 2011), \n                    \n                      http:\/\/rap.dsi.unifi.it\/scel\/"},{"key":"13_CR22","unstructured":"De Nicola, R., Katoen, J.P., Latella, D., Loreti, M., Massink, M.: Klaim and its stochastic semantics. Tech. rep., Dipartimento di Sistemi e Informatica, Universit\u00e0 di Firenze (2006), \n                    \n                      http:\/\/rap.dsi.unifi.it\/~loreti\/papers\/TR062006.pdf"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Katoen, J.P., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theoretical Computer Science\u00a0382(1) (2007)","DOI":"10.1016\/j.tcs.2007.05.008"},{"key":"13_CR24","unstructured":"Foundation for Intelligent Physical Agents: FIPA contract net interaction protocol specification (March 2013), \n                    \n                      http:\/\/www.fipa.org\/specs\/fipa00029\/SC00029H.html"},{"key":"13_CR25","unstructured":"GNU compiler collection, \n                    \n                      http:\/\/gcc.gnu.org\/"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Younes, H., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. International Journal on Software Tools for Technology Transfer\u00a08(3) (June 2006)","DOI":"10.1007\/s10009-005-0187-8"},{"key":"13_CR27","series-title":"Manning Pubs Co Series","volume-title":"Osgi in Action: Creating Modular Applications in Java","author":"R. Hall","year":"2011","unstructured":"Hall, R., Pauls, K., McCulloch, S., Savage, D.: Osgi in Action: Creating Modular Applications in Java. Manning Pubs Co Series. Manning Publications (2011)"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/978-3-319-16310-9_17","volume-title":"Software Engineering for Collective Autonomic Systems","author":"N. Hoch","year":"2015","unstructured":"Hoch, N., Bensler, H.-P., Abeywickrama, D., Bure\u0161, T., Montanari, U.: The E-mobility Case Study. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 513\u2013533. Springer, Heidelberg (2015)"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-319-16310-9_7","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Gabor, T.: Reasoning and Learning for Awareness and Adaptation. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 249\u2013290. Springer, Heidelberg (2015)"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-319-16310-9_9","volume-title":"Software Engineering for Collective Autonomic Systems","author":"M. H\u00f6lzl","year":"2015","unstructured":"H\u00f6lzl, M., Koch, N., Puviani, M., Wirsing, M., Zambonelli, F.: The Ensemble Development Life Cycle and Best Practices for Collective Autonomic\u00a0Systems. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 325\u2013354. Springer, Heidelberg (2015)"},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"A. Klarl","year":"2014","unstructured":"Klarl, A., Mayer, P., Hennicker, R.: Helena@work: Modeling the science cloud platform. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol.\u00a08802, Springer, Heidelberg (2014)"},{"key":"13_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05119-2_17","volume-title":"Trustworthy Global Computing","author":"D. Latella","year":"2014","unstructured":"Latella, D., Loreti, M., Massink, M.: On-the-fly fast mean-field model-checking. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol.\u00a08358, Springer, Heidelberg (2014)"},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Latella, D., Loreti, M., Massink, M.: On-the-fly fast mean-field model-checking: Extended version. CoRR abs\/1312.3416 (2013)","DOI":"10.1007\/978-3-319-05119-2_17"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Latella, D., Loreti, M., Massink, M.: On-the-fly probabilistic model checking. In: Lanese, I., Lluch-Lafuente, A., Sokolova, A., Vieira, H.T. (eds.) Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS, vol. 166 (2014)","DOI":"10.4204\/EPTCS.166.0"},{"key":"13_CR35","volume-title":"AOSD \u201912: Proceedings of the 11th International Conference on Aspect-Oriented Software Development","author":"L. Marek","year":"2012","unstructured":"Marek, L., Villaz\u00f3n, A., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z.: DiSL: a domain-specific language for bytecode instrumentation. In: AOSD \u201912: Proceedings of the 11th International Conference on Aspect-Oriented Software Development (2012)"},{"key":"13_CR36","volume-title":"Proc. 7th Workshop on Domain-Specific Aspect Languages (DSAL \u201912)","author":"L. Marek","year":"2012","unstructured":"Marek, L., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z., Tuma, P.: DiSL: An extensible language for efficient and comprehensive dynamic program analysis. In: Proc. 7th Workshop on Domain-Specific Aspect Languages (DSAL \u201912), ACM Press, New York (2012)"},{"key":"13_CR37","unstructured":"Margheri, A., Masi, M., Pugliese, R., Tiezzi, F.: A formal software engineering approach to policy-based access control. Tech. rep., DiSIA, Univ. Firenze (2013), \n                    \n                      http:\/\/rap.dsi.unifi.it\/facpl\/research\/Facpl-TR.pdf"},{"key":"13_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/978-3-319-16310-9_16","volume-title":"Software Engineering for Collective Autonomic Systems","author":"P. Mayer","year":"2015","unstructured":"Mayer, P., Velasco, J., Klarl, A., Hennicker, R., Puviani, M., Tiezzi, F., Pugliese, R., Keznikl, J., Bure\u0161, T.: The Autonomic Cloud. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 495\u2013512. Springer, Heidelberg (2015)"},{"key":"13_CR39","unstructured":"Modelling, M.S., Lucca, A.I.: Maude ensemble strategies simulator and inquirer, \n                    \n                      http:\/\/sysma.lab.imtlucca.it\/tools\/ensembles\/"},{"key":"13_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-35887-6_2","volume-title":"Formal Methods for Components and Objects","author":"R. Nicola De","year":"2013","unstructured":"De Nicola, R., Ferrari, G.-L., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol.\u00a07542, pp. 25\u201348. Springer, Heidelberg (2013)"},{"key":"13_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-16310-9_1","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R. Nicola De","year":"2015","unstructured":"De Nicola, R., Latella, D., Lafuente, A.L., Loreti, M., Margheri, A., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., Vandin, A.: The SCEL Language: Design, Implementation, Verification. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 3\u201371. Springer, Heidelberg (2015)"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"O\u2019Grady, R., Gro\u00df, R., Christensen, A.L., Dorigo, M.: Self-assembly strategies in a group of autonomous mobile robots. Autonomous Robots\u00a028(4) (2010)","DOI":"10.1007\/s10514-010-9177-0"},{"key":"13_CR43","unstructured":"Oracle: java.lang.instrument (Java platform, standard edition 6, API specification) (2012), \n                    \n                      http:\/\/docs.oracle.com\/javase\/6\/docs\/api\/java\/lang\/instrument\/package-summary.html"},{"key":"13_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-3-319-16310-9_15","volume-title":"Software Engineering for Collective Autonomic Systems","author":"C. Pinciroli","year":"2015","unstructured":"Pinciroli, C., Bonani, M., Mondada, F., Dorigo, M.: Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 471\u2013494. Springer, Heidelberg (2015)"},{"issue":"4","key":"13_CR45","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s11721-012-0072-5","volume":"6","author":"C. Pinciroli","year":"2012","unstructured":"Pinciroli, C., Trianni, V., O\u2019Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Di Caro, G., Ducatelle, F., Birattari, M., Gambardella, L.M., Dorigo, M.: ARGoS: a modular, parallel, multi-engine simulator for multi-robot systems. Swarm Intelligence\u00a06(4), 271\u2013295 (2012)","journal-title":"Swarm Intelligence"},{"key":"13_CR46","unstructured":"Information technology - portable operating system interface (POSIX). ISO\/IEC\/IEEE 9945 (First edition 2009-09-15) (2009)"},{"key":"13_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/978-3-642-15640-3_22","volume-title":"Trustworthy Global Computing","author":"P. Quaglia","year":"2010","unstructured":"Quaglia, P., Schivo, S.: Approximate model checking of stochastic COWS. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010. LNCS, vol.\u00a06084, pp. 335\u2013347. Springer, Heidelberg (2010)"},{"key":"13_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/3-540-45518-3_18","volume-title":"Middleware 2001","author":"A. Rowstron","year":"2001","unstructured":"Rowstron, A., Druschel, P.: Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems. In: Guerraoui, R. (ed.) Middleware 2001. LNCS, vol.\u00a02218, p. 329. Springer, Heidelberg (2001)"},{"key":"13_CR49","volume-title":"ACM SIGOPS Operating Systems Review, vol. 35","author":"A. Rowstron","year":"2001","unstructured":"Rowstron, A., Druschel, P.: Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility. In: ACM SIGOPS Operating Systems Review, vol. 35, ACM Press, New York (2001)"},{"key":"13_CR50","unstructured":"Sebastio, S., Vandin, A.: MultiVeStA: Statistical model checking for discrete event simulators, submitted., \n                    \n                      http:\/\/eprints.imtlucca.it\/1798"},{"key":"13_CR51","volume-title":"QEST 2005","author":"K. Sen","year":"2005","unstructured":"Sen, K., Viswanathan, M., Agha, G.A.: VESTA: A statistical model-checker and analyzer for probabilistic systems. In: Baier, C., Chiola, G., Smirni, E. (eds.) QEST 2005, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"13_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/978-3-319-16310-9_14","volume-title":"Software Engineering for Collective Autonomic Systems","author":"N. \u0160erbed\u017eija","year":"2015","unstructured":"\u0160erbed\u017eija, N.: The ASCENS Case Studies: Results and Common Aspects. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 451\u2013469. Springer, Heidelberg (2015)"},{"key":"13_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-3-319-16310-9_6","volume-title":"Software Engineering for Collective Autonomic Systems","author":"E. Vassev","year":"2015","unstructured":"Vassev, E., Hinchey, M.: Knowledge Representation for Adaptive and Self-aware Systems. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol.\u00a08998, pp. 221\u2013247. Springer, Heidelberg (2015)"},{"key":"13_CR54","unstructured":"Zimory Software: Zimory cloud suite. (August 2014), \n                    \n                      http:\/\/www.zimory.com\/"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Collective Autonomic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16310-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T08:45:25Z","timestamp":1559119525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-16310-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319163093","9783319163109"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16310-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}