Skip to main content Skip to main navigation

Publications

Displaying results 1651 to 1660 of 14744.

  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. Peter Fettke; Hans-Georg Fill; Julius Köpke

    LLM, LAM, LxM agent: From talking to acting machines: Insights from the perspective of conceptual modeling

    In: Enterprise Modelling and Information Systems Architectures. An International Journal (EMISA), Vol. 20, Pages 0-0, GI e.V. 2025.

  6. Lara Chehayeb; Chirag Bhuvaneshwara; Manuel Anglet; Bernhard Hilpert; Ann-Kristin Meyer; Dimitra Tsovaltzi; Patrick Gebhard; Antje Biermann; Sinah Auchtor; Nils Lauinger; Julia Knopf; Andreas Kaiser; Fabian Kersting; Gregor Mehlmann; Florian Lingenfelser; Elisabeth André; Anna Welker; Kai Karren; Ruben Segundo; Garcia Ucharima; Dorothea Irmisch; Timo Sowa; Massimo Romanelli

    Development of a Mixed-Reality Interactive Training System to Support Professional Socio-Emotional Interactions - MITHOS

    In: Jana Tröge; Jan Stepczynski; Heike Wiesner; Christoph Runde. Virtuelle Beteiligung, reale Teilhabe: Transformative Technologien für eine inklusivere Gesellschaft. Pages 119-142, ISBN 9783593521312, 9783593462608, Campus Verlag, 2025.

  7. Fabrizio Nunnari; Dimitra Tsovaltzi; Matteo Lavit Nicora; Sebastian Beyrodt; Pooja Prajod; Lara Chehayeb; Ingrid Brdar; Antonella Delle Fave; Luca Negri; Elisabeth André; others

    Socially interactive industrial robots: a PAD model of flow for emotional co-regulation

    In: Frontiers in Robotics and AI, Vol. 11, Pages 1-26, frontiers, 2025.

  8. Stina Klein; Pooja Prajod; Katharina Weitz; Matteo Lavit Nicora; Dimitra Tsovaltzi; Elisabeth André

    Communicating Through Avatars in Industry 5.0: A Focus Group Study on Human-Robot Collaboration

    In: CHIWORK '25 Adjunct: Adjunct Proceedings of the 4th Annual Symposium on Human-Computer Interaction for Work. Annual Symposium on Human-Computer Interaction for Work (CHIWORK-2025), 4th Annual Symposium on Human-Computer Interaction for Work, located at ACM, June 23-25, Amsterdam, Netherlands, Pages 1-8, ISBN 979-8-4007-1397-2, ACM, 6/2025.

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

  10. Khurram Azeem Hashmi; Talha Uddin Sheikh; Didier Stricker; Muhammad Zeshan Afzal (Hrsg.)

    IEEE/CVF Winter Conference on Applications of Computer Vision

    IEEE Winter Conference on Applications of Computer Vision (WACV-2025), IEEE Computer Society, 2025.

Year

More options