Skip to main content Skip to main navigation

Publications

Displaying results 391 to 400 of 13250.

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

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

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

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

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

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

  7. 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. International Workshop on Business Processes Meet the Internet-of-Things (BP-Meet-IoT-2020), located at BPMinDIT-2020, September 14, Sevilla, Spain, Pages 95-107, Lecture Notes in Business Information Processing, Vol. 397, Springer, 2020.

  8. 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, Daten, Analysen" (LWDA-2020), located at Intelligent Future Days (IFD) 2020, September 9-11, Bonn/ St. Augustin (ONLINE), Germany, Pages 192-201, CEUR-WS.org, 2020.

  9. Joscha Grüger; Ralph Bergmann; Yavuz Kazik; Martin Kuhn

    Process Mining for Case Acquisition in Oncology: A Systematic Literature Review

    In: Proceedings of the "Lernen, Wissen, Daten, Analysen" (LWDA) 2020 Workshops: KDML, FGWM, FGWI-BIA, and FGDB. GI-Workshop-Tage "Lernen, Wissen, Daten, Analysen" (LWDA-2020), located at Intelligent Future Days (IFD) 2020, September 9-11, Bonn/ St. Augustin (ONLINE), Germany, Pages 162-173, CEUR-WS.org, 2020.

  10. Lukas Malburg; Patrick Klein; Ralph Bergmann

    Semantic Web Services for AI-Research with Physical Factory Simulation Models in Industry 4.0

    In: Hervé Panetto; Kurosh Madani; Alexander V. Smirnov (Hrsg.). Proceedings of the International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2020, Budapest, Hungary, November 2-4, 2020. International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL-2020), November 2-4, Budapest, Hungary, Pages 32-43, ISBN 978-989-758-476-3, SCITEPRESS. 2020.

Year

More options