Department Informatik

Comparative Evaluation of Security Fuzzing Approaches (2019) Al Sardy L, Neubaum A, Saglietti F, Rudrich D Conference contribution, Conference Contribution Gradient-Based Illumination Description for Image Forgery Detection (2019) Matern F, Riess C, Stamminger M Journal article, Original article Game-based local model checking for the coalgebraic µ-calculus (2019) Hausmann D, Schröder L Conference contribution Graded monads and graded logics for the linear time – Branching time spectrum (2019) Dorsch U, Milius S, Schröder L Conference contribution Efficient Mapping of CNNs onto Tightly Coupled Processor Arrays (2019) Heidorn C, Witterauf M, Hannig F, Teich J Journal article A validated failure behavior model for driver models to test automated driving functions (2019) Huber B, Sippl C, German R, Djanatliev A Conference contribution OpenMP to FPGA Offloading Prototype using OpenCL SDK (2019) Knaust M, Mayer F, Steinke T Conference contribution, Conference Contribution A Validated Failure Behavior Model for Driver Models to Test Automated Driving Functions (2019) Huber B, Sippl C, German R, Djanatliev A Conference contribution, Conference Contribution Open Source License Compliance in Software Supply Chains (2019) Riehle D, Harutyunyan N Book chapter / Article in edited volumes Visualizing session-based data profiles (2019) Wahl AM, Sauerhammer C, Lenz R Conference contribution, Abstract of lecture