Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 251 bis 260 von 15202.
  1. 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. 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. 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.

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

  7. Daniel Gerhardt; Divyanshu Bhardwaj; Ashwin Ram; André Zenner; Jürgen Steimle; Katharina Krombholz

    Privacy & Safety Challenges of On-Body Interaction Techniques

    In: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2026), April 13-17, Barcelona, Spain, CHI '26, ISBN 9798400722783, Association for Computing Machinery, 2026.

  8. Carolin Stellmacher; Leon Tristan Dratzidis; André Zenner; Iddo Yehoshua Wald; Johannes Schöning; Yvonne Rogers; Donald Degraen; Mark Colley

    Understanding How Mobile Interactions Shape Grasp and Contact Patterns Beyond the Touchscreen

    In: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2026), April 13-17, Barcelona, Spain, CHI '26, ISBN 9798400722783, Association for Computing Machinery, 2026.

  9. Nihar Sabnis; André Zenner; Erik Peralta Løvaas; Marco Weiss; Andrea Bianchi; Paul Strohmeier

    Connected Material Experiences using Bimanual Vibrotactile Crosstalk in Virtual Reality

    In: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2026), April 13-17, Barcelona, Spain, CHI '26, ISBN 9798400722783, Association for Computing Machinery, 2026.

  10. Alain Pagani; Jose Cano; Haralampos-G. Stratigopoulos; Aysajan Abidin; Mhd Rashed Al Koutayni; Luca Benini; Angelos Bilas; Alessandro Capotondi; Roberto Cavicchioli; Brian Clerkin; Oscar Deniz; Margaux Divernois; Baptiste Dupertuis; Dorvan Favre; Giulio Gambardella; Ander Garcia Gangoiti; Carlo Augusto Grazia; Dominik Gunzel; Jude Haris; Klodjan K. Hidri; Maick Huguenin; Manal Jammal; Paul Kling; Christos Kozanitis; Xavier Lessage; Srikanth Mandapati; Philippe Massonet; Alfio Di Mauro; Varesh Mishra; Juan Odriozola; Javier Parra Dominguez; Nuria Pazos; Viviane Potocnik; Miguel de Prado; Rohit Prasad; Spyridon Raptis; Gregoire Rebstein; Ignacio Sanudo Olmedo; Mohamed Selim; Chinmay Satish Shrivastav; Noelia Vallez; Giorgos Vasiliadis; Micaela Verrucchi; Enrico Vincenzi; Damian Vizar; Devendra Vyas; Stefan Wiehle

    Multi-Partner Project: dAIEDGE - A Network of Excellence for Distributed, Trustworthy, Efficient and Scalable AI at the Edge

    In: Proc. of. Design, Automation & Test in Europe (DATE-2026), IEEE Xplore, 2026.