Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 12774
  1. Security Coverage Metrics for Information Flow at the System Level

    In: 29th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2024), January …

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

    A Reference Architecture of Human Cyber-Physical Systems – Part I: Fundamental Concepts

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

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

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

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

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

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

  8. Towards Remote Expert Supported Autonomous Assistant Robots in Shopping Environments

    In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction …

  9. Streamlined Acquisition of Large Sensor Data for Autonomous Mobile Robots to Enable Efficient Creation and Analysis of Datasets

    In: 2024 IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2024), May 13-17, …

  10. Carsten Maletzki; Christian Elsenbast; Melanie Reuter-Oppermann

    Towards Human-AI Interaction in Medical Emergency Call Handling

    In: Tung X. Bui (Hrsg.). 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, …