{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T17:46:44Z","timestamp":1763142404485,"version":"3.33.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:00:00Z","timestamp":1734220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:00:00Z","timestamp":1734220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,12,15]]},"DOI":"10.1109\/wsc63780.2024.10838927","type":"proceedings-article","created":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:40:24Z","timestamp":1737398424000},"page":"1657-1668","source":"Crossref","is-referenced-by-count":1,"title":["Component-Based Synthesis of Structural Variants of Simulation Models for Changeable Material Flow Systems"],"prefix":"10.1109","author":[{"given":"Jan","family":"Winkels","sequence":"first","affiliation":[{"name":"TU Dortmund University,Department of Computer Science,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"\u00d6zkul","sequence":"additional","affiliation":[{"name":"University of Kassel,Dept. Organization of Production and Factory Planning (pfp),Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robin","family":"Sutherland","sequence":"additional","affiliation":[{"name":"University of Kassel,Dept. Organization of Production and Factory Planning (pfp),Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jannik","family":"L\u00f6hn","sequence":"additional","affiliation":[{"name":"TU Dortmund University,Department of Computer Science,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sigrid","family":"Wenzel","sequence":"additional","affiliation":[{"name":"University of Kassel,Dept. Organization of Production and Factory Planning (pfp),Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob","family":"Rehof","sequence":"additional","affiliation":[{"name":"TU Dortmund University,Department of Computer Science,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139032636"},{"key":"ref2","article-title":"A type-theoretic framework for software component synthesis","author":"Bessai","year":"2019","journal-title":"TU Dortmund"},{"key":"ref3","first-page":"266","article-title":"Combinatory Process Synthesis","volume-title":"Proceedings of 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, ISoLA, Imperial, Corfu, Greece, Part I","author":"Bessai","year":"2016"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/wsc57314.2022.10015373"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3139\/104.100566"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.20.11.584"},{"key":"ref8","first-page":"479","article-title":"The formulae-as-types notion of construction","volume":"44","author":"Howard","year":"1980","journal-title":"To HB Curry: essays on combinatory logic, lambda calculus and formalism"},{"key":"ref9","first-page":"243","article-title":"Bounded Combinatory Logic","volume-title":"Computer Science Logic (CSL\u201912) - 26th International Workshop\/21st Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs)","volume":"16","author":"D\u00fcdder","year":"2012"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/wsc48552.2020.9383879"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836091"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791076"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809835"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2016.7822313"},{"volume-title":"Komponentenbasierte Synthese von Simulationsmodellen","year":"2023","author":"Kallat","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2020.03.018"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2021.11.243"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3390\/pr9081362"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1878537.1878697"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/wsc40007.2019.9004789"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/wsc57314.2022.10015425"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2015.02.069"},{"key":"ref23","first-page":"463","article-title":"Einsatz von Process-Mining zur Verifikation und Validierung von Simulationsmodellen in Produktion und Logistik","volume-title":"20. ASIM Fachtagung Simulation in Produktion und Logistik","author":"Ozkul","year":"2023"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1177\/0037549717704314"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/wsc.2008.4736258"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2019.03.022"},{"key":"ref27","article-title":"Design and synthesis from components (Dagstuhl seminar 14232)","author":"Rehof","year":"2014","journal-title":"Dagstuhl Reports"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/wsc.2018.8632515"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1080\/02286203.2023.2206075"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1515\/zwf-2024-1030"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/wsc.2015.7408371"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/wsc40007.2019.9004959"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1515\/IJMSP.2004.6.1-2.33"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/wsc40007.2019.9004710"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/wsc52266.2021.9715362"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3390\/app12167977"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3564928"}],"event":{"name":"2024 Winter Simulation Conference (WSC)","start":{"date-parts":[[2024,12,15]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2024,12,18]]}},"container-title":["2024 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10838618\/10838619\/10838927.pdf?arnumber=10838927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T06:35:00Z","timestamp":1737441300000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10838927\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,15]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/wsc63780.2024.10838927","relation":{},"subject":[],"published":{"date-parts":[[2024,12,15]]}}}