Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 81 bis 90 von 2317.

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

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

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

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

  5. Lara Bergmann; Noah Greis; Roderich Groß; Robert Haschke; Nico Hochgeschwender; Wolfgang Hönig; Jana Jost; Stefan Kopp; Rania Rayyes; Sebastian Trimpe; Anna-Lisa Vollmer; Malte Wirkus; Sebastian Wrede; Klaus Neumann

    From Transportation to Manipulation: Transforming Magnetic Levitation to Magnetic Robotics

    In: Proceedings of the 2nd German Robotics Conference. German Robotics Conference (GRC-2026), March 11-13, Cologne, Germany, RIG, 2026.

  6. Malte Wirkus; Heiner Peters; Janne Janzen; Tobias Stark; Christoph Stoeffler

    Evaluation and Future Prospects of the SHIVAA Strawberry-Picking Robot

    In: Proceedings of the 2nd German Robotics Conference. German Robotics Conference (GRC-2026), March 11-13, Cologne, Germany, RIG, 2026.

  7. Johannes Rust; Serge Autexier; Rolf Drechsler

    Simulation-based hardware exploration for Shapley value calculations

    In: Proceedings of the 24th International Conference on Informatics, Management, and Technology in Healthcare (ICIMTH). International Conference on Informatics, Management, and Technology in Healthcare (ICIMTH-2026), July 3-4, Athen, Greece, 2026.

  8. Mahdi Chamseddine; Kaufmann Fabian; Schellen Marius; Glock Christian; Didier Stricker; Jason Raphael Rambach

    BIMStruct3D: A Fully Automated Hybrid Learning Scan-to-BIM Pipeline with Integrated Topology Refinement

    In: Computing in Construction. European Conference on Computing in Construction (EC3-2026), 2026 European Conference on Computing in Construction, July 12-15, Corfu, Greece, EC3, 2026.

  9. Jonas Eisenmenger; Zhongqian Zhao; Pierre Willenbrock; Wiebke Brinkmann

    DFKI-X2D: Design and Testing of a Quasi-Direct Drive Motor for Space Applications

    In: 15th EASN International Conference on Innovation in Aviation & Space Towards Sustainability Today & Tomorrow. EASN International Conference on Innovation in Aviation & Space towards Sustainability Today & Tomorrow (EASN-2025), October 14-17, Madrid, Spain, MDPI, Engineering Proceedings, volume 133, 4/2026.

  10. Mahdi Rezapour; Abdallah Fawzy Mohamed Mohamed Darwish; Achim Wagner; Daniel Görges; Martin Ruskowski

    A Modular Behavior Tree Engine for Smart Manufacturing: An AAS-Driven Framework for Autonomous Skill Execution

    Zenodo, 2026.

Jahr

Mehr Optionen