Skip to main content Skip to main navigation

Publications

Displaying results 1731 to 1740 of 15132.

  1. Manal Almutairi; Frederic Theodor Stahl; Max Bramer

    ReG-Rules: An Explainable Rule-based Ensemble Learner for Classification

    In: IEEE Access, Vol. 4, No. 2016, Pages 1-22, IEEE Xplore, Piscataway, New Jersey, 2/2021.

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

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

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

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

  6. Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

    Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

    In: Slimane Hammoudi; Luís Ferreira Pires; Bran Selić (Hrsg.). 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Revised Selected Papers. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020), February 25-27, Valletta, Malta, Springer, 2021.

  7. Joachim Hertzberg

    Zukünftige Technologien im Ackerbau -- KI und Robotik auf dem Weg zu vollautomatischen Prozessen

    In: KTBL-Tage 2021: Boden gut machen - neue Ackerbausysteme. KTBL-Tage, March 16-17, Virtual Conference, Pages 136-142, KTBL, 3/2021.

  8. Jakob Michael Schönborn; Pascal Reuss; Carsten Wenzel; Klaus-Dieter Althoff

    Towards a Case-Based Decision Support System for Recruiting Processes using T-Shapes

    In: Judith Michael; Dominik Bork; Ulrich Reimer; Peter Fettke; Marina Tropmann-Frick (Hrsg.). Modellierung 2020 Short, Workshop and Tools & Demo Papers. Workshop Models in Artificial Intelligence, located at Modellierung 2020, February 19-21, Vienna, Austria, Pages 165-171, Vol. 2542, CEUR, 2020.

  9. Klaus-Dieter Althoff; Kerstin Bach; Ralph Bergmann; Mirjam Minor

    The 27th International Conference on Case-Based Reasoning

    In: AI Magazine, Vol. 41, No. 1, Pages 101-102, AAAI, 4/2020.

  10. Viktor Eisenstadt; Christoph Langenhan; Klaus-Dieter Althoff; Andreas Dengel

    Improved and Visually Enhanced Case-Based Retrieval of Room Configurations for Assistance in Architectural Design Education

    In: Ian Watson; Rosina Weber (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR-2020), June 8-12, Salamance, Spain, Pages 213-228, Springer, 2020.

Year

More options