Publikationen

2025

• AGM Belief Revision, SemanticallyFalakh, F. M., Rudolph, S. & Sauerwald, K., 24 Okt. 2025, in: ACM transactions on computational logic. 26, 4, 54 S., 23Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Context-Oriented Equation-based Modeling in ModelingToolkit. jlGutsche, C., Seidl, C., Prokopets, V., Götz, S., Wang, Z. & Aßmann, U., 24 Okt. 2025, Proceedings of the 16th International Modelica & FMI Conference. S. 155-164Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Context-Oriented Modelica for Advanced Variability ManagementWang, Z., Gutsche, C. & Aßmann, U., 24 Okt. 2025, Proceedings of the 16th International Modelica & FMI Conference. S. 165-174Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• 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 Okt. 2025, IECON 2025 – 51st Annual Conference of the IEEE Industrial Electronics Society. IEEE Industrial Electronics Society, S. 1-6, 6 S., 11221583Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Trust-Based Adaptive Routing in Network-on-Chip: A Comprehensive Overview and EvaluationJaster, S., Haase, J., Göhringer, D. & Franz, E., 16 Okt. 2025, in: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 33, 11, S. 2916-2928, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• To stride or not to stride the memory access?Schmidt, L., Kühn, R., Krause, M., Teubner, J., Lehner, W. & Habich, D., 13 Okt. 2025, DIMES 2025 - Proceedings of the 3rd Workshop on Disruptive Memory Systems, Part of SOSP 2025. Association for Computing Machinery (ACM), New York, S. 19-26, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Conceptual Framework for Fine-Grained Quality Assessment in Version GraphsKegel, K., Pascual, R., Feichtinger, K., Domanowski, A., Clausnitzer, M. & Aßmann, U., 10 Okt. 2025, 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, S. 683-692, 10 S., 11273261Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Taxonomy of the High-Level Synthesis Ecosystem for Heterogeneous FPGA SystemsGottschaldt, P., Podlubne, A. & Göhringer, D., 9 Okt. 2025, in: ACM Transactions on Reconfigurable Technology and Systems. 18, 4, 44Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, 6 Okt. 2025, in: Brain Communications. 7, 5, fcaf381Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• About the Multi-Head Linear Restricted Chase TerminationGerlach, L., Larroque, L., Marcinkowski, J. & Ostropolski-Nalewaja, P., 1 Okt. 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). Ortiz, M., Wassermann, R. & Schaub, T. (Hrsg.). IJCAI Organization, S. 346–355, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 1 Okt. 2025, in: ACM transactions on embedded computing systems. 24, 5, 150Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A Concept for Modeling Adaptive Learning Mechanisms for Learning Management SystemsKucharski, S., Okt. 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. (Hrsg.). Institute of Electrical and Electronics Engineers (IEEE), S. 32-34, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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., Okt. 2025, in: IEEE transactions on visualization and computer graphics. 31, 10, S. 7580-7597, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 weitere, Okt. 2025, in: Journal of network and computer applications : JNCA. 242, 16 S., 104233Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Advancements in Pin-Array Tactile Displays: Designing Multimodal User Interfaces for Braille and GraphicsZeng, L. & Weber, G., 30 Sept. 2025, Springer Nature, 110 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
• Spatial Exploration of Melodic Topologies in Indian Classical Music using XRChandran, K., Engeln, L. & McGinity, M., 30 Sept. 2025, Mensch und Computer 2025 - Workshopband. Gesellschaft für Informatik e.V., 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The SAP Cloud Infrastructure Dataset: A Reality Check of Scheduling and Placement of VMs in Cloud ComputingUhlig, A., Braun, I. & Wählisch, M., 28 Sept. 2025, IMC '25: Proceedings of the 2025 ACM Internet Measurement Conference. New York, USA: ACM New York, NY, USA, S. 746--760, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 weitere, 25 Sept. 2025Publikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
• 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 weitere, 25 Sept. 2025, in: The European Physical Journal C. 85, 9, 1066Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
• Grenzen übewinden - voneinander lernen: 21. GI-Fachtagung Informatik und SchuleGrillenberger, M. & Grillenberger, A., 22 Sept. 2025, Gesellschaft für Informatik, BonnElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Verifying Datalog Reasoning with LeanTantow, J., Gerlach, L., Mennicke, S. & Krötzsch, M., 22 Sept. 2025, 16th International Conference on Interactive Theorem Proving, ITP 2025. Forster, Y. & Keller, C. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 36Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Material Studies For Digital Heritage: Comparative Analysis of Geometric and Photometric 3D RepresentationsTöpfer, F., Christ, E., Yu, Z., Engeln, L. & McGinity, M., 15 Sept. 2025, Digital Heritage - Digital Heritage International Congress 2025. The Eurographics AssociationElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The Concrete Evonne: Visualization Meets Concrete Domain ReasoningAlrabbaa, C., Baader, F., Dachselt, R., Kovtunova, A. & Méndez, J., 15 Sept. 2025, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). Springer, Cham, S. 3-21, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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 Sept. 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. (Hrsg.). IEEE Industrial Electronics Society, S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Hardware-Level Adaptive Scheduling for Reconfigurable Accelerators on Virtualized FPGAsJiang, L., Ou, Z. & Göhringer, D., 12 Sept. 2025, 2025 28th Euromicro Conference on Digital System Design (DSD). Casini, D. & Cazorla, F. J. (Hrsg.). IEEE Canada, S. 566-573, 8 S., 11272671Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband