Skip to main content Skip to main navigation

Publications

Displaying results 1031 to 1040 of 13746.
  1. 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 (ATVA-2022), October 25-28, 2022.

  2. 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.

  3. 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.

  4. 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.

  5. 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 Kingdom, 2022.

  6. Tewodros Amberbir Habtegebrial; Christiano Couto Gava; Marcel Rogge; Didier Stricker; Varun Jampani

    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 Recognition (CVPR-2022), June 19-24, New Orleans, Louisiana, USA, Computer Vision Foundation, 6/2022.

  7. 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.

  8. 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 Gap: Opportunities and Challenges in the Transition Between Research and Industry. Mind the Gap: Opportunities and Challenges in the Transition Between Research and Industry, located at Robotics: Science and System (RSS 2022), July 1, New York, New York, USA, Robotics Science and Systems, Online Proceedings, 2022.