Skip to main content Skip to main navigation

Publications

Displaying results 81 to 90 of 807.
  1. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Verifying SystemC TLM Peripherals using Modern C++ Symbolic Execution Tools

    In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC-2022), July 10-14, San Francisco, USA, 2022.

  2. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    SymEx-VP: An Open Source Virtual Prototype for OS-Agnostic Concolic Testing of IoT Firmware

    In: Journal of Systems Architecture: Embedded Software Design (JSA), Vol. 125, Elsevier, 2022.

  3. Wiebke Brinkmann; Leon Cedric Danter; Tobias Stark; Alexander Dettmann; Matteo De Benedetti; Shashank Govindaraj; Irene Sans Nieto; Alexandru But; Francisco Javier Colmenero; Enrique Heredia; Marcedes Alonso

    Mantis Within a Multi Robot Team for Lunar Exploration and Construction Tasks

    In: Proceedings of the 2022 IEEE Aerospace Conference. IEEE Aerospace Conference, March 5-12, Big Sky, Montana, USA, Pages 1-15, IEEE, 3/2022.

  4. Kamalika Datta; Abhoy Kole; Indranil Sengupta; Rolf Drechsler

    Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture

    In: IEEE International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2022), Dallas, Texas, USA, IEEE, 2022.

  5. Tobias Wahl; Dorit Borrmann; Michael Bleier; Andreas Nüchter; Thomas Wiemann; Thomas Hähnel; Nis Aschenbruck

    WIP: Real-world 3D models derived from mobile mapping for ray launching based propagation loss modeling

    In: Proceedings of the 23rd IEEE Symposium on a World of Wireless, Mobile and Multimedia Networks. IEEE Symposium on a World of Wireless, Mobile and Multimedia Networks (WOWMOM-2022), IEEE, 7/2022.

  6. Susanne Boll; Michael Dowling; Wolfgang Faisst; Olga Mordvinova; Alexander Pflaum; Martin Rabe; Eric Veith; Astrid Nieße; Christian Gülpen; Markus Schnell; Orestis Terzidis; Uwe Riss; Christian Eckerle; Sarah Menthey; Alexandra Pehlken; Oliver Zielinski

    Mit Künstlicher Intelligenz zu nachhaltigen Geschäftsmodellen - Nachhaltigkeit von, durch und mit KI

    In: Lernende Systeme - Die Plattform für Künstliche Intelligenz, Vol. 41, Pages 1-55, Plattform Lernende Systeme, München, 2/2022.

  7. Santiago Focke Martínez; Joachim Hertzberg

    Route-planning in output-material-flow arable farming operations aiming for soil protection

    In: Künstliche Intelligenz in der Agrar-und Ernährungswirtschaft?. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2022), located at 42. GIL-Jahrestagung, February 21-22, Ettenhausen, Switzerland, ISBN 978-3-88579-711-1, Köllen Druck & Verlag GmbH, 2022.

  8. Paula Kammler; Christian Heidemann; Kai Lingemann; Karsten Morisse

    Digitaler Experte im Stall: ein Expertensystem am Beispiel des Eutergesundheitsmanagements

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). Künstliche Intelligenz in der Agrar-und Ernährungswirtschaft?. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2022), 42. GIL-Jahrestagung, February 21-22, Tänikon, Switzerland, Pages 153-158, Vol. P-317, ISBN 978-3-88579-711-1, Köllen Druck & Verlag GmbH, 2/2022.

  9. Jan Christoph Krause; Sebastian Röttgermann; Matthias Müter; André Berghaus; Jens Herbers; Stefan Menke; Jaron Martinez; Dominik Nieberg; Arno Ruckelshausen; Naeem Iqbal; Mark Niemeyer; Stefan Stiene; Joachim Hertzberg

    Concept of a Test Environment for the Automated Evaluation of Algorithms for Robust and Reliable Environment Perception

    In: Barbara Sturm; Henning Meyer (Hrsg.). LAND.TECHNIK 2022 The Forum for Agricultural Engineering Innovations. International Conference Agricultural Engineering (LAND.TECHNIK-2022), February 25, virtuell, Germany, ISBN 978-3-18-092395-6, VDI Verlag GmbH, Düsseldorf, 2/2022.

  10. Andreas Winter; Boris Brandherm; Michael Igel; Peter Schegner

    Klassische Stromnetzberechnung in Kombination mit künstlicher Intelligenz zur Analyse und Diagnose von Stromverteilnetzen

    In: VDE FNN / ETG Tutorial Schutz- und Leittechnik. VDE FNN / ETG Tutorial Schutz- und Leittechnik, VDE Verlag GmbH, 2/2022.