Publications

2025

• AGM Belief Revision, SemanticallyFalakh, F. M., Rudolph, S. & Sauerwald, K., 24 Oct 2025, In: ACM transactions on computational logic. 26, 4, 54 p., 23Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Context-Oriented Equation-based Modeling in ModelingToolkit. jlGutsche, C., Seidl, C., Prokopets, V., Götz, S., Wang, Z. & Aßmann, U., 24 Oct 2025, Proceedings of the 16th International Modelica & FMI Conference. p. 155-164Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Context-Oriented Modelica for Advanced Variability ManagementWang, Z., Gutsche, C. & Aßmann, U., 24 Oct 2025, Proceedings of the 16th International Modelica & FMI Conference. p. 165-174Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Recognizing and Integrating Legacy Assembly Diagrams into Industry 4.0Braunisch, N., Serikov, D., Ristin, M., Otto, B., Sadurski, M., Venn, H. W. V. D. & Wollschlaeger, M., 17 Oct 2025, IECON 2025 – 51st Annual Conference of the IEEE Industrial Electronics Society. IEEE Industrial Electronics Society, p. 1-6, 6 p., 11221583Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Trust-Based Adaptive Routing in Network-on-Chip: A Comprehensive Overview and EvaluationJaster, S., Haase, J., Göhringer, D. & Franz, E., 16 Oct 2025, In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 33, 11, p. 2916-2928, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• To stride or not to stride the memory access?Schmidt, L., Kühn, R., Krause, M., Teubner, J., Lehner, W. & Habich, D., 13 Oct 2025, DIMES 2025 - Proceedings of the 3rd Workshop on Disruptive Memory Systems, Part of SOSP 2025. Association for Computing Machinery (ACM), New York, p. 19-26, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Conceptual Framework for Fine-Grained Quality Assessment in Version GraphsKegel, K., Pascual, R., Feichtinger, K., Domanowski, A., Clausnitzer, M. & Aßmann, U., 10 Oct 2025, 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, p. 683-692, 10 p., 11273261Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Taxonomy of the High-Level Synthesis Ecosystem for Heterogeneous FPGA SystemsGottschaldt, P., Podlubne, A. & Göhringer, D., 9 Oct 2025, In: ACM Transactions on Reconfigurable Technology and Systems. 18, 4, 44Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Machine learning integration of MRI and gait reveals mobility phenotypes in multiple sclerosisInojosa, H., Zhao, W., Wenk, J., Schriefer, D., Fischer, S., Heisig, P., Kählig, M. & 11 others, 6 Oct 2025, In: Brain Communications. 7, 5, fcaf381Electronic (full-text) versionResearch output: Contribution to journal > Research article
• About the Multi-Head Linear Restricted Chase TerminationGerlach, L., Larroque, L., Marcinkowski, J. & Ostropolski-Nalewaja, P., 1 Oct 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). Ortiz, M., Wassermann, R. & Schaub, T. (eds.). IJCAI Organization, p. 346–355, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core HardwareLin, S., Jellum, E., Theile, M., Tanneberger, T., Sun, B., Jerad, C., Xu, Y. & 8 others, 1 Oct 2025, In: ACM transactions on embedded computing systems. 24, 5, 150Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Concept for Modeling Adaptive Learning Mechanisms for Learning Management SystemsKucharski, S., Oct 2025, Proceedings of the 2025 IEEE International Conference on Advanced Learning Technologies (ICALT). Chang, M., Chen, S., Kuo, R., Sampson, D., Tlili, A. & Tsai, P. (eds.). Institute of Electrical and Electronics Engineers (IEEE), p. 32-34, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Augmented Dynamic Data Physicalization: Blending Shape-changing Data Sculptures with Virtual Content for Interactive VisualizationEngert, S., Peetz, A., Klamka, K., Surer, P., Isenberg, T. & Dachselt, R., Oct 2025, In: IEEE transactions on visualization and computer graphics. 31, 10, p. 7580-7597, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Clear data, clear roads: Imputing missing data for enhanced intersection flow of connected autonomous vehiclesFreire, M., Maia, A., Figueiredo, G., Prazeres, C., Lobato Junior, W. V., Aparecido Villas, L., Sommer, C. & 1 others, Oct 2025, In: Journal of network and computer applications : JNCA. 242, 16 p., 104233Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Advancements in Pin-Array Tactile Displays: Designing Multimodal User Interfaces for Braille and GraphicsZeng, L. & Weber, G., 30 Sep 2025, Springer Nature, 110 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• Spatial Exploration of Melodic Topologies in Indian Classical Music using XRChandran, K., Engeln, L. & McGinity, M., 30 Sep 2025, Mensch und Computer 2025 - Workshopband. Gesellschaft für Informatik e.V., 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The SAP Cloud Infrastructure Dataset: A Reality Check of Scheduling and Placement of VMs in Cloud ComputingUhlig, A., Braun, I. & Wählisch, M., 28 Sep 2025, IMC '25: Proceedings of the 2025 ACM Internet Measurement Conference. New York, USA: ACM New York, NY, USA, p. 746--760, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Kollaborativer Flugbetrieb von Drohnen und Flugzeugen: Ortungs- und Konfliktvermeidungsstrategien in Theorie und PraxisReif, M., Liu, Y., Fischer, C., Braßel, H., Lindner, M., Luo, M., Stachorra, D. & 4 others, 25 Sep 2025Research output: Contribution to conferences > Presentation slides
• Large physics models: towards a collaborative approach with large language models and foundation modelsBarman, K. G., Caron, S., Sullivan, E., de Regt, H. W., de Austri, R. R., Boon, M., Färber, M. & 16 others, 25 Sep 2025, In: The European Physical Journal C. 85, 9, 1066Electronic (full-text) versionResearch output: Contribution to journal > Review article
• Grenzen übewinden - voneinander lernen: 21. GI-Fachtagung Informatik und SchuleGrillenberger, M. & Grillenberger, A., 22 Sep 2025, Gesellschaft für Informatik, BonnElectronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Verifying Datalog Reasoning with LeanTantow, J., Gerlach, L., Mennicke, S. & Krötzsch, M., 22 Sep 2025, 16th International Conference on Interactive Theorem Proving, ITP 2025. Forster, Y. & Keller, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 36Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Material Studies For Digital Heritage: Comparative Analysis of Geometric and Photometric 3D RepresentationsTöpfer, F., Christ, E., Yu, Z., Engeln, L. & McGinity, M., 15 Sep 2025, Digital Heritage - Digital Heritage International Congress 2025. The Eurographics AssociationElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Concrete Evonne: Visualization Meets Concrete Domain ReasoningAlrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 15 Sep 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). Springer, Cham, p. 3-21, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Combining Publicly Available SDKs and Code Generation Tools to Streamline the Implementation of AAS ApplicationsGneuß, T., Ristin, M., Braunisch, N., Venn, H. W. V. D. & Wollschlaeger, M., 12 Sep 2025, 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation, ETFA 2025 - Proceedings. Almeida, L., Indria, M., de Sousa, M., Visioli, A., Ashjaei, M. & Santos, P. (eds.). IEEE Industrial Electronics Society, p. 1-8, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Hardware-Level Adaptive Scheduling for Reconfigurable Accelerators on Virtualized FPGAsJiang, L., Ou, Z. & Göhringer, D., 12 Sep 2025, 2025 28th Euromicro Conference on Digital System Design (DSD). Casini, D. & Cazorla, F. J. (eds.). IEEE Canada, p. 566-573, 8 p., 11272671Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution