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 51 to 60 of 676.
  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. 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. 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. 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. Lukas Malburg; Manfred-Peter Rieder; Ronny Seiger; Patrick Klein; Ralph Bergmann

    Object Detection for Smart Factory Processes by Machine Learning

    In: The 12th International Conference on Ambient Systems, Networks and Technologies (ANT) / The 4th International Conference on Emerging Data and …

  9. Hardik Arora; Christoph Langenhan; Frank Petzold; Viktor Eisenstadt; Klaus-Dieter Althoff

    METIS-GAN: An approach to generate spatial configurations using deep learning and semantic building models

    In: Proceedings of the European Conference on Product and Process Modeling 2020-2021. European Conference on Product and Process Modeling …

  10. Jürgen Beyerer; Sirko Straube; Thomas Deserno; Igor Tchouchenkov; Armin Wedler

    Kompetent im Einsatz Variable Autonomie Lernender Systeme in lebensfeindlichen Umgebungen

    Lernende Systeme - Die Plattform für künstliche Intelligenz, 2/2021.