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 121 to 130 of 13012.

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

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

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

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

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

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

  7. Sebastian Pütz; Thomas Wiemann; Malte Kleine Piening; Joachim Hertzberg

    Continuous Shortest Paths Vector Field Navigation on 3D Triangular Meshes for Mobile Robots

    In: Proceedings of the IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2021), …

  8. Ralph Bergmann; Manuel Biertz; Lorik Dumani; Mirko Lenz; Anna-Katharina Ludwig; Patrick J. Neumann; Stefan Ollinger; Premtim Sahitaj; Ralf Schenkel; Alex Witry

    The ReCAP Project -- Similarity Methods for Finding Arguments and Argument Graphs

    In: Datenbank-Spektrum (Spektrum), Vol. 20, Pages 93-98, Springer, 2020.

  9. Lukas Malburg; Ronny Seiger; Ralph Bergmann; Barbara Weber

    Using Physical Factory Simulation Models for Business Process Management Research

    In: Adela del-Río-Ortega; Henrik Leopold; Flavia M. Santoro (Hrsg.). Business Process Management Workshops - BPM 2020 International Workshops. …

  10. Clarissa Dietrich; Sebastian Schriml; Ralph Bergmann; Benjamin Raue

    INWEND: Using CBR to automate legal assessment in the context of the EU General Data Protection Regulation

    In: Proceedings of the "Lernen, Wissen, Daten, Analysen" (LWDA) 2020 Workshops: KDML, FGWM, FGWI-BIA, and FGDB. GI-Workshop-Tage "Lernen, Wissen, …

Year

More options