Publikationen

2025

• DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow AnalysesBrauckmann, A., da Silva, A. F., Synnaeve, G., O'Boyle, M. F., Castrillon, J. & Leather, H., 25 Feb. 2025, CC 2025 - Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction. Kluss, D., Achour, S. & Palsberg, J. (Hrsg.). Association for Computing Machinery (ACM), S. 92-103, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Towards Computing a Real-Time THz Material MapAliagha, E., Batra, A., Kamaleldin, A., Kaiser, T. & Göhringer, D., 24 Feb. 2025, 2025 International Conference on Mobile and Miniaturized Terahertz Systems (ICMMTS). S. 229-231, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• An Elephant Under the Microscope: Analyzing the Interaction of Optimizer Components in PostgreSQLBergmann, R., Hartmann, C., Habich, D. & Lehner, W., 10 Feb. 2025, in: Proceedings of the ACM on Management of Data. 3, 1, S. 1-28, 28 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree SequentsLyon, T., Shillito, I. & Tiu, A., 3 Feb. 2025, 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). Endrullis, J. & Schmitz, S. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, S. 41:1-41:23, 41Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Analytical Uncertainty Propagation in Neural NetworksJungmann, P., Poray, J. & Kumar, A., Feb. 2025, in: IEEE Transactions on Neural Networks and Learning Systems. 36, 2, S. 2495-2508, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Reliable peak detection and feature extraction for wireless electrocardiogramsFarrokhi, S., Dargie, W. & Poellabauer, C., Feb. 2025, in: Computers in Biology and Medicine. 185, 109478Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Robotic assembly of modular concrete shells using falseworkIvaniuk, E., Pukhkaiev, D., Reichle, M., Zhao, W., Mey, J., Krombholz, M., Tošić, Z. & 3 weitere, 31 Jan. 2025, in: Developments in the Built Environment. 21 (2025), 14 S., 100616Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Immersive Data-Driven Storytelling: Scoping an Emerging Field Through the Lenses of Research, Journalism, and GamesMéndez, J., Luo, W., Rzayev, R., Büschel, W. & Dachselt, R., 17 Jan. 2025, in: IEEE transactions on visualization and computer graphics. 31, 10, S. 6839-6851, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Prediction of Received Power in Low-Power and Lossy Networks Deployed in Rough EnvironmentsDargie, W., 1 Jan. 2025, in: IEEE Transactions on Instrumentation and Measurement. 74, 8 S., 5501608Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Quantum Security for the Tactile InternetHassanpour, S., Bassoli, R., Nötzel, J., Fitzek, F. H., Boche, H. & Strufe, T., 1 Jan. 2025, Security and Privacy for 6G Massive IoT. Wiley, S. 193-228, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• A Novel System Simulation Framework for HBM2 FPGA PlatformsMuñoz Hernandez, H. G., Iskandar, V., Steiner, L., Holzinger, P., Jung, M., Göhringer, D., Hübner, M. & 2 weitere, Jan. 2025, Embedded Computer Systems: Architectures, Modeling, and Simulation - 24th International Conference, SAMOS 2024, Proceedings. Carro, L., Regazzoni, F. & Pilato, C. (Hrsg.). Springer Science and Business Media B.V., S. 72-84, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Hierarchical Scheduling of Cooperative TSN for Mixed Critical Wireless SystemsBigge, J. & Sommer, C., Jan. 2025, 20th IEEE/IFIP Wireless On-demand Network systems and Services Conference (WONS 2025), Hintertux, Austria. Institute of Electrical and Electronics Engineers (IEEE)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Abductive Differences of Quantified ABoxesKriegel, F., 2025, Proceedings of the 38th International Workshop on Description Logics (DL 2025). Tendera, L., Garcia, Y. I. & Koopmann, P. (Hrsg.).12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Achieving Cyber-Physical Consistency for Immersive Robot ControllingBelov, M., Pukhkaiev, D., Victor, V. & Aßmann, U., 2025, Applied Innovations in Information and Communication Technology: Advanced Techniques and Modern Trends in Information and Communication Technology. Dovgyi, S., Siemens, E., Globa, L., Kopiika, O. & Stryzhak, O. (Hrsg.).S. 246–263, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Comparison of Different Approaches of Model Editors for Automatic Item Generation (AIG)Stahr, F., Kucharski, S. T., Braun, I. & Damnik, G., 2025, Proceedings of the 17th International Conference on Computer Supported Education, CSEDU 2025. du Boulay, B., Di Mascio, T., Tovar, E. & Meinel, C. (Hrsg.). SciTePress - Science and Technology Publications, Band 1. S. 765-776, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• All-in-Memory Stochastic Computing using ReRAMDe Lima, J. P. C., Moghadam, M. S., Aygun, S., Castrillon, J., Najafi, M. H. & Khan, A. A., 2025, 2025 62nd ACM/IEEE Design Automation Conference, DAC 2025. Institute of Electrical and Electronics Engineers (IEEE), S. 1-7Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Animation of Tactile Patterns on a Pin Matrix DeviceFuchs, R. K., Schmalfuß-Schwarz, J., Branig, M. & Weber, G., 2025, HCI International 2025 Posters: 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part III. Stephanidis, C., Antona, M., Ntoa, S. & Salvendy, G. (Hrsg.). Springer, Cham, S. 57-67, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Approximate Probabilistic Bisimulation for Continuous-Time Markov ChainsSpork, T., Baier, C., Katoen, J. P., Klüppelholz, S. & Piribauer, J., 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. Piskac, R. & Rakamaric, Z. (Hrsg.). Springer Science and Business Media B.V., S. 56-81, 26 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming SemanticsKettmann, P., Heyninck, J. & Strass, H., 2025, in: IJCAI International Joint Conference on Artificial Intelligence. 2025, S. 4544-4552, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• APR-CNN: Convolutional Neural Networks for the Adaptive Particle Representation of Large Microscopy ImagesJonsson, J., Cheeseman, B. L. & Sbalzarini, I. F., 2025, in: Transactions on Machine Learning Research. 2025, 2Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Aufbau eines Retrieval-Augmented-Generation-SystemsSchmauder, M., Ott, G., Schönwälder, E. & Hahmann, M., 2025, in: Werkstattstechnik : wt. 115, 6, S. 389-396, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
• Automated Task Extraction from Emails: Aiding Autistic Individuals in the WorkplaceGollasch, D., Branig, M., Dähne, H. & Weber, G., 2025, Universal Access in Human-Computer Interaction: 19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I. Antona, M. & Stephanidis, C. (Hrsg.).S. 343–359, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Automating Timing Enclaves for Reactive Programs in Lingua FrancaRobledo, J. & Castrillon, J., 2025, 2025 IEEE 18th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC). Institute of Electrical and Electronics Engineers (IEEE), S. 9-16, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• BERMUDA: A BPSec-Compatible Key Management Scheme for DTNsFuchs, F., Walter, F. & Tschorsch, F., 2025, S. 219-233, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Beyond Optimal: Interactive Identification of Better-than-optimal Repairs (Extended Abstract)Kriegel, F., 2025, Proceedings of the 38th International Workshop on Description Logics (DL 2025). Tendera, L., Ibanez Garcia, Y. & Koopmann, P. (Hrsg.).5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband