{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T02:09:19Z","timestamp":1783130959975,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,28]],"date-time":"2018-06-28T00:00:00Z","timestamp":1530144000000},"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":[[2018,6,28]]},"DOI":"10.1145\/3210459.3210463","type":"proceedings-article","created":{"date-parts":[[2018,6,27]],"date-time":"2018-06-27T12:22:47Z","timestamp":1530102167000},"page":"35-45","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["On Different Search Methods for Systematic Literature Reviews and Maps"],"prefix":"10.1145","author":[{"given":"Jennifer","family":"Brings","sequence":"first","affiliation":[{"name":"University of Duisburg-Essen, paluno -- The Ruhr Institute for Software Technology, Essen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marian","family":"Daun","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen, paluno -- The Ruhr Institute for Software Technology, Essen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Markus","family":"Kempe","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen, paluno -- The Ruhr Institute for Software Technology, Essen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thorsten","family":"Weyer","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen, paluno -- The Ruhr Institute for Software Technology, Essen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,6,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"4th IEEE International Symposium on Requirements Engineering, RE'99","author":"Amyot D.","year":"1999","unstructured":"Amyot , D. , Logrippo , L. , Buhr , R.J.A. and Gray , T . 1999. Use case maps for the capture and validation of distributed systems requirements . 4th IEEE International Symposium on Requirements Engineering, RE'99 ( Limerick, Ireland , 1999 ), 44--53. Amyot, D., Logrippo, L., Buhr, R.J.A. and Gray, T. 1999. Use case maps for the capture and validation of distributed systems requirements. 4th IEEE International Symposium on Requirements Engineering, RE'99 (Limerick, Ireland, 1999), 44--53."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745802.2745818"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/cplx.20029"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2014.30"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_13"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_8_1","volume-title":"INES 2013 - IEEE 17th International Conference on Intelligent Engineering Systems","author":"Fard F.H.","year":"2013","unstructured":"Fard , F.H. and Far , B.H . 2013. Detection and verification of a new type of emergent behavior in multiagent systems . INES 2013 - IEEE 17th International Conference on Intelligent Engineering Systems , Proceedings ( 2013 ), 125--130. Fard, F.H. and Far, B.H. 2013. Detection and verification of a new type of emergent behavior in multiagent systems. INES 2013 - IEEE 17th International Conference on Intelligent Engineering Systems, Proceedings (2013), 125--130."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2492517.2492587"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2961111.2962630"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786833"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings - Winter Simulation Conference","author":"Gore R.","year":"2008","unstructured":"Gore , R. and Reynolds , P.F . 2008. Applying causal inference to understand emergent behavior . Proceedings - Winter Simulation Conference ( 2008 ), 712--721. Gore, R. and Reynolds, P.F. 2008. Applying causal inference to understand emergent behavior. Proceedings - Winter Simulation Conference (2008), 712--721."},{"key":"e_1_3_2_1_13_1","volume-title":"Validating emergent behaviors in systems-of-systems through model transformations. 2016 ACM Student Research Competition at MODELS","author":"Graciano Neto V.V.","year":"2016","unstructured":"Graciano Neto , V.V. 2016. Validating emergent behaviors in systems-of-systems through model transformations. 2016 ACM Student Research Competition at MODELS 2016 , ACM SRC at MODELS 2016 (2016). Graciano Neto, V.V. 2016. Validating emergent behaviors in systems-of-systems through model transformations. 2016 ACM Student Research Competition at MODELS 2016, ACM SRC at MODELS 2016 (2016)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1136\/bmj.38636.593461.68"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693148"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Horsley T. Dingwall O. Tetzlaff J.M. and Sampson M. 2009. Checking reference lists to find additional studies for systematic reviews. Cochrane Database of Systematic Reviews. The Cochrane Collaboration ed. John Wiley & Sons Ltd.  Horsley T. Dingwall O. Tetzlaff J.M. and Sampson M. 2009. Checking reference lists to find additional studies for systematic reviews. Cochrane Database of Systematic Reviews. The Cochrane Collaboration ed. John Wiley & Sons Ltd.","DOI":"10.1002\/14651858.MR000026"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2372251.2372257"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2013.07.010"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1049\/ic.2011.0006"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2009.5314238"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-010-9134-8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Kitchenham B.A. Budgen D. and Brereton P. 2016. Evidence-based software engineering and systematic reviews. Chapman & Hall.   Kitchenham B.A. Budgen D. and Brereton P. 2016. Evidence-based software engineering and systematic reviews. Chapman & Hall.","DOI":"10.1201\/b19467"},{"key":"e_1_3_2_1_23_1","unstructured":"Kitchenham B.A. and Charters S. 2007. Guidelines for performing systematic literature reviews in software engineering. School of Computer Science and Mathematics Keele University.  Kitchenham B.A. and Charters S. 2007. Guidelines for performing systematic literature reviews in software engineering. School of Computer Science and Mathematics Keele University."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34487-9_65"},{"key":"e_1_3_2_1_25_1","volume-title":"10th International Conference on Intelligent Autonomous Systems, IAS 2008","author":"Kobayashi K.","year":"2008","unstructured":"Kobayashi , K. , Ueda , R. and Arai , T . 2008. Cooperative behavior of multiple robots by chain of monolithic policies for two robots . 10th International Conference on Intelligent Autonomous Systems, IAS 2008 ( 2008 ), 202--210. Kobayashi, K., Ueda, R. and Arai, T. 2008. Cooperative behavior of multiple robots by chain of monolithic policies for two robots. 10th International Conference on Intelligent Autonomous Systems, IAS 2008 (2008), 202--210."},{"key":"e_1_3_2_1_26_1","volume-title":"24th International Joint Conference on Artificial Intelligence, IJCAI 2015","author":"Kouvaros P.","year":"2015","unstructured":"Kouvaros , P. and Lomuscio , A . 2015. Verifying emergent properties of swarms . 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 ( 2015 ), 1083--1089. Kouvaros, P. and Lomuscio, A. 2015. Verifying emergent properties of swarms. 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (2015), 1083--1089."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9492-y"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_55"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.28"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.28"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2010.29"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.03.007"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(00)00018-6"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.12.010"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018410.1018811"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Ren G. Deng P. and Yang C. 2017. A 3-layer method for analysis of cooperative behaviors of physical devices in cyber-physical systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2017) 741--754.  Ren G. Deng P. and Yang C. 2017. A 3-layer method for analysis of cooperative behaviors of physical devices in cyber-physical systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2017) 741--754.","DOI":"10.1007\/978-3-319-60033-8_63"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Ren G. Hua Q. Deng P. Yang C. and Zhang J. 2017. A Multi-Perspective Method for Analysis of Cooperative Behaviors among Industrial Devices of Smart Factory. IEEE Access. 5 (2017) 10882--10891.  Ren G. Hua Q. Deng P. Yang C. and Zhang J. 2017. A Multi-Perspective Method for Analysis of Cooperative Behaviors among Industrial Devices of Smart Factory. IEEE Access. 5 (2017) 10882--10891.","DOI":"10.1109\/ACCESS.2017.2708127"},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering","author":"Skoglund M.","year":"2009","unstructured":"Skoglund , M. and Runeson , P . 2009. Reference-based Search Strategies in Systematic Reviews . Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering ( Swindon, UK , 2009 ), 31--40. Skoglund, M. and Runeson, P. 2009. Reference-based Search Strategies in Systematic Reviews. Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering (Swindon, UK, 2009), 31--40."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00025-9"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486092.2486123"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.21"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-005-0021-6"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5772\/5769"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601248.2601268"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.04.076"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544965"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.12.010"}],"event":{"name":"EASE'18: 22nd International Conference on Evaluation and Assessment in Software Engineering 2018","location":"Christchurch New Zealand","acronym":"EASE'18","sponsor":["The University of Canterbury"]},"container-title":["Proceedings of the 22nd International Conference on Evaluation and Assessment in Software Engineering 2018"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3210459.3210463","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3210459.3210463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:21Z","timestamp":1750210761000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3210459.3210463"}},"subtitle":["Experiences from a Literature Search on Validation and Verification of Emergent Behavior"],"short-title":[],"issued":{"date-parts":[[2018,6,28]]},"references-count":48,"alternative-id":["10.1145\/3210459.3210463","10.1145\/3210459"],"URL":"https:\/\/doi.org\/10.1145\/3210459.3210463","relation":{},"subject":[],"published":{"date-parts":[[2018,6,28]]},"assertion":[{"value":"2018-06-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}