Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 21 to 30 of 12991.

  1. Michael Barz; Daniel Sonntag

    Incremental Improvement of a Question Answering System by Re-ranking Answer Candidates Using Machine Learning

    In: Erik Marchi; Sabato Marco Siniscalchi; Sandro Cumani; Valerio Mario Salerno; Haizhou Li (Hrsg.). Increasing Naturalness and Flexibility in Spoken …

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

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

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

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

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

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

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

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

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

Year

More options