Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 361 to 370 of 13150.
  1. Zhikun Wang; Abdeslam Boularias; Katharina Mülling; Jan Peters

    Balancing Safety and Exploitability in Opponent Modeling

    In: Wolfram Burgard; Dan Roth (Hrsg.). Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial …

  2. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

    In: Automated Technology for Verification and Analysis (ATVA). International Symposium on Automated Technology for Verification and Analysis …

  3. Jan Zielasko; Sören Tempel; Vladimir Herdt; Rolf Drechsler

    3D Visualization of Symbolic Execution Traces

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  4. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  5. Alexander Fratzer; Vladimir Herdt; Christoph Lüth; Rolf Drechsler

    Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  6. Sana Hassan Imam; Sebastian Huhn; Lars Hornuf; Rolf Drechsler

    Feature Importance and Extensibility for Predicting Loan Defaults in Marketplace Lending using BiLSTM

    In: Proceedings of the 3rd Frontiers of Factor Investing Conference. Frontiers of Factor Investing (FoFi-2022), September 15-16, Lancaster, United …

  7. SOMSI: Spherical Novel View Synthesis with Soft Occlusion Multi-Sphere Images

    In: International Conference on Computer Vision and Pattern Recognition (CVPR) 2022. International Conference on Computer Vision and Pattern …

  8. Christoph Heinbach; Henning Gösling; Pascal Meier; Oliver Thomas

    Smart Managed Freight Fleet: Ein automatisiertes und vernetztes Flottenmanagement in einem föderierten Datenökosystem

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. Online, Pages 1-21, Springer, 7/2022.

  9. Felix Wiebe; Shubham Vyas; Lasse Jenning Shala; Shivesh Kumar; Frank Kirchner

    RealAIGym: Education and Research Platform for Studying Athletic Intelligence

    In: Brian Plancher; Dylan Shell; Kris Hauser; Shuran Song; Katja Mombaur (Hrsg.). Proceedings of the Robotics: Science and System Workshop Mind the …