Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 421 bis 430 von 13810.

  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. Dominique Mercier; Andreas Dengel; Sheraz Ahmed

    FREQuency ATTribution: Benchmarking Frequency-based Occlusion for Time Series Data

    In: Applied Intelligence (APIN), Vol. 56, No. 108, Pages 1-26, Springer Nature, 2/2026.

  7. Thomas Röfer

    CABSL 2 – Specification Language for Complex Behaviors

    In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, Lecture Notes in Artificial Intelligence (LNAI), Vol. 16460, Springer, 2026.

  8. Philip Reichenberg; Thomas Röfer

    Dueling Behavior Leveraging Advanced Motion Control for the NAO Robot

    In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.

  9. Kevin Baum; Andre Steingrüber

    Justifications for Democratizing AI Alignment and Their Prospects

    In: AISoLA 2025. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2025), Springer Nature Switzerland, 2025.

  10. Kevin Baum; Barbara Steffen

    Let’s Talk AI with philosophy and computer science expert Kevin Baum

    In: Barbara Steffen; Edward A. Lee; Bernhard Steffen (Hrsg.). Let’s Talk AI: Interdisciplinarity Is a Must. Pages 104-112, Springer Nature Switzerland, 2025.

Jahr

Mehr Optionen