Skip to main content Skip to main navigation

Publications

Displaying results 621 to 630 of 14608.

  1. Michael Barz; Panagiotis Karagiannis; Johan Kildal; Andoni Rivera Pinto; Judit Ruiz de Munain; Jesús Rosel; Maria Madarieta; Konstantina Salagianni; Panagiotis Aivaliotis; Sotiris Makris; Daniel Sonntag

    MASTER-XR: Mixed Reality Ecosystem for Teaching Robotics in Manufacturing

    In: Mohammad-Reza Alam; Madjid Fathi (Hrsg.). Integrated Systems: Data Driven Engineering. Pages 167-182, ISBN 978-3-031-53652-6, Springer, 2024.

  2. Payam Habiby; Fatemeh Shirinzadeh; Rolf Drechsler

    An Evolutionary Approach to Reconfigurable Scan Network Design

    In: 36. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2024), February 25-27, Darmstadt, Germany, 2024.

  3. Weiyan Zhang; Muhammad Hassan; Rolf Drechsler

    Towards ML-based Performance Estimation of Embedded Software: A RISC-V Case Study

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Landau, Germany, 2024.

  4. Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    Towards Completeness: Security Coverage for System Level IFT

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.

  5. Shreya Tayade and Hans D. Schotten (Hrsg.)

    Control Requirements Aware Resource Allocation for Edge-cloud based AGV

    IEEE International Conference on Advanced Networks and Telecommunications Systems (IEEE ANTS-2023), Jaipur India, India, IEEE, 12/2023.

  6. Sebastian Huhn; Rolf Drechsler

    Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

    Springer, 2023.

  7. Jakob Karolus; Sebastian S. Feger; Albrecht Schmidt; Pawel W. Wozniak

    Your Text Is Hard to Read: Facilitating Readability Awareness to Support Writing Proficiency in Text Production

    In: DIS '23: Proceedings of the 2023 ACM Designing Interactive Systems Conference. ACM Designing Interactive Systems (DIS-2023), July 10-14, Pittsburgh, PA, USA, Pages 147-160, ISBN 978-1-4503-9893-0, ACM, New York, NY, USA, 2023.

  8. Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Head of the Beholder: Comparing Different Proof Representations

    In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.

  9. Frederik Wiehr; Adrien Unger; Antonio Krüger

    HapticPole: Running Navigation Through Skin Drag and Shape Change

    In: Proceedings of the Augmented Humans International Conference 2023. Augmented Humans International Conference (AHs-2023), New York, NY, USA, AHs '23, ISBN 9781450399845, Association for Computing Machinery, 2023.

  10. Ingo Siegert; Stefan Hillmann; Philline Görzig; Matthias Busch; Jan Nehring; Xenia Klinge

    Die Chatbot-Challenge – Spielend mit KI von der Idee zum Dialogsystem

    In: Maike Klein; Daniel Krupka; Cornelia Winter; Volker Wohlgemuth (Hrsg.). INFORMATIK 2023 - Designing Futures: Zukünfte gestalten. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2023), Designing Futures: Zukünfte gestalten, September 26-29, Berlin, Berlin, Germany, ISBN 978-3-88579-731-9. Gesellschaft für Informatik e.V. 2023.

Year

More options