Skip to main content Skip to main navigation

Publications

Displaying results 1831 to 1840 of 15196.

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

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

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

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

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

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

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

  8. Hooman Tavakoli Ghinani; Snehal Walunj; Parsha Pahlevannejad; Christiane Plociennik; Martin Ruskowski

    Small Object Detection for Near Real-Time Egocentric Perception in a Manual Assembly Scenario

    EPIC@CVPR2021 workshop, 6/2021.

  9. Yuriy Anisimov; Gerd Reis; Didier Stricker

    Calibration and Auto-Refinement for Light Field Cameras

    In: 29. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision'2021. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG-2021), International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, May 17-20, Pilsen/Hybrid, Czech Republic, Pages 253-261, Vol. 29, No. 1-2, ISBN 978-80-86943-34-3, Vaclav Skala - UNION Agency, Pilsen, Czech Republic, 2021.

  10. Jumyung Um; Matthieu Rauch; Jy Hascoet; Ian Stroud

    STEP-NC compliant process planning of additive manufacturing: Remanufacturing

    In: International Journal of Advanced Manufacturing Technology, Vol. 88, Pages 1215-1230, Springer, 2017.

Year

More options