@inproceedings{47836,
  author       = {{Ködding, Patrick and Koldewey, Christian and Dumitrescu, Roman}},
  booktitle    = {{Proceedings of the XXXII ISPIM Innovation Conference}},
  title        = {{{A Reference Process Model for Scenario-based Foresight}}},
  year         = {{2023}},
}

@inbook{49368,
  author       = {{Menzefricke, Jörn Steffen and Koldewey, Christian and Dumitrescu, Roman}},
  booktitle    = {{The Digital Twin of Humans}},
  isbn         = {{9783031261039}},
  publisher    = {{Springer International Publishing}},
  title        = {{{Enhancing Risk Management for Digitalisation Projects in the Context of Socio-Technical Systems}}},
  doi          = {{10.1007/978-3-031-26104-6_3}},
  year         = {{2023}},
}

@inproceedings{48601,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>In global competition, companies are continuously searching for a competitive advantage. A growing number of companies have identified the design of their products as a major success factor. The promises for companies associated with outstanding design are extremely attractive, ranging from better customer experience to higher sales growth. But even though the advantages of design seem to be compelling, companies are still having difficulties in leveraging the benefits of design.</jats:p><jats:p>In this paper, we want to identify the underlying challenges that explain this gap. We are especially interested in the role and challenges of design in interdisciplinary product development. Therefore, we perform a literature review that clarifies terminology, analyses research approaches and identifies challenges. We determine seven key challenges for design in interdisciplinary product development. Furthermore, we observe a limited scope of research approaches in the reviewed literature. Based on these findings, we propose three further research directions to strengthen the role of design in interdisciplinary product development in the future.</jats:p>}},
  author       = {{Stöhr, Bernd and Koldewey, Christian and Dumitrescu, Roman}},
  booktitle    = {{Proceedings of the Design Society}},
  issn         = {{2732-527X}},
  pages        = {{3473--3482}},
  publisher    = {{Cambridge University Press (CUP)}},
  title        = {{{The Role of Design in interdisciplinary Product Development – Challenges, Research Approaches and Further Research needs}}},
  doi          = {{10.1017/pds.2023.348}},
  volume       = {{3}},
  year         = {{2023}},
}

@article{47850,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>The megatrend sustainability will significantly change the future value creation of manufacturing companies. Their current linear value creation models need to change to conform to the requirements of sustainability. To face the challenges the circular economy has emerged as a promising economic model. With the shift from a linear to a circular economy, companies have to adjust their current business models. However, they still lack knowledge and adequate methods to develop circular business models. Hence, the aim of the paper is a circular business model canvas (CBMC) for designing circular businesses. A systematic literature review was conducted to identify significant criteria for circular business models. The criteria were analyzed utilizing a qualitative content analysis to derive the business model elements required for the circular economy. Existing elements from the Business Model Canvas were enriched and five new elements, e.g., reverse logistics, were found. Then, the business model elements were logically arranged resulting in the CBMC. It guides companies to systematically develop business models for the circular economy. The CBMC was evaluated by applying it within a mediumsized company in the electronics sector.</jats:p>}},
  author       = {{Scholtysik, Michel and Rohde, Malte and Koldewey, Christian and Dumitrescu, Roman}},
  issn         = {{2732-527X}},
  journal      = {{Proceedings of the Design Society}},
  pages        = {{1347--1356}},
  publisher    = {{Cambridge University Press (CUP)}},
  title        = {{{Designing Business Models for a Circular Economy}}},
  doi          = {{10.1017/pds.2023.135}},
  volume       = {{3}},
  year         = {{2023}},
}

@article{47813,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>The development of modern vehicles is complex, especially regarding compliance with security and safety. ISO/SAE 21434 considers security and safety along the entire product life cycle. According to the standard, a system architecture, a risk analysis, and the application of countermeasures are carried out in the early system design. Design patterns are solutions to known design problems. Security Design Patterns (SDP) describe countermeasures and are used to reduce risk. After our literature review, we did not find a suitable approach that presents SDPs that would be applicable in early system design. In this paper, we present 10 SDPs for early system design, which we evaluated during an 11-week student project with 28 teams. We present the results of the quantitative analysis and the evaluation of the feedback.</jats:p>}},
  author       = {{Japs, Sergej and Faheem, Faizan and Anacker, Harald and Husung, Stephan and Dumitrescu, Roman}},
  issn         = {{2732-527X}},
  journal      = {{Proceedings of the Design Society}},
  pages        = {{2675--2684}},
  publisher    = {{Cambridge University Press (CUP)}},
  title        = {{{Model-based Systems Engineering using Security Design Patterns in the Context of ISO/SAE 21434}}},
  doi          = {{10.1017/pds.2023.268}},
  volume       = {{3}},
  year         = {{2023}},
}

