Publications

2025

• Simplified Extensibility in the Universal Variability Language using Answer Set ProgrammingAuerswald, F., Pukhkaiev, D. & Aßmann, U., 31 Aug 2025, SPLC-A '25: Proceedings of the 29th ACM International Systems and Software Product Line Conference. Luaces, M. R., Rodeiro, T. V., Greiner, S., Galindo Duarte, J., Yue, T., Yoshimura, K., Semini, L., Cordy, M., Azanza, M., Kruger, J., Perrouin, G., Fortz, S., Groher, I., Munoz, D., Schmid, K., Perez, F., Galasso-Carbonnel, J., Horcas, J. M. & Feichtinger, K. (eds.).Vol. A. p. 39-44, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Design of hybrid glass fibre reinforced composite structures for improved dynamic crushing performanceBöhm, H., Richter, J., Kim, J., Jeong, M., Hornig, A. & Gude, M., 30 Aug 2025, In: Composite Structures. 372, 21 p., 119591Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Evoking Emotions in Virtual Reality: A Comparative Study of Simulation MethodsSchier, F., Senechal, N., Badeja, D. & McGinity, M., 30 Aug 2025, p. 560-564, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Stop Gambling! It Just Takes Too LongKlüppelholz, S. & Piribauer, J., 30 Aug 2025, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Springer Science and Business Media B.V., p. 139-157, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Backward Responsibility in Transition Systems Beyond SafetyBaier, C., Klatt, R., Klüppelholz, S. & Lehmann, J., 28 Aug 2025, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (eds.). Springer, Cham, p. 105-123, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Cross-Layer Design and Design Automation for In-Memory Computing based on Non-Volatile Memory TechnologiesSharon Hu, X., Lee, M. Y., Li, M., De Lima, J. P. C., Liu, L., Zhu, Z., Castrillon, J. & 2 others, 28 Aug 2025, In: IEEE Design and Test. 42, 6, p. 75-86, 12 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Fusion of automatically learned rhythm and morphology features matches diagnostic criteria and enhances AI explainabilityHammer, A., Goettling, M., Malberg, H., Linke, A., Richter, S., Mangner, N. & Schmidt, M., 28 Aug 2025, In: npj Artificial Intelligence. 1, 19Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Challenges and opportunities in the integration of generative AI with computer-aided DesignBerger, E., Dammann, M. P., Mehlstäubl, J., Saske, B., Braun, F. & Paetzold, K., 27 Aug 2025, In: Proceedings of the Design Society. 5, ICED25, p. 881-890, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Visual Analysis of Action Policy Behavior: A Case Study in Grid-World DrivingGros, T. P., Groß, D., Kamp, J., Gumhold, S. & Hoffmann, J., 27 Aug 2025, Joint Proceedings of the xAI 2025 Late-breaking Work, Demos and Doctoral Consortium (LB/D/DC@xAI 2025). CEUR-WS.org, Vol. 4017. p. 145-152, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Balancing Power and Performance with Task Dependencies in Multi-Core SystemsAkgun, G. & Göhringer, D., 26 Aug 2025, In: IEEE access. 13, p. 150933-150950, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article