Skip to main content Skip to main navigation

Publications

Displaying results 571 to 580 of 14764.

  1. Sören Tempel; Tobias Brandt; Christoph Lüth; Christian Dietrich; Rolf Drechsler

    Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  2. Dev Narayan Yadav; Phrangboklang Lyngton Thangkhiew; F Lalchhandama; Kamalika Datta; Rolf Drechsler; Indranil Sengupta

    Improving Self-Fault-Tolerance Capability of Memristor Crossbar Using a Weight-Sharing Approach

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2024), December 17-20, Ahmedabad, India, 2024.

  3. Yousef Koka

    Learn2Clean Event Data

    Mastersthesis, German University in Cairo, 8/2024.

  4. Rolf Drechsler; Christina Plump; Martha Schnieber

    The Future is Hybrid: Next Generation Data Structures for Formal Verification

    In: Rolf Drechsler; Christina Plump; Martha Schnieber (Hrsg.). 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  5. Sabine Blaschke; Harald Dormann; Rajan Somasundaram; Christoph Dodt; Ingo Graeff; Hans-Jörg Busch; Bernadett Erdmann; Marc Wieckenberg; Christoph Haedicke; Katrin Esslinger; Elisabeth Nyoungui; Tim Friede; Felix Walcher; Julia Talamo; Julia K. Wolff; OPTINOFA Study Group; Wilhelm Behringer; Ulrich Heida; Thomas Ruhnke; Christian Günster; Patrik Dröge; Michael Schmucker; Martin Haag; Michael Dietrich; Wiebke Schirrmeister; Felix Greiner; Paul Ludolph; Hans-Dieter Nolting; Kerstin Pischek-Koch; Stefanie Wache; Irina Chaplinskaya-Sobol; Dagmar Krefting; Kai Antweiler; Eva Hummers; Marina Karg; Jennifer Lenz; Kathrein Munski; Andreas Brockmann; Wiebke Boehne; Heike Teupe

    Strukturierte Ersteinschätzung in der Notaufnahme mittels des intelligenten Assistenzdienstes OPTINOFA

    In: Medizinische Klinik - Intensivmedizin und Notfallmedizin, Vol. 119, No. 9, Pages 751-762, SPRINGER NATURE, 12/2024.

  6. Khushboo Qayyum; Sallar Ahmadi-Pour; Chandan Jha; Muhammad Hassan; Rolf Drechsler

    LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  7. Luis Perotti; Oskar Stamm; Michael Dietrich; Ilona Buchem; Ursula Müller-Werdan

    The usability and user experience of an interactive e-learning platform to empower older adults when using electronic personal health records: an online intervention study

    In: Universal Access in the Information Society, Vol. 0, Pages 0-0, Springer, 6/2024.

  8. Sara-Jane Bittner; Robert Andreas Leist; László Kopácsi; Omair Shahzad Bhatti; Abdulrahman Mohamed Selim; Michael Barz; Daniel Sonntag

    Interactive Multimodal Photobook Co-Creation in Virtual Reality

    In: Companion Proceedings of the 30th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-2025), March 24-27, Cagliari, Italy, Pages 146-151, ISBN 979-8-4007-1409-2, Association for Computing Machinery, New York, NY, USA, 3/2025.

  9. Sara-Jane Bittner; Michael Barz; Hans-Jürgen Profitlich; Mika P. Nieminen; Daniel Sonntag

    FunduScope: A Human-centered Tool for ML-assisted e-Learning in Ophthalmology

    In: Companion Proceedings of the 30th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-2025), March 24-27, Cagliari, Italy, Pages 141-145, ISBN 9798400714092, Association for Computing Machinery, New York, NY, USA, 3/2025.

  10. Siting Liang; Daniel Sonntag

    Explainable Biomedical Claim Verification with Large Language Models

    In: Joint Proceedings of the ACM IUI Workshops 2025. International Conference on Intelligent User Interfaces (IUI-2025), ACM IUI Workshops 2025, located at IUI-2025, March 24-27, Cagliari, Italy, Joint Proceedings of the ACM IUI Workshops 2025, 3/2025.

Year

More options