@article{46816,
  author       = {{Torres, Adriano and Costa, Pedro and Amaral, Luis and Pastro, Jonata and Bonifácio, Rodrigo and d'Amorim, Marcelo and Legunsen, Owolabi and Bodden, Eric and Dias Canedo, Edna}},
  issn         = {{0098-5589}},
  journal      = {{IEEE Transactions on Software Engineering}},
  keywords     = {{Software}},
  number       = {{10}},
  pages        = {{4510 -- 4525}},
  publisher    = {{Institute of Electrical and Electronics Engineers (IEEE)}},
  title        = {{{Runtime Verification of Crypto APIs: An Empirical Study}}},
  doi          = {{10.1109/tse.2023.3301660}},
  volume       = {{49}},
  year         = {{2023}},
}

@article{49439,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>The use of static analysis security testing (SAST) tools has been increasing in recent years. However, previous studies have shown that, when shipped to end users such as development or security teams, the findings of these tools are often unsatisfying. Users report high numbers of false positives or long analysis times, making the tools unusable in the daily workflow. To address this, SAST tool creators provide a wide range of configuration options, such as customization of rules through domain-specific languages or specification of the application-specific analysis scope. In this paper, we study the configuration space of selected existing SAST tools when used within the integrated development environment (IDE). We focus on the configuration options that impact three dimensions, for which a trade-off is unavoidable, i.e., precision, recall, and analysis runtime. We perform a between-subjects user study with 40 users from multiple development and security teams - to our knowledge, the largest population for this kind of user study in the software engineering community. The results show that users who configure SAST tools are more effective in resolving security vulnerabilities detected by the tools than those using the default configuration. Based on post-study interviews, we identify common strategies that users have while configuring the SAST tools to provide further insights for tool creators. Finally, an evaluation of the configuration options of two commercial SAST tools, <jats:sc>Fortify</jats:sc> and <jats:sc>CheckMarx</jats:sc>, reveals that a quarter of the users do not understand the configuration options provided. The configuration options that are found most useful relate to the analysis scope.</jats:p>}},
  author       = {{Piskachev, Goran and Becker, Matthias and Bodden, Eric}},
  issn         = {{1382-3256}},
  journal      = {{Empirical Software Engineering}},
  keywords     = {{Software}},
  number       = {{5}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study}}},
  doi          = {{10.1007/s10664-023-10354-3}},
  volume       = {{28}},
  year         = {{2023}},
}

@misc{49494,
  author       = {{Nickel, Alexander}},
  title        = {{{Entwicklung und Analyse von Formeln zur Abschätzung der Renderingzeit eines Frames}}},
  year         = {{2023}},
}

@misc{49493,
  author       = {{Telaprolu, Vipasyan}},
  title        = {{{Reconstruction of 3D Surfels from Neural Radiance Fields}}},
  year         = {{2023}},
}

@misc{49492,
  author       = {{Friemel, Jonas}},
  title        = {{{Shape Reconfiguration by Hybrid Programmable Matter}}},
  year         = {{2023}},
}

@inproceedings{49361,
  author       = {{Seidenberg, Tobias and Disselkamp, Jan-Philipp and Jürgenhake, Christoph and Wicker, Ansgar and Dumitrescu, Roman and Tolo, Edmund}},
  location     = {{Edingburgh}},
  title        = {{{TCO analysis of a modular and integral product architecture in shipbuilding}}},
  doi          = {{ 10.1109/ICE/ITMC58018.2023.10332277}},
  year         = {{2023}},
}

@inproceedings{49360,
  author       = {{Disselkamp, Jan-Philipp and Seidenberg, Tobias and Jürgenhake, Christoph and Anacker, Harald and Dumitrescu, Roman}},
  location     = {{Edingburgh}},
  title        = {{{Future production of ships – case study for modular high-speed ferries}}},
  doi          = {{ 10.1109/ICE/ITMC58018.2023.10332382}},
  year         = {{2023}},
}

@article{49372,
  author       = {{Klüners, Jürgen and Wang, Jiuya}},
  issn         = {{2730-9657}},
  journal      = {{La Matematica}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Idélic Approach in Enumerating Heisenberg Extensions}}},
  doi          = {{10.1007/s44007-023-00067-w}},
  year         = {{2023}},
}

