{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T08:10:07Z","timestamp":1751703007517,"version":"3.41.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031976346","type":"print"},{"value":"9783031976353","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-97635-3_43","type":"book-chapter","created":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T07:42:11Z","timestamp":1751701331000},"page":"361-368","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reversed Model Verification by\u00a0Inferring Conceptual Models from\u00a0Simulation Code"],"prefix":"10.1007","author":[{"given":"Rumyana","family":"Neykova","sequence":"first","affiliation":[]},{"given":"Derek","family":"Groen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,7,6]]},"reference":[{"key":"43_CR1","doi-asserted-by":"publisher","unstructured":"Ali, S.J., Reinhartz-Berger, I., Bork, D.: How are LLMs used for conceptual modeling? An exploratory study on interaction behavior and user perception. In: Maass, W., Han, H., Yasar, H., Multari, N. (eds.) Conceptual Modeling, pp. 257\u2013275. Springer (2025). https:\/\/doi.org\/10.1007\/978-3-031-75872-0_14","DOI":"10.1007\/978-3-031-75872-0_14"},{"issue":"10","key":"43_CR2","doi-asserted-by":"publisher","first-page":"2415578","DOI":"10.1080\/17517575.2024.2415578","volume":"18","author":"A De Nicola","year":"2024","unstructured":"De Nicola, A., Formica, A., Mele, I., Missikoff, M., Taglino, F.: A comparative study of LLMs and NLP approaches for supporting business process analysis. Enterp. Inf. Syst. 18(10), 2415578 (2024). https:\/\/doi.org\/10.1080\/17517575.2024.2415578","journal-title":"Enterp. Inf. Syst."},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Ghorbani, M., et al.: Flee 3: flexible agent-based simulation for forced migration. J. Comput. Sci. 81, 102371 (2024)","DOI":"10.1016\/j.jocs.2024.102371"},{"key":"43_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2023.102107","volume":"72","author":"D Groen","year":"2023","unstructured":"Groen, D., Suleimenova, D., Jahani, A., Xue, Y.: Facilitating simulation development for global challenge response and anticipation in a timely way. Journal of Computational Science 72, 102107 (2023)","journal-title":"Journal of Computational Science"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"Holmberg, E.: On the clustering tendencies among the nebulae. II. A study of encounters between laboratory models of stellar systems by a new integration procedure. Astrophys. J. 94, 385 (1941)","DOI":"10.1086\/144344"},{"issue":"1","key":"43_CR6","doi-asserted-by":"publisher","first-page":"16","DOI":"10.5334\/jors.288","volume":"8","author":"JR Hussan","year":"2020","unstructured":"Hussan, J.R., Hunter, P.J.: Comfort simulator: a software tool to model thermoregulation and perception of comfort. J. Open Res. Softw. 8(1), 16 (2020). https:\/\/doi.org\/10.5334\/jors.288","journal-title":"J. Open Res. Softw."},{"key":"43_CR7","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.proeng.2011.11.2618","volume":"24","author":"J Liu","year":"2011","unstructured":"Liu, J., Yu, Y., Zhang, L., Nie, C.: An overview of conceptual model for simulation and its validation. Procedia Eng. 24, 152\u2013158 (2011)","journal-title":"Procedia Eng."},{"issue":"3\u20134","key":"43_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1002\/cav.238","volume":"19","author":"L Luo","year":"2008","unstructured":"Luo, L., et al.: Agent-based human behavior modeling for crowd simulation. Comput. Anim. Virtual Worlds 19(3\u20134), 271\u2013281 (2008). https:\/\/doi.org\/10.1002\/cav.238","journal-title":"Comput. Anim. Virtual Worlds"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Mehrab, Z., et\u00a0al.: An agent-based framework to study forced migration: a case study of Ukraine. PNAS Nexus 3(3), pgae080 (2024)","DOI":"10.1093\/pnasnexus\/pgae080"},{"key":"43_CR10","doi-asserted-by":"publisher","unstructured":"Molina, T., Ortega, J., Mu oz, J.: HELMpy, open source package of power flow solvers. J. Open Res. Softw. 9(1), 23 (2021). https:\/\/doi.org\/10.5334\/jors.310","DOI":"10.5334\/jors.310"},{"key":"43_CR11","doi-asserted-by":"publisher","unstructured":"Nam, D., Macvean, A., Hellendoorn, V., Vasilescu, B., Myers, B.: Using an LLM to help with code understanding. In: Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering, pp. 1\u201313. ACM (2024). https:\/\/doi.org\/10.1145\/3597503.3639187","DOI":"10.1145\/3597503.3639187"},{"key":"43_CR12","doi-asserted-by":"crossref","unstructured":"Robinson, S.: Conceptual modeling for simulation. In: 2013 Winter Simulations Conference (WSC), pp. 377\u2013388. IEEE (2013)","DOI":"10.1109\/WSC.2013.6721435"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Sargent, R.G.: Verification and validation of simulation models. In: Proceedings of the 2010 Winter Simulation Conference, pp. 166\u2013183. IEEE (2010)","DOI":"10.1109\/WSC.2010.5679166"},{"key":"43_CR14","doi-asserted-by":"publisher","unstructured":"Schmieschek, S., et al.: LB3D: a parallel implementation of the Lattice-Boltzmann method for simulation of interacting amphiphilic fluids. Comput. Phys. Commun. 217, 149\u2013161 (2017). https:\/\/doi.org\/10.1016\/j.cpc.2017.03.013","DOI":"10.1016\/j.cpc.2017.03.013"},{"issue":"1","key":"43_CR15","doi-asserted-by":"publisher","first-page":"13377","DOI":"10.1038\/s41598-017-13828-9","volume":"7","author":"D Suleimenova","year":"2017","unstructured":"Suleimenova, D., Bell, D., Groen, D.: A generalized simulation development approach for predicting refugee destinations. Sci. Rep. 7(1), 13377 (2017)","journal-title":"Sci. Rep."}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2025"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97635-3_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T07:42:14Z","timestamp":1751701334000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97635-3_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031976346","9783031976353"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97635-3_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"6 July 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ICCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccs-computsci2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.iccs-meeting.org\/iccs2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}