Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 12756.

  1. Klaus Bengler; Werner Damm; Andreas Luedtke; Jochem Rieger; Benedikt Austel; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Alyssa J Kerscher; Forrest Laine; Sebastian Lehnhoff; Alexander Pretschner; Astrid Rakow; Daniel Sonntag; Janos Sztipanovits; Maike Schwammberger; Mark Schweda; Anirudh Unni; Eric Veith

    A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction

    In: ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 8, Pages 1-27, ACM, 1/2024.

  2. László Kopácsi; Benjámin Baffy; Gábor Baranyi; Joul Skaf; Gábor Sörös; Szilvia Szeier; András Lőrincz; Daniel Sonntag

    Cross-Viewpoint Semantic Mapping: Integrating Human and Robot Perspectives for Improved 3D Semantic Reconstruction

    In: Sensors - Open Access Journal (Sensors), Vol. 23, No. 11, Pages 1-17, MDPI, 5/2023.

  3. 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: Innovations and Applications: Results of the 8th International Conference on …

  4. 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 …

  5. 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 …

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

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

  8. Sebastian Huhn; Rolf Drechsler

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

    Springer, 2023.

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

  10. 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, …

Year

More options