Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 10632.
  1. Analysis and Assessment of Multi-Agent Systems for Production Planning and Control

    In: Francisco J. G. Silva; António B. Pereira; Raul D. S. G. Campilho (Hrsg.). Flexible Automation and Intelligent Manufacturing: Establishing Bridges …

  2. Magnus Volkmann; Andreas Wagner; Jesko Hermann; Martin Ruskowski

    Asset Administration Shells and GAIA-X Enabled Shared Production Scenario

    In: Francisco J. G. Silva; Luís Pinto Ferreira; José Carlos Sá; Maria Teresa Pereira; Carla M. A. Pinto (Hrsg.). Flexible Automation and Intelligent …

  3. Felix Theusch; Lukas Seemann; Achim Guldner; Stefan Naumann; Ralph Bergmann

    Towards Machine Learning-based Digital Twins in Cyber-Physical Systems

    In: Gianfranco Lombardo; Marco Picone; Diego Reforgiato Recupero; Giuseppe Vizzari (Hrsg.). Proceedings of The First Workshop on AI for Digital Twins …

  4. Camera-based position analysis system for cyclists ordering in bicycle swarms

    In: Workshop on Smart Urban Micromobility. Mensch und Computer (MuC-2023), September 3-6, Zürich, Switzerland, ACM, 2023.

  5. Sana Hassan Imam; Christopher Metz; Lars Hornuf; Rolf Drechsler

    Classifying Crowdsouring Platform Users’ Engagement Behaviour using Machine Learning and XAI

    In: UCAI 2023: Workshop on User-Centered Artificial Intelligence. Workshop on User-Centered Artificial Intelligence (UCAI-2023), located at Mensch und …

  6. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

    Polynomial Formal Verification exploiting Constant Cutwidth

    In: 34th International Workshop on Rapid System Prototyping (RSP). International Symposium on Rapid System Protoyping (RSP-2023), September 21, …

  7. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    RC-IJTAG: A Methodology for Designing Remotely-Controlled IEEE 1687 Scan Networks

    In: 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT). IEEE International Symposium on Defect …

  8. Efficient ML-Based Performance Estimation Approach across Different Microarchitectures for RISC-V Processors

    In: Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2023), September 6-8, Durres, …

  9. ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars

    In: ACM Transactions on Embedded Computing Systems (TECS), ACM, 2023.

  10. Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

    Toward System-Level Assertions for Heterogeneous Systems

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.