{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:09:10Z","timestamp":1743120550578,"version":"3.40.3"},"publisher-location":"Cham","reference-count":57,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030034238"},{"type":"electronic","value":"9783030034245"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03424-5_8","type":"book-chapter","created":{"date-parts":[[2018,10,30]],"date-time":"2018-10-30T13:58:12Z","timestamp":1540907892000},"page":"109-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Meaning of Adaptation: Mastering the Unforeseen?"],"prefix":"10.1007","author":[{"given":"Stefan","family":"J\u00e4hnichen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,31]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","year":"2016","unstructured":"Margaria, T., Steffen, B. (eds.): ISoLA 2016, Part I. LNCS, vol. 9952. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2"},{"doi-asserted-by":"crossref","unstructured":"J\u00e4hnichen, S., Wirsing, M.: Adaptation to the unforeseen: do we master our autonomous systems? Questions to the panel \u2013 panel introduction. In: [1], pp. 639\u2013641 (2016)","key":"8_CR2","DOI":"10.1007\/978-3-319-47166-2_44"},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/PROC.1963.1852","volume":"51","author":"LA Zadeh","year":"1963","unstructured":"Zadeh, L.A.: On the definition of adaptivity. Proc. IEEE 51(3), 469\u2013470 (1963)","journal-title":"Proc. IEEE"},{"doi-asserted-by":"crossref","unstructured":"Bruni, R., et al.: Reconciling white-box and black-box perspectives on behavioral self-adaptation. In: [47], pp. 163\u2013184 (2015)","key":"8_CR4","DOI":"10.1007\/978-3-319-16310-9_4"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 241\u2013261. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24933-4_12"},{"doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Bicocchi, N., Zambonelli, F.: SOTA: towards a general model for self-adaptive systems. In: Reddy, S., Drira, K. (eds.) WETICE 2012, pp. 48\u201353. IEEE Computer Society Press (2012)","key":"8_CR6","DOI":"10.1109\/WETICE.2012.48"},{"unstructured":"Anderson, S., Bredeche, N., Eiben, A.E., van Steen, M.: Adaptive Collective Systems \u2013 Herding black sheep. BookSprints for ICT Research (2013)","key":"8_CR7"},{"key":"8_CR8","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.) FASE 2012. LNCS, vol. 7212, pp. 240\u2013254. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28872-2_17"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89437-7_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 and New Computing Paradigms. LNCS, vol. 5380, pp. 1\u201344. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89437-7_1"},{"unstructured":"Kernbach, S., Schmickl, T., Timmis, J.: Collective adaptive systems: challenges beyond evolvability. CoRR abs\/1108.5643 (2011)","key":"8_CR10"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35887-6_1","volume-title":"Formal Methods for Components and Objects","author":"M Wirsing","year":"2013","unstructured":"Wirsing, M., H\u00f6lzl, M., Tribastone, M., Zambonelli, F.: ASCENS: engineering autonomic service-component ensembles. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 1\u201324. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35887-6_1"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35813-5_1","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"R de Lemos","year":"2013","unstructured":"de Lemos, R., et al.: Software engineering for self-adaptive systems: a second research roadmap. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 1\u201332. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_1"},{"unstructured":"Hillston, J., Pitt, J., Wirsing, M., Zambonelli, F.: Collective adaptive systems: qualitative and quantitative modelling and analysis (Dagstuhl seminar 14512). In: Dagstuhl Reports 4, Schloss Dagstuhl Leibniz-Zentrum f\u00fcr Informatik (2015)","key":"8_CR13"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-319-46508-1_10","volume-title":"Transactions on Foundations for Mastering Change I","author":"L Belzner","year":"2016","unstructured":"Belzner, L., H\u00f6lzl, M., Koch, N., Wirsing, M.: Collective autonomic systems: towards engineering principles and their foundations. In: Steffen, B. (ed.) Transactions on Foundations for Mastering Change I. LNCS, vol. 9960, pp. 180\u2013200. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46508-1_10"},{"doi-asserted-by":"crossref","unstructured":"Maggi, A., Sifakis, J., De Nicola, R.: DReAM: dynamic reconfigurable architecture modeling. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 13\u201331. Springer, Cham (2018)","key":"8_CR15","DOI":"10.1007\/978-3-030-03424-5_2"},{"doi-asserted-by":"crossref","unstructured":"El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Four exercises in programming dynamic reconfigurable systems: methodology and solution in DR-BIP. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 304\u2013320. Springer, Cham (2018)","key":"8_CR16","DOI":"10.1007\/978-3-030-03424-5_20"},{"doi-asserted-by":"crossref","unstructured":"Dragomir, I., Iosti, S., Bozga, M., Bensalem, S.: Designing systems with detection and reconfiguration capabilities: a formal approach. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 155\u2013171. Springer, Cham (2018)","key":"8_CR17","DOI":"10.1007\/978-3-030-03424-5_11"},{"doi-asserted-by":"crossref","unstructured":"Eberhardinger, B., Ponsar, H., Klumpp, D., Reif, W.: Measuring and evaluating the performance of self-organization mechanisms within collective adaptive systems. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 202\u2013220. Springer, Cham (2018)","key":"8_CR18","DOI":"10.1007\/978-3-030-03424-5_14"},{"doi-asserted-by":"crossref","unstructured":"Abd Alrahman, Y., De Nicola, R., Garbi, G.: GoAt: attribute-based interaction in Google Go. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 288\u2013303. Springer, Cham (2018)","key":"8_CR19","DOI":"10.1007\/978-3-030-03424-5_19"},{"unstructured":"Kilian, C.: Modern Control Technology. Thompson Delmar Learning (2005)","key":"8_CR20"},{"key":"8_CR21","doi-asserted-by":"publisher","DOI":"10.7312\/kell16856","volume-title":"Smart Machines: IBM\u2019s Watson and the Era of Cognitive Computing","author":"J Kelly III","year":"2013","unstructured":"Kelly III, J., Hamm, S.: Smart Machines: IBM\u2019s Watson and the Era of Cognitive Computing. Columbia University Press, New York City (2013)"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1038\/nature16961","volume":"529","author":"D Silver","year":"2016","unstructured":"Silver, D., et al.: Mastering the game of Go with deep neural networks and tree search. Nature 529, 484\u2013489 (2016)","journal-title":"Nature"},{"doi-asserted-by":"crossref","unstructured":"Cardoso, R.P., Rossetti, R.J.F., Hart, E., Burth Kurka, D., Pitt, J.: Engineering sustainable and adaptive systems in dynamic and unpredictable environments. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 221\u2013240. Springer, Cham (2018)","key":"8_CR23","DOI":"10.1007\/978-3-030-03424-5_15"},{"doi-asserted-by":"crossref","unstructured":"Belzner, L., Schmid, K., Phan, T., Gabor, T., Wirsing, M.: The Sharer\u2019s dilemma in collective adaptive systems of self-interested agents. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 241\u2013256. Springer, Cham (2018)","key":"8_CR24","DOI":"10.1007\/978-3-030-03424-5_16"},{"doi-asserted-by":"crossref","unstructured":"Ben Mahfoudh, H., Di Marzo Serugendo, G., Boulmier, A., Abdennadher, N.: Coordination model with reinforcement learning for ensuring reliable on-demand services in collective adaptive systems. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 257\u2013273. Springer, Cham (2018)","key":"8_CR25","DOI":"10.1007\/978-3-030-03424-5_17"},{"doi-asserted-by":"crossref","unstructured":"Nguyen, A., Yosinski, J., Clune, J.: Deep neural networks are easily fooled: high confidence predictions for unrecognizable images. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2015), 10 p. (2015)","key":"8_CR26","DOI":"10.1109\/CVPR.2015.7298640"},{"unstructured":"Amodei, D., Olah, C., Steinhardt, J., Christiano, P., Schulman, J., Man\u00e9, D.: Concrete problems in AI safety. CoRR abs\/1606.06565 (2016)","key":"8_CR27"},{"doi-asserted-by":"crossref","unstructured":"Di Marzo Serugendo, G.: Engineering adaptivity, universal autonomous systems, ethics and compliance issues. In: [1], pp. 714\u2013719 (2016)","key":"8_CR28","DOI":"10.1007\/978-3-319-47166-2_50"},{"doi-asserted-by":"crossref","unstructured":"Vassev, E.: Safe artificial intelligence and formal methods. In: [1], pp. 704\u2013713 (2016)","key":"8_CR29","DOI":"10.1007\/978-3-319-47166-2_49"},{"key":"8_CR30","volume-title":"The Singularity is Near","author":"R Kurzweil","year":"2005","unstructured":"Kurzweil, R.: The Singularity is Near. Penguin Group, New York (2005)"},{"key":"8_CR31","volume-title":"Superintelligence: Paths, Dangers, Strategies","author":"N Bostrom","year":"2014","unstructured":"Bostrom, N.: Superintelligence: Paths, Dangers, Strategies. Oxford University Press, Oxford (2014)"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-35813-5_10","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"P Inverardi","year":"2013","unstructured":"Inverardi, P., Mori, M.: A software lifecycle process to support consistent evolutions. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 239\u2013264. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_10"},{"doi-asserted-by":"crossref","unstructured":"H\u00f6lzl, M., Koch, N., Puviani, M., Wirsing, M., Zambonelli, F.: The ensemble development life cycle and best practises for collective autonomic systems. In: [47], pp. 325\u2013354 (2015)","key":"8_CR33","DOI":"10.1007\/978-3-319-16310-9_9"},{"doi-asserted-by":"crossref","unstructured":"Gabor, T., et al.: Adapting quality assurance to adaptive systems: the scenario coevolution paradigm. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 137\u2013154. Springer, Cham (2018)","key":"8_CR34","DOI":"10.1007\/978-3-030-03424-5_10"},{"doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Mamei, M., Zambonelli, F.: Engineering collectives of self-driving vehicles: the SOTA approach. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 79\u201393. Springer, Cham (2018)","key":"8_CR35","DOI":"10.1007\/978-3-030-03424-5_6"},{"issue":"4","key":"8_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2382570.2382575","volume":"7","author":"J Pitt","year":"2012","unstructured":"Pitt, J., Schaumeier, J., Artikis, A.: Axiomatization of socio-economic principles for self-organizing institutions. ACM Trans. Auton. Adapt. Syst. 7(4), 1\u201339 (2012)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"doi-asserted-by":"crossref","unstructured":"Hennicker, R., Wirsing, M.: Dynamic logic for ensembles. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 32\u201347. Springer, Cham (2018)","key":"8_CR37","DOI":"10.1007\/978-3-030-03424-5_3"},{"doi-asserted-by":"crossref","unstructured":"S\u00fcrmeli, J., J\u00e4hnichen, S., Sanders, J.W.: Modelling the transition to distributed ledgers. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 48\u201362. Springer, Cham (2018)","key":"8_CR38","DOI":"10.1007\/978-3-030-03424-5_4"},{"unstructured":"IBM Corporation: An architectural blueprint for autonomic computing. Technical report, IBM (2005)","key":"8_CR39"},{"doi-asserted-by":"crossref","unstructured":"Pitt, J., et al.: A collective adaptive socio-technical system for remote- and self-supervised exercise in the treatment of intermittent claudication. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 63\u201378. Springer, Cham (2018)","key":"8_CR40","DOI":"10.1007\/978-3-030-03424-5_5"},{"doi-asserted-by":"crossref","unstructured":"Wanninger, C., Eym\u00fcller, C., Hoffmann, A, Kosak, O., Reif, W.: Synthesizing capabilities for collective adaptive systems from self-descriptive hardware devices \u2013 bridging the reality gap. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 94\u2013108. Springer, Cham (2018)","key":"8_CR41","DOI":"10.1007\/978-3-030-03424-5_7"},{"doi-asserted-by":"crossref","unstructured":"Combaz, J., Bensalem, S., Tiezzi, F., Margheri, A., Pugliese, R., Kofro\u0148, J.: Correctness of service components and service component ensembles. In: [47], pp. 107\u2013159 (2015)","key":"8_CR42","DOI":"10.1007\/978-3-319-16310-9_3"},{"doi-asserted-by":"crossref","unstructured":"Tognazzi, S., Tribastone, M., Tschaikowski, M., Vandin, A.: Differential equivalence yields network centrality. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 186\u2013201. Springer, Cham (2018)","key":"8_CR43","DOI":"10.1007\/978-3-030-03424-5_13"},{"doi-asserted-by":"crossref","unstructured":"Zon, N., Gilmore, S.: Data-driven modelling and simulation of urban transportation systems using Carma. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 274\u2013287. Springer, Cham (2018)","key":"8_CR44","DOI":"10.1007\/978-3-030-03424-5_18"},{"doi-asserted-by":"crossref","unstructured":"Reichstaller, A., Gabor, T., Knapp, A.: Mutation-based test suite evolution for self-organizing systems. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 118\u2013136. Springer, Cham (2018)","key":"8_CR45","DOI":"10.1007\/978-3-030-03424-5_9"},{"doi-asserted-by":"crossref","unstructured":"Al Ali, R., Bure\u0161, T., Hnetynka, P., Krijt, F., Pl\u00e1\u0161il, F., Vin\u00e1rek, J.: Dynamic security specification through autonomic component ensembles. In: Gruschka, N. (ed.) NordSec 2018. LNCS, vol. 11252, pp. 172\u2013185. Springer, Cham (2018)","key":"8_CR46","DOI":"10.1007\/978-3-030-03424-5_12"},{"key":"8_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16310-9","volume-title":"Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project","year":"2015","unstructured":"Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project. LNCS, vol. 8998. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9"},{"unstructured":"Gartner: Top 10 Strategic Technology Trends for 2017. Gartner, Inc. (2016)","key":"8_CR48"},{"issue":"5","key":"8_CR49","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/3191513","volume":"61","author":"T Mitchell","year":"2018","unstructured":"Mitchell, T., et al.: Never-ending learning. Commun. ACM 61(5), 103\u2013115 (2018)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"G\u00fcdemann, M., Nafz, F., Ortmeier, F., Seebach, H., Reif, W.: A specification and construction paradigm for organic computing systems. In: Proceedings of the 2nd International Conference on Self-Adaptive and Self-Organizing Systems, pp. 233\u2013242. IEEE (2008)","key":"8_CR50","DOI":"10.1109\/SASO.2008.66"},{"unstructured":"Badica, C., Brezovan, M., B\u01cedic\u01ce, A.: An overview of smart home environments: architectures, technologies and applications. CEUR Workshop Proceedings, vol. 1036, pp. 78\u201385 (2013)","key":"8_CR51"},{"unstructured":"International Association of Public Transport: World report on metro automation. UITP, July 2016","key":"8_CR52"},{"doi-asserted-by":"crossref","unstructured":"Koopman, P., Wagner, M.: Challenges in autonomous vehicle testing and validation. In: 2016 SAE World Congress (2016)","key":"8_CR53","DOI":"10.4271\/2016-01-0128"},{"unstructured":"Kwiatkowska, M.: Model checking and strategy synthesis for stochastic games: from theory to practice. In: ICALP 2016, Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik 2016. LIPIcs, vol. 55, pp. 4:1\u20134:18 (2016)","key":"8_CR54"},{"key":"8_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-63387-9_1","volume-title":"Computer Aided Verification","author":"X Huang","year":"2017","unstructured":"Huang, X., Kwiatkowska, M., Wang, S., Wu, M.: Safety verification of deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017, Part I. LNCS, vol. 10426, pp. 3\u201329. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_1"},{"doi-asserted-by":"publisher","unstructured":"Taeihagh, A., Min Lim, H.S.: Governing autonomous vehicles: emerging responses for safety, liability, privacy, cybersecurity, and industry risks. Transp. Rev., 26 (2018). https:\/\/doi.org\/10.1080\/01441647.2018.1494640","key":"8_CR56","DOI":"10.1080\/01441647.2018.1494640"},{"key":"8_CR57","first-page":"851","volume":"31","author":"JS Brodsky","year":"2016","unstructured":"Brodsky, J.S.: Autonomous vehicle regulation: how an uncertain legal landscape may hit the brakes on self-driving cars. Berkeley Tech. L. J. 31, 851\u2013879 (2016)","journal-title":"Berkeley Tech. L. J."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03424-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,29]],"date-time":"2020-12-29T12:05:18Z","timestamp":1609243518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03424-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034238","9783030034245"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03424-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"31 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"126","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}