Publications

2023

• Network Satisfaction Problems Solved by k-ConsistencyBodirsky, M. & Knäuer, S., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Etessami, K., Feige, U. & Puppis, G. (eds.).p. 116:1-116:20, 20 p., 116Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• SoK: A Data-driven View on Methods to Detect Reflective Amplification DDoS Attacks Using HoneypotsNawrocki, M., Kristoff, J., Hiesgen, R., Kanich, C., Schmidt, T. C. & Wählisch, M., Jul 2023, Proceedings - 8th IEEE European Symposium on Security and Privacy, Euro S and P 2023. IEEE, p. 576-591, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Unlocking the Potential of RISC-V Heterogeneous MPSoC: A PANACA-based Approach to Simulation and ModelingHaase, J., Ali, M. & Göhringer, D., Jul 2023, Embedded Computer Systems: Architectures, Modeling, and Simulation: 23rd International Conference, SAMOS 2023, Samos, Greece, July 2–6, 2023, Proceedings. Silvano, C., Reichenbach, M. & Pilato, C. (eds.). Springer, Cham, p. 269–282, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Variational inference accelerates accurate DNA mixture deconvolutionSusik, M. & Sbalzarini, I. F., Jul 2023, In: Forensic Science International: Genetics. 65, 102890Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Automatic Creation of High-bandwidth Memory Architectures from Domain-specific Languages: The Case of Computational Fluid DynamicsSoldavini, S., Friebel, K., Tibaldi, M., Hempel, G., Castrillon, J. & Pilato, C., 30 Jun 2023, In: ACM Transactions on Reconfigurable Technology and Systems. 16, 2, 3563553Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Compiler-Implemented Differential Checksums: Effective Detection and Correction of Transient and Permanent Memory ErrorsBorchert, C., Schirmeier, H. & Spinczyk, O., 30 Jun 2023, 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, p. 81-94, 14 p., 10202626Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Stretch Evolution of Electronic Coupling of the Thiophenyl Anchoring Group with Gold in Mechanically Controllable Break JunctionsLokamani, M., Kilibarda, F., Günther, F., Kelling, J., Strobel, A., Zahn, P., Juckeland, G. & 4 others, 22 Jun 2023, In: Journal of Physical Chemistry Letters. 14, 24, p. 5709-5717, 9 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Bounded Treewidth and the Infinite Core Chase textendash: Complications and Workarounds toward Decidable QueryingBaget, J., Mugnier, M. & Rudolph, S., 18 Jun 2023, PODS 2023 - Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Geerts, F., Ngo, H. Q. & Sintos, S. (eds.). ACM Press, p. 291-302, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Base2: An IR for Binary Numeral TypesFriebel, K. F., Bi, J. & Castrillon, J., 14 Jun 2023, Proceedings of the 13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2023. Association for Computing Machinery, p. 19-26, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Strategy Synthesis in Markov Decision Processes Under Limited Sampling AccessBaier, C., Dubslaff, C., Wienhöft, P. & Kiebel, S., 3 Jun 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer, Cham, p. 86-103, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive Thermal Model for Structure Model Based CorrectionThiem, X., Rudolph, H., Krahn, R., Ihlenfeldt, S., Fetzer, C. & Müller, J., 2 Jun 2023, Lecture Notes in Production Engineering. p. 67-82, 16 p., Chapter 6Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Energy Efficiency Analysis of RF Power Amplifier Digital Predistortion in Full-Digital MIMO TransmittersGodoy Diaz, L. E., Matúš, E. & Fettweis, G., 1 Jun 2023, 2023 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE, p. 1854-1859, 6 p., 10283530Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Enhanced Pathfinding and Scalability with Shortest-Path Tree Routing For Space NetworksDe Jonckère, O., Fraire, J. & Burleigh, S., 1 Jun 2023Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Monitoring Toxic Gases Using Nanotechnology and Wireless Sensor NetworksDargie, W., Wen, J., Panes-Ruiz, L. A., Riemenschneider, L., Ibarlucea, B. & Cuniberti, G., 1 Jun 2023, In: IEEE sensors journal. 23, 11, p. 12274-12283, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Normalizing Flow Based Feature Synthesis for Outlier-Aware Object DetectionKumar, N., Šegvić, S., Eslami, A. & Gumhold, S., 1 Jun 2023, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). p. 5156-5165, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Visual analysis of the impact of periodic wakes on the pressure side of a turbine bladeNsonga, B., Ventosa-Molina, J., Koschichow, D., Fröhlich, J., Gumhold, S. & Scheuermann, G., 1 Jun 2023, In: Journal of Visualization. 26, 5, p. 1115-1137, 23 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (Innovations in Systems and Software Engineering, (2022), 18, 3, (385-403), 10.1007/s11334-022-00445-7)John, T., Jantsch, S., Baier, C. & Klüppelholz, S., Jun 2023, In: Innovations in Systems and Software Engineering. Vol. 19. p. 227-229, 3 p.Electronic (full-text) versionResearch output: Contribution to specialist publication > Corrections (errata and retractions)
• Low Earth Orbit Satellite Supported Multi-Hop Dissemination of Messages in V2X NetworksFranke, M., Stroop, R., Klingler, F. & Sommer, C., Jun 2023, 2023 IEEE 97th Vehicular Technology Conference, VTC 2023-Spring - Proceedings. Florence, Italy: IEEEElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Speed Up the Web with Universal CSS RenderingVogel, L. & Springer, T., Jun 2023, Web Engineering: 23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings. Springer, Berlin [u. a.], p. 191-205Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Discrete-Event, Aggregating, and Relational Control Interfaces for Traffic SimulationMeng, Z., Siguenza-Torres, A., Gao, M., Grossi, M., Wieder, A., Du, X., Bortoli, S. & 2 others, Jun 2023, Proceedings of the 2023 ACM SIGSIM International Conference on Principles of Advanced Discrete Simulation, SIGSIM-PADS 2023. Orlando, FL: Association for Computing Machinery (ACM), New York, p. 12-22, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Waiter and AUTRATAC: Don’t Throw It Away, Just Delay!Vogel, L. & Springer, T., Jun 2023, Web Engineering: 23rd International Conference, ICWE 2023, Alicante, Spain, June 6–9, 2023, Proceedings. Springer, Berlin [u. a.], p. 278–292Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mobility and Deadline-Aware Task Scheduling Mechanism for Vehicular Edge Computingda Costa, J. B. D., de Souza, A. M., Meneguette, R. I., Cerqueira, E., Rosário, D., Sommer, C. & Villas, L., 31 May 2023, In: IEEE Transactions on Intelligent Transportation Systems. 24, 10, p. 11345-11359, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Unsupervised meta-clustering identifies risk clusters in acute myeloid leukemia based on clinical and genetic profilesEckardt, J., Röllig, C., Metzeler, K., Heisig, P., Stasik, S., Georgi, J., Kroschinsky, F. & 26 others, 17 May 2023, In: Communications medicine. 3, 1, 68Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards Modular Trusted Execution EnvironmentsWeinhold, C., Asmussen, N., Göhringer, D. & Roitzsch, M., 8 May 2023, SysTEX 2023 - Proceedings of the 2023 6th Workshop on System Software for Trusted Execution, Part of EuroSys 2023. Association for Computing Machinery, Inc, p. 10-16, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• ROLLED: Racetrack Memory Optimized Linear Layout and Efficient Decomposition of Decision TreesHakert, C., Khan, A. A., Chen, K. H., Hameed, F., Castrillon, J. & Chen, J. J., 1 May 2023, In: IEEE Transactions on Computers. 72, 5, p. 1488-1502, 15 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article