Skip to main content Skip to main navigation

Publications

Displaying results 4081 to 4090 of 14456.

  1. Charlie Street; Sebastian Pütz; Manuel Mühlig; Nick Hawes; Bruno Lacerda

    Congestion-Aware Policy Synthesis for Multi-Robot Systems

    In: IEEE Transactions on Robotics (T-RO), Vol. 36, IEEE, 2021.

  2. Jan Nehring; Akhyar Ahmed

    Normalisierungsmethoden für Intent Erkennung Modularer Dialogsysteme

    In: Benjamin Weiss Stefan Hillmann (Hrsg.). Tagungsband der 32. Konferenz. Elektronische Sprachsignalverarbeitung (ESSV-2021), March 3-5, Berlin/Virtual, Germany, TUDpress, 2021.

  3. Xiaotong Cui; Samah Mohamed Saeed; Alwin Zulehner; Robert Wille; Kaijie Wu; Rolf Drechsler; Ramesh Karri

    On the Difficulty of Inserting Trojans in Reversible Computing Architectures

    In: IEEE Transactions on Emerging Topics in Computing, Vol. 8, No. 4, Pages 960-972, IEEE, 2020.

  4. Manal Almutairi; Frederic Theodor Stahl; Max Bramer

    ReG-Rules: An Explainable Rule-based Ensemble Learner for Classification

    In: IEEE Access, Vol. 4, No. 2016, Pages 1-22, IEEE Xplore, Piscataway, New Jersey, 2/2021.

  5. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

    In: 24. Workshop 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-2021), March 18-19, München/Virtual, Germany, 2021.

  6. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

    Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion

    In: 24. Workshop 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-2021), March 18-19, München/Virtual, Germany, 2021.

  7. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

    VP-based DIFT for Embedded Binaries: A RISC-V Case Study

    In: 24. Workshop 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-2021), March 18-19, München/Virtual, Germany, 2021.

  8. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing

    In: 58th Design Automation Conference (DAC). Design Automation Conference (DAC-2021), December 5-9, San Francisco, CA, USA, 2021.

  9. Michael Gundall; Christopher Huber; Sergiy Melnyk; Hans Dieter Schotten

    Extending Reference Broadcast Infrastructure Synchronization Protocol in IEEE 802.11 as Enabler for the IIoT

    In: Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS). IEEE International Conference on Industrial Cyber-Physical Systems (ICPS-2021), May 10-12, Victoria/Virtual, BC, Canada, IEEE, 5/2021.

  10. Christian Schorr; Payman Goodarzi; Fei Chen; Tim Dahmen

    Neuroscope: An Explainable AI Toolbox for Semantic Segmentation and Image Classification of Convolutional Neural Nets

    In: Antonio Fernández-Caballero (Hrsg.). Applied Sciences, Vol. 11 - Special Issue on Explainable AI, No. 5, Pages 2199-2215, MDPI, Basel, 3/2021.

Year

More options