@inproceedings{48869,
  abstract     = {{Evolutionary algorithms have been shown to obtain good solutions for complex optimization problems in static and dynamic environments. It is important to understand the behaviour of evolutionary algorithms for complex optimization problems that also involve dynamic and/or stochastic components in a systematic way in order to further increase their applicability to real-world problems. We investigate the node weighted traveling salesperson problem (W-TSP), which provides an abstraction of a wide range of weighted TSP problems, in dynamic settings. In the dynamic setting of the problem, items that have to be collected as part of a TSP tour change over time. We first present a dynamic setup for the dynamic W-TSP parameterized by different types of changes that are applied to the set of items to be collected when traversing the tour. Our first experimental investigations study the impact of such changes on resulting optimized tours in order to provide structural insights of optimization solutions. Afterwards, we investigate simple mutation-based evolutionary algorithms and study the impact of the mutation operators and the use of populations with dealing with the dynamic changes to the node weights of the problem.}},
  author       = {{Bossek, Jakob and Neumann, Aneta and Neumann, Frank}},
  booktitle    = {{Proceedings of the Genetic and Evolutionary Computation Conference}},
  isbn         = {{9798400701191}},
  keywords     = {{dynamic optimization, evolutionary algorithms, re-optimization, weighted traveling salesperson problem}},
  pages        = {{248–256}},
  publisher    = {{Association for Computing Machinery}},
  title        = {{{On the Impact of Basic Mutation Operators and Populations within Evolutionary Algorithms for the Dynamic Weighted Traveling Salesperson Problem}}},
  doi          = {{10.1145/3583131.3590384}},
  year         = {{2023}},
}

@inproceedings{48872,
  abstract     = {{Quality diversity (QD) is a branch of evolutionary computation that gained increasing interest in recent years. The Map-Elites QD approach defines a feature space, i.e., a partition of the search space, and stores the best solution for each cell of this space. We study a simple QD algorithm in the context of pseudo-Boolean optimisation on the "number of ones" feature space, where the ith cell stores the best solution amongst those with a number of ones in [(i - 1)k, ik - 1]. Here k is a granularity parameter 1 {$\leq$} k {$\leq$} n+1. We give a tight bound on the expected time until all cells are covered for arbitrary fitness functions and for all k and analyse the expected optimisation time of QD on OneMax and other problems whose structure aligns favourably with the feature space. On combinatorial problems we show that QD finds a (1 - 1/e)-approximation when maximising any monotone sub-modular function with a single uniform cardinality constraint efficiently. Defining the feature space as the number of connected components of a connected graph, we show that QD finds a minimum spanning tree in expected polynomial time.}},
  author       = {{Bossek, Jakob and Sudholt, Dirk}},
  booktitle    = {{Proceedings of the Genetic and Evolutionary Computation Conference}},
  isbn         = {{9798400701191}},
  keywords     = {{quality diversity, runtime analysis}},
  pages        = {{1546–1554}},
  publisher    = {{Association for Computing Machinery}},
  title        = {{{Runtime Analysis of Quality Diversity Algorithms}}},
  doi          = {{10.1145/3583131.3590383}},
  year         = {{2023}},
}

@inproceedings{48886,
  abstract     = {{Generating new instances via evolutionary methods is commonly used to create new benchmarking data-sets, with a focus on attempting to cover an instance-space as completely as possible. Recent approaches have exploited Quality-Diversity methods to evolve sets of instances that are both diverse and discriminatory with respect to a portfolio of solvers, but these methods can be challenging when attempting to find diversity in a high-dimensional feature-space. We address this issue by training a model based on Principal Component Analysis on existing instances to create a low-dimension projection of the high-dimension feature-vectors, and then apply Novelty Search directly in the new low-dimension space. We conduct experiments to evolve diverse and discriminatory instances of Knapsack Problems, comparing the use of Novelty Search in the original feature-space to using Novelty Search in a low-dimensional projection, and repeat over a given set of dimensions. We find that the methods are complementary: if treated as an ensemble, they collectively provide increased coverage of the space. Specifically, searching for novelty in a low-dimension space contributes 56% of the filled regions of the space, while searching directly in the feature-space covers the remaining 44%.}},
  author       = {{Marrero, Alejandro and Segredo, Eduardo and Hart, Emma and Bossek, Jakob and Neumann, Aneta}},
  booktitle    = {{Proceedings of the Genetic} and Evolutionary Computation Conference}},
  isbn         = {{9798400701191}},
  keywords     = {{evolutionary computation, instance generation, instance-space analysis, knapsack problem, novelty search}},
  pages        = {{312–320}},
  publisher    = {{Association for Computing Machinery}},
  title        = {{{Generating Diverse and Discriminatory Knapsack Instances by Searching for Novelty in Variable Dimensions of Feature-Space}}},
  doi          = {{10.1145/3583131.3590504}},
  year         = {{2023}},
}

