@inproceedings{65261, author = {{Trentinaglia, Roman and Koch, Thorsten and Bodden, Eric}}, booktitle = {{Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering}}, publisher = {{SCITEPRESS - Science and Technology Publications}}, title = {{{Using Attack and Failure Propagation Analysis for Context-Aware Security Control Suggestions}}}, doi = {{10.5220/0014278000004058}}, year = {{2026}}, } @inproceedings{60583, abstract = {{Assessing and communicating software security has become a crucial concern in the era of digital transformation. As software systems grow more complex and interconnected, it becomes increasingly challenging to effectively evaluate and communicate a product's security status to both technical and non-technical stakeholders. The Software Product Health Assistant (SPHA) is designed to automatically collect and aggregate data from existing expert tools and derive, among other scores, a transparent Security Score. SPHA is designed to present and explain this Security Score to decision-makers to support their responsibilities. In this paper, we demonstrate how to integrate data from SMARAGD (System Modeler for Architectural Risk Assessment and Guidance on Defenses), a safety-informed threat modeling tool, into SPHA to enhance the existing definition of its Security Score. To achieve this, we combine information about known vulnerabilities with architectural and threat data to calculate a realistic risk score for the product in question.}}, author = {{Strüwer, Jan-niclas and Trentinaglia, Roman and Wohlers, Benedict and Bodden, Eric and Dumitrescu, Roman}}, booktitle = {{AHFE International}}, issn = {{2771-0718}}, publisher = {{AHFE International}}, title = {{{Assessing and Communicating Software Security: Enhancing Software Product Health with Architectural Threat Analysis}}}, doi = {{10.54941/ahfe1006145}}, volume = {{168}}, year = {{2025}}, } @article{61546, abstract = {{Fuzzing is a powerful software testing technique renowned for its effectiveness in identifying software vulnerabilities. Traditional fuzzing evaluations typically focus on overall fuzzer performance across a set of target programs, yet few benchmarks consider how fine-grained program features influence fuzzing effectiveness. To bridge this gap, we introduce FeatureBench, a novel benchmark designed to generate programs with configurable, fine-grained program features to enhance fuzzing evaluations. We reviewed 25 recent grey-box fuzzing studies, extracting 7 program features related to control-flow and data-flow that can impact fuzzer performance. Using these features, we generated a benchmark consisting of 153 programs controlled by 10 fine-grained configurable parameters. We evaluated 11 fuzzers using this benchmark, with each fuzzer representing either distinct claimed improvements or serving as a widely used baseline in fuzzing evaluations. The results indicate that fuzzer performance varies significantly based on the program features and their strengths, highlighting the importance of incorporating program characteristics into fuzzing evaluations.}}, author = {{Miao, Miao and Kummita, Sriteja and Bodden, Eric and Wei, Shiyi}}, issn = {{2994-970X}}, journal = {{Proceedings of the ACM on Software Engineering}}, number = {{ISSTA}}, pages = {{527--549}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Program Feature-Based Benchmarking for Fuzz Testing}}}, doi = {{10.1145/3728899}}, volume = {{2}}, year = {{2025}}, } @article{61762, abstract = {{Abstract In punch-bending, products such as brackets, electronic contacts or spring elements are produced from wire-shaped semi-finished products using separation processes and several successive forming processes. Within the multi-stage straightening and bending processes, cross-stage and quantity-dependent effects have a significant influence on the quality of the end product. In order to optimize the punch-bending process with regard to the resulting component deviations and waste rate, this article presents the concept of a digital twin for an innovative hybrid model of a multi-stage punch-bending process. To ensure efficient development and implementation of the digital twin, the graphical modeling notation DSL4DPiFS is used for additional support. It makes it possible to derive the required interfaces of the Asset Administration Shell of the hybrid data-driven model.}}, author = {{Peters, Henning and Mazur, Andreas and Pandey, Ankit Kumar and Trächtler, Ansgar and Hammer, Barbara and Homberg, Werner}}, issn = {{0178-2312}}, journal = {{at - Automatisierungstechnik}}, number = {{3}}, pages = {{173--184}}, publisher = {{Walter de Gruyter GmbH}}, title = {{{Development of a digital twin for data-driven modeling of punch-bending processes using a graphical modeling notation}}}, doi = {{10.1515/auto-2024-0112}}, volume = {{73}}, year = {{2025}}, } @inproceedings{61763, abstract = {{Abstract. Within the punch-bending process semi-finished products of strip or wire material are formed and punched in several subsequent steps into a finished product like brackets, mounts, contacts or spring elements. In the context of those multi-stage straightening and bending processes, cross-stage and quantity-dependent effects significantly leads to undesired component deviations. To optimize the punch-bending process with regard to these component deviations and thus the waste rate, the concept of a hybrid data-driven model is presented. To automatically acquire and process this hybrid data while also enable the usage by multiple clients, a digital twin has to be developed. In this paper the communication infrastructure between the punch-bending system and the digital twin is presented, using the Asset Administration Shell as specification. This automated communication is validated using exemplary data from the punch-bending system.}}, author = {{Peters, Henning and Mazur, Andreas and Trächtler, Ansgar and Hammer, Barbara}}, booktitle = {{Materials Research Proceedings}}, issn = {{2474-395X}}, publisher = {{Materials Research Forum LLC}}, title = {{{Integration of a digital twin for data-driven modeling of punch-bending processes using the asset administration shell}}}, doi = {{10.21741/9781644903599-166}}, volume = {{54}}, year = {{2025}}, } @article{61761, abstract = {{Abstract Data-driven methods are increasingly utilized in metal forming processes for monitoring and quality optimization. An adapted modeling notation DSL4DPiFS for forming processes is presented to model hardware, software, and data flow aspects to support the design and analysis of data-driven methods. DSL4DPiFS enables metal forming and automation experts to model field-level information as data sources, and the data sinks for data analysis. The notation was adapted to the requirements of selected metal forming processes and evaluated in three case studies.}}, author = {{Vogel-Heuser, Birgit and Zhang, Mingxi and Krüger, Marius and Vicaria, Alejandra and Gardill, Markus and Jiang, Yuyao and Trächtler, Ansgar and Peters, Henning and Liewald, Mathias and Schenek, Adrian and Heinzelmann, Pascal and Weyrich, Michael}}, issn = {{0178-2312}}, journal = {{at - Automatisierungstechnik}}, number = {{4}}, pages = {{232--250}}, publisher = {{Walter de Gruyter GmbH}}, title = {{{DSL4DPiFS – a graphical notation to model data pipeline deployment in forming systems}}}, doi = {{10.1515/auto-2024-0114}}, volume = {{73}}, year = {{2025}}, } @inbook{61765, author = {{Mazur, Andreas and Peters, Henning and Artelt, André and Koller, Lukas and Hartmann, Christoph and Trächtler, Ansgar and Hammer, Barbara}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783032045546}}, issn = {{0302-9743}}, publisher = {{Springer Nature Switzerland}}, title = {{{Studying the Generalization Behavior of Surrogate Models for Punch-Bending by Generating Plausible Counterfactuals}}}, doi = {{10.1007/978-3-032-04555-3_16}}, year = {{2025}}, } @inproceedings{59907, abstract = {{Abstract. Flow forming is recognized for its precision in producing rotationally symmetric components, but the use of metastable austenitic stainless steel (AISI 304L) introduces challenges due to uncontrolled strain-induced α’ martensite formation. Variations in factors such as eccentricity and batch inconsistencies lead to unpredictable microstructural profiles, limiting reproducibility [1,2]. This study addresses these issues by incorporating thermal actuators for cryogenic cooling and induction heating to regulate forming temperatures, enabling control of the α’-martensite content. Experimental investigations demonstrate that local tempering during thermomechanical reverse flow forming produces discernible variations in microstructure, affecting mechanical and magnetic properties [3]. Controlled local adjustments of α’-martensite content allow for customization of properties in seamless tubes, advancing manufacturing capabilities for complex, defect-free components. The results presented demonstrate promising strategies for implementation within the context of closed-loop property control in flow forming.}}, author = {{Arian, Bahman and Homberg, Werner and Kersting, Lukas and Trächtler, Ansgar and Rozo Vasquez, Julian and Walther, Frank}}, booktitle = {{Materials Research Proceedings}}, editor = {{Carlone, Pierpaolo and Filice, Luigino and Umbrello, Domenico}}, issn = {{2474-395X}}, keywords = {{Flow Forming, Thermomechanical Forming, α’-Martensite, Property Control}}, location = {{Paestum, Italy}}, publisher = {{Materials Research Forum LLC}}, title = {{{Advanced thermomechanical flow forming: A novel approach to α’-martensite control for enhanced material properties}}}, doi = {{10.21741/9781644903599-127}}, volume = {{54}}, year = {{2025}}, } @article{62024, abstract = {{Abstract This paper presents a characterization of the microstructural evolution and its correlation with the magnetic structure due to flow forming of semi-finished tubes of austenitic stainless steel AISI 304L. The plastic deformation triggers a phase transformation of the metastable austenite into α’-martensite. Depending on the combination of production parameters, different fractions of strain-induced α’-martensite were measured by means non-destructive micromagnetic techniques and correlated with the evolution of hardness and the microstructure using electron backscatter diffraction analyses. The magneto-optical Kerr effect analysis was used as a tool to perform a qualitative analysis of the evolution of the magnetic domain structure correlated with the formation of α’-martensite. An analysis of these data allowed to derive surface magnetization hysteresis loops that were compared with integral hysteresis loops of the specimens. It was proven by both methods that the formation of martensite increases the magnetic energy and the spontaneous magnetization of the specimens. The results of this investigation contribute to a better understanding of micromagnetic sensors to monitor and control the formation of α’-martensite in a flow forming. Furthermore, various techniques have demonstrated the evolution of the magnetic properties of the material, which can be applied in applications for invisible coding of workpieces.}}, author = {{Rozo Vasquez, Julian and Tappe, Jan and Arian, Bahman and Kersting, Lukas and Homberg, Werner and Trächtler, Ansgar and Walther, Frank}}, issn = {{2195-8599}}, journal = {{Practical Metallography}}, number = {{9-10}}, pages = {{617--633}}, publisher = {{Walter de Gruyter GmbH}}, title = {{{Magneto-optical Kerr effect analysis of strain-induced martensite formation during flow forming of metastable austenitic steel AISI 304L}}}, doi = {{10.1515/pm-2025-0059}}, volume = {{62}}, year = {{2025}}, } @inproceedings{62022, abstract = {{Abstract. The incremental flow forming process features a large number of process parameter combinations that can be varied from pass to pass or during a pass. In the future however, a more efficient utilization of this large number of process parameter combinations and a compensation of process disturbances could be required. This is due to a rising demand for increasing the part complexity, e.g. by graded property structures or a more complex geometry. In this context, innovative approaches like closed-loop property control and optimal control are advantageous, but require fast process models of flow forming that are not state of the art. This paper thus proposes a new modelling approach of multi-pass flow forming especially taking the transfer behavior between process parameters and wall thickness evolution from pass to pass into focus. A hybrid modelling approach is developed that combines knowledge about the incremental process character with empirical data regression to a basic analytic relation. The basic relation is further extended by a multi-layer neural network to enhance the overall model accuracy. This hybrid modelling approach is finally validated using experimental data. Thus, it is shown that a suitable model structure was found in context of a future closed-loop control or optimal control for multi-pass flow forming.}}, author = {{Kersting, Lukas and Gunasagran, Sharin Kumar and Arian, Bahman and Rozo Vaszquez, Julian and Trächtler, Ansgar and Homberg, Werner and Walther, Frank}}, booktitle = {{Materials Research Proceedings}}, issn = {{2474-395X}}, publisher = {{Materials Research Forum LLC}}, title = {{{Real-time modelling of incremental multi-pass flow forming by a hybrid, data-based model}}}, doi = {{10.21741/9781644903599-140}}, volume = {{54}}, year = {{2025}}, } @article{62023, abstract = {{Zusammenfassung Die Eigenschaftsregelung mit einer online-Messung der Bauteileigenschaften ist ein in der Umformtechnik viel diskutiertes, aber kaum validiertes Konzept, um den Automatisierungsgrad bei der Bauteilfertigung weiter zu erhöhen. Dieser Artikel soll helfen, die Lücke beispielhaft für den Fertigungsprozess des Drückwalzens metastabiler Austenite zu schließen. Der metastabile austenitische Edelstahl ändert hierbei während der Verformung seinen α′-Martensitgehalt und damit verbunden die magnetischen Eigenschaften. Deshalb soll über die Regelung das definierte Einstellen des α′-Martensitgehaltes möglich werden. Im Rahmen des vorliegenden Artikels wird gezeigt, wie mittels des modellbasierten Entwurfs die Eigenschaftsregelung ausgelegt und parametriert werden kann. Zudem beinhaltet der Artikel experimentelle Validierungsergebnisse der zuvor entworfenen Eigenschaftsregelung.}}, author = {{Kersting, Lukas and Arian, Bahman and Rozo Vasquez, Julian and Trächtler, Ansgar and Homberg, Werner and Walther, Frank}}, issn = {{0178-2312}}, journal = {{at - Automatisierungstechnik}}, number = {{7}}, pages = {{527--540}}, publisher = {{Walter de Gruyter GmbH}}, title = {{{Modellbasierter Entwurf und Validierung einer Eigenschaftsregelung für das Drückwalzen metastabiler Austenite}}}, doi = {{10.1515/auto-2024-0127}}, volume = {{73}}, year = {{2025}}, } @article{62021, author = {{Kersting, Lukas and Arian, Bahman and Rozo Vasquez, Julian and Trächtler, Ansgar and Homberg, Werner and Walther, Frank}}, issn = {{2405-8963}}, journal = {{IFAC-PapersOnLine}}, number = {{1}}, pages = {{109--114}}, publisher = {{Elsevier BV}}, title = {{{State-space modelling approach for control and observer design in property-controlled reverse flow forming}}}, doi = {{10.1016/j.ifacol.2025.03.020}}, volume = {{59}}, year = {{2025}}, } @inproceedings{62641, author = {{Kruse, Stephan and Diri, Jabil and Mager, Thomas and Kress, Christian and Scheytt, J. Christoph}}, booktitle = {{2025 55th European Microwave Conference (EuMC)}}, keywords = {{Optical fibers, Integrated optics, Semiconductor device measurement, Laser radar, Optical device fabrication, Photonic integrated circuits, Microwave theory and techniques, Optical fiber devices, Plastics, Substrates, Microwave photonics, photonic radar, optical LO distribution, mechatronic integrated device (MID)}}, pages = {{127--130}}, title = {{{Electrooptical Integration of an Electronic Photonic Integrated Circuit Into Plastic Substrates Using Mid-Technology}}}, doi = {{10.23919/EuMC65286.2025.11235121}}, year = {{2025}}, } @inproceedings{63527, author = {{Henkenjohann, Mark and Nolte, Udo and Jahneke, Julien and Reimer, Oliver and Abrams, Stefan and Sion, Fabian and Henke, Christian and Trächtler, Ansgar and Schubert, Sebastian and Pfifer, Harald}}, booktitle = {{AIAA SCITECH 2025 Forum}}, publisher = {{American Institute of Aeronautics and Astronautics}}, title = {{{Dynamic Wind Tunnel Testing of an INDI-Based Flight Controller for a Tiltrotor-VTOL}}}, doi = {{10.2514/6.2025-2083}}, year = {{2025}}, } @inproceedings{63528, author = {{Reiling, Fabian and Bause, Maximilian and Gröger, Stefan and Henke, Christian and Koppert, Steven and Trächtler, Ansgar}}, booktitle = {{2025 11th International Conference on Automation, Robotics, and Applications (ICARA)}}, publisher = {{IEEE}}, title = {{{Development of a Learning-Based Control System for Robot-Assisted Grinding of Rubber Roller}}}, doi = {{10.1109/icara64554.2025.10977606}}, year = {{2025}}, } @inproceedings{63854, author = {{Eikerling, Hendrik and Kampkötter, Anemone}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783031823619}}, issn = {{0302-9743}}, publisher = {{Springer Nature Switzerland}}, title = {{{Enabling Android Application Monitoring by Characterizing Security-Critical Code Fragments}}}, doi = {{10.1007/978-3-031-82362-6_25}}, year = {{2025}}, } @inproceedings{48632, abstract = {{Digital Servitization is one of the significant trends affecting the manufacturing industry. Companies try to tackle challenges regarding their differentiation and profitability using digital services. One specific type of digital services are smart services, which are digital services built on data from smart products. Introducing these kinds of offerings into the portfolio of manufacturing companies is not trivial. Moreover, they require conscious action to align all relevant capabilities to realize the respective business goals. However, what capabilities are generally relevant for smart services remains opaque. We conducted a systematic literature review to identify them and extended the results through an interview study. Our analysis results in 78 capabilities clustered among 12 principles and six dimensions. These results provide significant support for the smart service transformation of manufacturing companies and for structuring the research field of smart services.}}, author = {{Koldewey, Christian and Fichtler, Timm and Scholtysik, Michel and Biehler, Jan and Schreiner, Nick and Sommer, Franziska and Schacht, Maximilian and Kaufmann, Jonas and Rabe, Martin and Sedlmeier, Joachim and Dumitrescu, Roman}}, keywords = {{Digital Servitization, Transformation, Capabilities, Maturity, Smart Services}}, location = {{Hawaii}}, title = {{{Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice}}}, year = {{2024}}, } @inproceedings{53958, abstract = {{To detect security vulnerabilities, static analysis tools need to be configured with security-relevant methods. Current approaches can automatically identify such methods using binary relevance machine learning approaches. However, they ignore dependencies among security-relevant methods, over-generalize and perform poorly in practice. Additionally, users have to nevertheless manually configure static analysis tools using the detected methods. Based on feedback from users and our observations, the excessive manual steps can often be tedious, error-prone and counter-intuitive. In this paper, we present Dev-Assist, an IntelliJ IDEA plugin that detects security-relevant methods using a multi-label machine learning approach that considers dependencies among labels. The plugin can automatically generate configurations for static analysis tools, run the static analysis, and show the results in IntelliJ IDEA. Our experiments reveal that Dev-Assist's machine learning approach has a higher F1-Measure than related approaches. Moreover, the plugin reduces and simplifies the manual effort required when configuring and using static analysis tools.}}, author = {{Johnson, Oshando and Piskachev, Goran and Krishnamurthy, Ranjith and Bodden, Eric}}, booktitle = {{Proceedings of the 46th International Conference on Software Engineering, IDE Workshop}}, title = {{{Detecting Security-Relevant Methods using Multi-label Machine Learning}}}, doi = {{10.48550/ARXIV.2403.07501}}, year = {{2024}}, } @inproceedings{53811, abstract = {{Persistent security challenges plague DevOps teams due to a deficiency in expertise regarding security tools and methods, as evidenced by frequent security incidents. Existing maturity models fail to adequately address the specific needs of DevOps teams. In response, this paper proposes "Security Belts," a novel maturity model inspired by martial arts ranking systems. This model aims to assist DevOps teams in enhancing their security capabilities by providing a structured approach, starting with fundamental activities and progressing to more advanced techniques. Drawing from the experiences of monitoring 21 teams, the paper presents lessons learned and offers actionable advice for refining maturity models tailored to software quality improvement.}}, author = {{Taaibi, Samira and Dziwok, Stefan and Hermerschmidt, Lars and Koch, Thorsten and Merschjohann, Sven and Vollmary, Mark}}, keywords = {{Software security, maturity model}}, location = {{Salt Lake City}}, title = {{{Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report}}}, year = {{2024}}, } @misc{59601, abstract = {{Modern vehicles are becoming more connected and autonomous, and more software-defined in general. Such connectivity leads to security risks due to the increased attack surface for external intrusions. In addition, attacks can also lead to safety hazards as cars contain multiple safety-critical components. Therefore both safety and security must be considered in combination. In this whitepaper, we describe a tool-supported analysis method aligned with automotive standards to identify safety and security dependencies and automatically derive corresponding test cases. These test cases can be imported into the existing dSPACE tool chain to improve efficiency by reducing time-consuming manual work and susceptibility to errors. Thereby, our method brings together system design and testing phases to pave the way for an integrated safety and security-by-design life cycle in the automotive domain.}}, author = {{Trentinaglia, Roman and Fockel, Markus and Pukrop, Matthias and Schaeffer, Tobias}}, pages = {{5}}, publisher = {{dSPACE GmbH}}, title = {{{Whitepaper: From HARA and TARA to Risk-Based Safety and Security Dependency Testing}}}, year = {{2024}}, }