Skip to main content Skip to main navigation

Publications

Displaying results 1441 to 1450 of 15024.

  1. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  2. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  3. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  4. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  5. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, Schloss Rheinfels, Germany, 2025.

  6. Jingyuan Sha; Hikaru Shindo; Quentin Delfosse; Kristian Kersting; Devendra Singh Dhami

    EXPIL: Explanatory Predicate Invention for Learning in Games

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2406.06107, Pages 1-11, arXiv, 2024.

  7. Lukas Helff; Felix Friedrich; Manuel Brack; Kristian Kersting; Patrick Schramowski

    LLavaGuard: VLM-based Safeguards for Vision Dataset Curation and Safety Assessment

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2406.05113, Pages 1-24, arXiv, 2024.

  8. Quentin Delfosse; Jannis Blüml; Bjarne Gregori; Kristian Kersting

    HackAtari: Atari Learning Environments for Robust and Continual Reinforcement Learning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2406.03997, Pages 1-32, arXiv, 2024.

  9. Simon Kohaut; Benedict Flade; Devendra Singh Dhami; Julian Eggert; Kristian Kersting

    Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Program

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2406.03454, Pages 1-8, arXiv, 2024.

  10. Dominik Hintersdorf; Lukas Struppek; Kristian Kersting; Adam Dziedzic; Franziska Boenisch

    Finding NeMo: Localizing Neurons Responsible For Memorization in Diffusion Models

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2406.02366, Pages 1-36, arXiv, 2024.

Year

More options