Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 6 von 12671
  1. 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.

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

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