Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 14901.
  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. Recent advances in tracking control of hydrobatic AUVs

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

  3. 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. 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. Sara-Jane Bittner; Michael Barz; Daniel Sonntag

    FunduScope: a human-centered, machine learning-based interactive tool for training junior ophthalmologists in diabetic retinopathy detection

    In: Frontiers in Big Data, Vol. Volume 9 - 2026, Pages 1-14, Frontiers Media SA, 3/2026.

  8. Heads Up!: Towards In Situ Photogrammetry Annotations and Augmented Reality Visualizations for Guided Backcountry Skiing

    In: AlpCHI Demos: Hands-On Innovation: Interactive Demos. International Conference on Human-Computer Interaction in the Alps (AlpCHI-2026), March 1-5, Ascona, Switzerland, AlpCHI, 3/2026.

  9. Nick Jochum; Tobias Alt-Veit; Christian Schön; Alexander Lück; René Schuster; Didier Stricker

    Bounding Box Label Propagation for Re-Annotation of Document Layout Analysis Datasets

    In: International Conference on Document Analysis and Recognition. International Conference on Document Analysis and Recognition (ICDAR-2026), August 30 - September 4, Vienna, Austria, Springer, 2026.

  10. Miro Miranda Lorenz; Deepak Kumar Pathak; Patrick Helber; Benjamin Bischke; Hiba Najjar; Francisco Mena; Cristhian Sanchez; Akshay Pai; Diego Arenas; Matias Valdenegro-Toro; Marcela Charfuelan Oliva; Marlon Nuske; Andreas Dengel

    YieldSAT: A Multimodal Benchmark Dataset for High-Resolution Crop Yield Prediction

    In: CVPR-26. International Conference on Computer Vision and Pattern Recognition (CVPR-2026), located at CVPR-2026, June 3-7, Denver, Colorado, USA, CvF, 2026.