Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 191 bis 200 von 15094.

  1. Spandan Das; Sayak Deb; Khushboo Qayyum; Sallar Ahmadi-Pour; Christoph Lüth; Rolf Drechsler

    Security-Aware Benchmarks for Performance Exploration of CHERI-Enabled Architectures

    In: International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2026), April 27-29, Bratislava, Slovakia, 2026.

  2. Tom Vincent Slawik; Leif Christensen; Frank Kirchner

    Recent advances in tracking control of hydrobatic AUVs

    In: at - Automatisierungstechnik, Vol. 74, No. 2, Pages 91-101, De Gruyter, 3/2026.

  3. Luca Müller; Khushboo Qayyum; Nele Hugo; Muhammad Hassan; Rolf Drechsler

    Automation of Polynomial Formal Verification using Large Language Models

    In: 44th IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2026), April 27-29, Napa, USA, 2026.

  4. Rolf Drechsler

    LLM-based Generation of High-Level Benchmarks for MVL Designs

    In: IEEE International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2026), May 19-21, Sendai, Japan, 2026.

  5. Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Integrating Optical Probing Security Evaluation Framework Into ASIC Design Flow

    In: Workshop on Nano Security on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  6. Caroline Dominik; Rolf Drechsler

    Using Virtual Prototypes for Causal Fault Explanation at System Level

    In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.

  7. Zihan Ye; Phil Chau; Raban Emunds; Jannis Blüml; Cedric Derstroff; Quentin Delfosse; Oleg Arenz; Kristian Kersting

    Boosting deep Reinforcement Learning using pretraining with Logical Options

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2603.06565, Pages 1-23, arXiv, 2026.

  8. Mieszko Komisarczyk; Saurabh Mathur; Maurice Kraus; Sriraam Natarajan; Kristian Kersting

    Recursive Inference Machines for Neural Reasoning

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

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

    Right in Time: Reactive Reasoning in Regulated Traffic Spaces

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2603.03977, Pages 1-6, arXiv, 2026.

  10. Levin Maier; Lucas Schulze; Robert Lilow; Lukas Hahn; Nikola Krasowski; Arnulf Barth; Sebastian Gaebel; Ferdi Güran; Oliver Hanau; Giovanni Wagner; Falk Borgmann; Oleg Arenz; Jan Peters

    Mathematical Foundations of Modeling ETL Process Chains

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

Jahr

Mehr Optionen