@article{48871,
  abstract     = {{Most runtime analyses of randomised search heuristics focus on the expected number of function evaluations to find a unique global optimum. We ask a fundamental question: if additional search points are declared optimal, or declared as desirable target points, do these additional optima speed up evolutionary algorithms? More formally, we analyse the expected hitting time of a target set OPT{$\cup$}S where S is a set of non-optimal search points and OPT is the set of optima and compare it to the expected hitting time of OPT. We show that the answer to our question depends on the number and placement of search points in S. For all black-box algorithms and all fitness functions with polynomial expected optimisation times we show that, if additional optima are placed randomly, even an exponential number of optima has a negligible effect on the expected optimisation time. Considering Hamming balls around all global optima gives an easier target for some algorithms and functions and can shift the phase transition with respect to offspring population sizes in the (1,{$\lambda$}) EA on OneMax. However, for the one-dimensional Ising model the time to reach Hamming balls of radius (1/2-{$ϵ$})n around optima does not reduce the asymptotic expected optimisation time in the worst case. Finally, on functions where search trajectories typically join in a single search point, turning one search point into an optimum drastically reduces the expected optimisation time.}},
  author       = {{Bossek, Jakob and Sudholt, Dirk}},
  issn         = {{0304-3975}},
  journal      = {{Theoretical Computer Science}},
  keywords     = {{Evolutionary algorithms, pseudo-Boolean functions, runtime analysis}},
  pages        = {{113757}},
  title        = {{{Do Additional Target Points Speed Up Evolutionary Algorithms?}}},
  doi          = {{10.1016/j.tcs.2023.113757}},
  year         = {{2023}},
}

@article{48859,
  abstract     = {{We contribute to the efficient approximation of the Pareto-set for the classical NP-hard multi-objective minimum spanning tree problem (moMST) adopting evolutionary computation. More precisely, by building upon preliminary work, we analyse the neighborhood structure of Pareto-optimal spanning trees and design several highly biased sub-graph-based mutation operators founded on the gained insights. In a nutshell, these operators replace (un)connected sub-trees of candidate solutions with locally optimal sub-trees. The latter (biased) step is realized by applying Kruskal’s single-objective MST algorithm to a weighted sum scalarization of a sub-graph.We prove runtime complexity results for the introduced operators and investigate the desirable Pareto-beneficial property. This property states that mutants cannot be dominated by their parent. Moreover, we perform an extensive experimental benchmark study to showcase the operator’s practical suitability. Our results confirm that the subgraph based operators beat baseline algorithms from the literature even with severely restricted computational budget in terms of function evaluations on four different classes of complete graphs with different shapes of the Pareto-front.}},
  author       = {{Bossek, Jakob and Grimme, Christian}},
  issn         = {{1063-6560}},
  journal      = {{Evolutionary Computation}},
  pages        = {{1–35}},
  title        = {{{On Single-Objective Sub-Graph-Based Mutation for Solving the Bi-Objective Minimum Spanning Tree Problem}}},
  doi          = {{10.1162/evco_a_00335}},
  year         = {{2023}},
}

@article{49425,
  author       = {{Seitz, Simone and Häsel-Weide, Uta and Wilke, Yannik and Wallner, Melina}},
  journal      = {{Teachers and Teaching}},
  pages        = {{1--16}},
  title        = {{{Expertise and professionalism for inclusive (mathematics) teaching and learning: reflections on findings from interdisciplinary professionalisation research}}},
  doi          = {{https://doi.org/10.1080/13540602.2023.2284876 }},
  year         = {{2023}},
}

@unpublished{49649,
  author       = {{Igamberdiev, Timour and Vu, Doan Nam Long and Künnecke, Felix and Yu, Zhuo and Holmer, Jannik and Habernal, Ivan}},
  title        = {{{DP-NMT: Scalable Differentially-Private Machine Translation}}},
  year         = {{2023}},
}