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
• 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. Bertrand, N., Dubslaff, C. & Klüppelholz, S. (eds.). Springer, Cham, p. 139-157, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• The Invisible Hand of the Context: Authoring of Context-Aware Mixed Reality LabelsBaader, J. W., Ellenberg, M. O. & Satkowski, M., 30 Aug 2025, MuC '25: Proceedings of the Mensch und Computer 2025. ACM New York, NY, USA, p. 738-743, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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
• 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
• 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, 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
• MEMS-based narrow-bandwidth magnetic field sensors: preliminary assessment of prototypes regarding coercivity, remanence, and sensitivityZiehm, N., Arbustini, J., Elzenheimer, E., Samadi, M., Barbieri, G., Gerken, M., Hoeft, M. & 2 others, 26 Aug 2025, In:  Biomedical engineering : joint journal of the German Society for Biomedical Engineering in VDE and the Austrian and Swiss Societies for Biomedical Engineering. 70, 4, p. 319-326, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Advanced PP/CNT Monofilaments for Sensory SHM Applications: Influence of Additives and Processing ParametersFrankenbach, L. A., Lukoschek, S., Onggar, T., Bruns, M., Kruppke, I. & Cherif, C., 25 Aug 2025, In: International Journal of Polymer Science. 2025, 1, 19 p., 5347149Electronic (full-text) versionResearch output: Contribution to journal > Research article