Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2021
Alle Filter entfernen
Zeige Ergebnisse 101 bis 110 von 677.

  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 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2021), March 18-19, München/Virtual, Germany, 2021.

  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 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2021), March 18-19, München/Virtual, Germany, 2021.

  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 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2021), March 18-19, München/Virtual, Germany, 2021.

  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 Cyber-Physical Systems (ICPS-2021), May 10-12, Victoria/Virtual, BC, Canada, IEEE, 5/2021.

  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), May 30 - June 5, Xi'an, China, IEEE, 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 Industry 4.0 (EDI40) / Affiliated Workshops. International Conference on Emerging Data and Industry 4.0 (EDI40-2021), March 23-26, Warsaw, Poland, Pages 581-588, Procedia Computer Science, Vol. 184, 2021, Elsevier, 2021.

  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 (ECPPM-2021), May 5-7, Moscow, Russian Federation, European Association of Product and Process Modelling, 2021.

  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.

Jahr