Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2023
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 754.

  1. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Processor Verification using Symbolic Execution: A RISC-V Case-Study

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  2. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Floating Point Adders

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  3. Desiree Heim; Christian Jilek; Heiko Maus; Andreas Dengel

    A Retrospective Context Mining Approach For Bootstrapping Personal Knowledge Assistants

    In: Pascal Reuss; Viktor Eisenstadt; Jakob Schönborn; Jero Schäfer (Hrsg.). Lernen, Wissen, Daten, Analysen 2022. GI-Workshop-Tage "Lernen, Wissen, Daten, Analysen" (LWDA-2022), October 5-7, Hildesheim, Germany, 2/2023.

  4. Ahtisham Abbasi; Areeb Agha; Sheraz Ahmed; Andreas Dengel

    NP-BERT: A Two-Staged BERT Based Nucleosome Positioning Prediction Architecture For Multiple Species

    In: BIOSTEC 2023 - 16th International Joint Conference on Biomedical Engineering Systems and Technologies - Final Program and Book of Abstracts. International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS-2023), located at BIOSTEC 2023, February 16-18, Lisbon, Portugal, Pages 175-187, SCITEPRESS, 2/2023.

  5. David Dembinsky; Fatemeh Azimi; Federico Raue; Jörn Hees; Sebastian Palacio; Andreas Dengel

    Sequential Spatial Transformer Networks for Salient Object Classification

    In: Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2023), located at 12th International Conference on Pattern Recognition Applications and Methods, February 22-24, Lissabon, Portugal, scitepress, 2/2023.

  6. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    Remote Configuration Methodology for IEEE 1687 Scan Networks

    In: 35. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2023), February 26-28, Erfurt, Germany, 2023.

  7. Tim Meywerk; Vladimir Herdt; Rolf Drechsler

    Coverage-guided Fuzzing for Plan-based Robotics

    In: 15th International Conference on Agents and Artificial Intelligence (ICAART). International Conference on Agents and Artificial Intelligence (ICAART-2023), February 22-24, Lissabon, Portugal, 2023.

  8. Simon Komesker; Jonathan Bartels; Achim Wagner; Martin Ruskowski

    Multi-agent Interaction Structure for Enabling Subsidiary Planning and Control in Modular Production Systems

    In: Niklas Kiefl; Frederik Wulle; Clemens Ackermann; Daniel Holder (Hrsg.). Advances in Automotive Production Technology -- Towards Software-Defined Manufacturing and Resilient Supply Chains. Stuttgart Conference on Automotive Production (SCAP), Cham, Pages 354-364, ISBN 978-3-031-27933-1, Springer International Publishing, 2023.

  9. Katharina Justmann; Ludwig Leurs; Jesko Hermann; Martin Ruskowski

    Automation of an industrial OPC UA FX use case through the usage of proactive Asset Administration Shells

    Universitätsbibliothek Otto-von-Guericke-Universität, 2023.

  10. Jonas Weigand; Julian Götz; Jonas Ulmen; Martin Ruskowski

    Dataset and Baseline for an Industrial Robot Identification Benchmark.(2023)

    2023.

Jahr