Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 676.
  1. Vladimir Herdt; Sören Tempel; Daniel Große; Rolf Drechsler

    Mutation-based Compliance Testing for RISC-V

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  2. System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  3. Marcel Walter; Winston Haaswijk; Robert Wille; Frank Sill Torres; Rolf Drechsler

    One-pass Synthesis for Field-coupled Nanocomputing Technologies

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  4. Mehran Goli; Rolf Drechsler

    ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  5. TSInsight: A local-global attribution framework for interpretability in time-series data

    In: Sensors - Open Access Journal (Sensors), Vol. 21, Pages 1-16, MDPI, 11/2021.

  6. René Schuster; Oliver Wasenmüller; Christian Unger; Didier Stricker

    SSGP: Sparse Spatial Guided Propagation for Robust and Generic Interpolation

    In: Winter Conference on Applications of Computer Vision. IEEE Winter Conference on Applications of Computer Vision (WACV-2021), January 5-9, …

  7. Jana Koehler

    Zum Begriff der Künstlichen Intelligenz

    In: Stephanie Catani und Jasmin Pfeiffer. Handbuch Künstliche Intelligenz und die Künste. Chapter 2, De Gruyter, Berlin, 8/2021.

  8. The Person Index Challenge: Extraction of Persons from Messy, Short Texts

    In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial …

  9. Bridging the Technology Gap Between Industry and Semantic Web: Generating Databases and Server Code From RDF

    In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial …

  10. System Level verification of Phase-Locked Loop using Metamorphic Relations

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, virtual, 2021.