Department Informatik

Detecting Unrealizable Bit Vector Program Synthesis Problems (2024) Kamp M Thesis Erweiterung eines Rahmenprogramms für das automatische Einfügen von Software- Wasserzeichen in Quellcode (2024) Schwarzbeck D Thesis ArCSEM: Artistic Colorization of SEM Images via Gaussian Splatting (2024) Nishimura T, Dogaru A, Egger B Conference contribution Work-in-Progress: Integrating WebAssembly into Service-Oriented Architectures for Edge Systems (2024) Kreutzer M, Seidler M, Pazmino VB, Becker J Conference contribution, Abstract of a poster Migration of Isolated Application Across Heterogeneous Edge Systems (2024) Kreutzer M, Seidler M, Dudzik K, Pazmino VB, Becker J Conference contribution, Conference Contribution Tagged-to-Cine MRI Sequence Synthesis via Light Spatial-Temporal Transformer (2024) Liu X, Xing F, Bian Z, Arias Vergara T, Perez Toro PA, Maier A, Stone M, et al. Conference contribution Scalable Modeling of Preventive and Detective Security Controls for Cyber-Physical Systems (2024) Shun HY, Al Sardy L, Waedt K, Le Berre G Conference contribution Automatic Spatial Calibration of Near-Field MIMO Radar With Respect to Optical Depth Sensors (2024) Wirth V, Bräunig J, Khouri D, Gutsche F, Vossiek M, Weyrich T, Stamminger M Conference contribution, Conference Contribution An Efficient yet High-Performance Method for Precise Radar-Based Imaging of Human Hand Poses (2024) Bräunig J, Wirth V, Stamminger M, Ullmann I, Vossiek M Conference contribution A Heuristic Variable Ordering Approach for Fault Tree Conversion to Binary Decision Diagram (2024) Dibaei Asl M, Hielscher KS, German R Conference contribution, Original article