Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 2831 bis 2840 von 15161.

  1. Daniel Tille; Leon Klimasch; Sebastian Huhn

    A Novel LBIST Signature Computation Method for Automotive Microcontrollers using a Digital Twin

    In: 41st IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2023), April 24-26, San Diego, CA, USA, 2023.

  2. Sebastian Rahn; Philipp Gehricke; Can-Leon Petermöller; Eric Neumann; Philipp Schlinge; Leon Rabius; Henning Termühlen; Christopher Sieh; Marco Tassemeier; Thomas Wiemann; Mario Porrmann

    ReDroSe — Reconfigurable Drone Setup for Resource-efficient SLAM

    In: Proceedings of th 2023 Workshop on Drone Systems Engineering. Drone Systems Engineering (DroneSE-2023), January 17-18, Tolouse, France, ACM Digital LIbrary, 2023.

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

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

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

  6. Marian Renz; Mark Niemeyer; Joachim Hertzberg

    Towards model-based automation of plant-specific weed regulation

    In: Referate der 43. GIL-Jahrestagung. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023), Resiliente Agri-Food-Systeme, February 13-14, Osnabrück, Germany, Pages 207-218, Vol. P-330, ISBN 978-3-88579-724-1, Köllen Druck+Verlag GmbH, Bonn, 2/2023.

  7. Christa Hoffmann; Anthony Stein; Arno Ruckelshausen; Henning Müller; Thilo Steckel; Helga Floto (Hrsg.)

    Informatik in der Land-, Forst- und Ernährungswirtschaft. Referate der 43. GIL-Jahrestagung, 13.-14. Februar 2023

    Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023), February 13-14, Osnabrück, Germany, LNI, Vol. 330, ISBN 978-3-88579-724-1, Gesellschaft für Informatik, 2/2023.

  8. Julia Mayer; Martin Memmel

    Mit Metadaten durch den urbanen Datendschungel - Verwaltung und Nutzung kommunaler Daten im Forschungsprojekt "Ageing Smart - Räume intelligent gestalten"

    In: vhw Verbandszeitschrift, Vol. 2023, No. 1, Pages 5-8, vhw - Bundesverband für Wohnen und Stadtentwicklung e.V. 2/2023.

  9. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    New Directions for Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits

    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.

  10. Lennart Weingarten; Alireza Mahzoon; Mehran Goli; Rolf Drechsler

    Polynomial Formal Verification of a Processor: A RISC-V Case Study

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

Jahr

Mehr Optionen