Department Informatik

Efficient Model Checking for the Alternating-Time $$\mu $$-Calculus via Effectivity Frames (2025) Hausmann D, Humml M, Prucker S Conference contribution A Scoping Review of Machine Learning Applications in Power System Protection and Disturbance Management (2025) Oelhaf J, Kordowich G, Pashaei M, Bergler C, Maier A, Jäger J, Bayer S Journal article, Review article A Graph Neural Network-Based Approach for Power System Protection (2025) Kordowich G, Oelhaf J, Maier A, Bayer S, Jäger J Conference contribution, Conference Contribution Balancing technology heterogeneity in microservice architectures (2025) Schwarz GD, Heltweg P, Riehle D Journal article Leveraging Last-Known-Well Times for Radiomics-Based Stroke Onset Estimation from Non-contrast CT (2025) Vorberg L, Rist L, Ditt H, Maier A, Taubmann O Conference contribution, Conference Contribution Investigating Piping Erosion during Suction Bucket Installations using Fully-Resolved LBM-DEM Simulations (2025) Kemmler S, Cuéllar P, Artinov A, Baeßler M, Köstler H Conference contribution, Abstract of lecture Benchmarking convolutional neural network and graph neural network based surrogate models on a real-world car external aerodynamics dataset (2025) Jacob SJ, Mrosek M, Othmer C, Köstler H Journal article Register Expansion, SemaCall, and SideData: Three Low-Overhead Dynamic Watermarks Suitable for Automation in LLVM (2025) Schwarzbeck D, Novac D, Philippsen M Journal article, Original article 'Ignore These Errors for Now' - How Experts Provide Feedback on Steps Novices Take Towards Solving Programming Problems (2025) Lohr D, Kiesler N, Keuning H, Jeuring J Conference contribution Wasm-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation (2025) Seidler M, Krause A, Ulbrich P Journal article, Original article