Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 15067.

  1. Tom Vincent Slawik; Leif Christensen; Frank Kirchner

    Recent advances in tracking control of hydrobatic AUVs

    In: at - Automatisierungstechnik, Vol. 74, No. 2, Pages 91-101, De Gruyter, 3/2026.

  2. Luca Müller; Khushboo Qayyum; Nele Hugo; Muhammad Hassan; Rolf Drechsler

    Automation of Polynomial Formal Verification using Large Language Models

    In: 44th IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2026), April 27-29, Napa, USA, 2026.

  3. Rolf Drechsler

    LLM-based Generation of High-Level Benchmarks for MVL Designs

    In: IEEE International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2026), May 19-21, Sendai, Japan, 2026.

  4. Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Integrating Optical Probing Security Evaluation Framework Into ASIC Design Flow

    In: Workshop on Nano Security on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  5. Caroline Dominik; Rolf Drechsler

    Using Virtual Prototypes for Causal Fault Explanation at System Level

    In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.

  6. Sara-Jane Bittner; Michael Barz; Daniel Sonntag

    FunduScope: a human-centered, machine learning-based interactive tool for training junior ophthalmologists in diabetic retinopathy detection

    In: Frontiers in Big Data, Vol. Volume 9 - 2026, Pages 1-14, Frontiers Media SA, 3/2026.

  7. Jürgen Mangler; Ronny Seiger; Janik-Vasily Benzin; Joscha Grüger; Yusuf Kirikkayis; Florian Gallik; Lukas Malburg; Matthias Ehrendorfer; Yannis Bertrand; Marco Franceschetti; Barbara Weber; Stefanie Rinderle-Ma; Ralph Bergmann; Estefanía Serral Asensio; Manfred Reichert

    From Internet of Things Data to Business Processes: Challenges and a Framework

    In: Giancarlo Fortino; Massimo Mecella. Internet of Things Meets Business Process Management: A Synergistic Integration. Pages 25-61, ISBN 978-3-031-90746-3, Springer, 2026.

  8. Ahmed H. Elsayed; Christoph Manss; Tarek Elmihoub; Andrej Lejman; Frederic Theodor Stahl

    Towards Robotic Lake Maintenance: Integrating SONAR and Satellite Data to Assist Human Operators

    In: Proceedings of the 12th International Conference on Mechatronics and Robotics Engineering (ICMRE 2026). International Conference on Mechatronics and Robotics Engineering (ICMRE-2026), March 2-4, Oldenburg, Germany, Pages 143-148, ISBN 979-8-3315-6366-0, IEEE Xplore, 5/2026.

  9. Hacane Hechehouche; André Antakli; Matthias Klusch

    LLM-Assisted Modeling of Semantic Web-Enabled Multi-Agents Systems with AJAN

    In: Proc. 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), Scitepress, 2026.

  10. Leonard Frank Neis; André Antakli; Matthias Klusch

    CARJAN: Agent-Based Generation and Simulation of Traffic Scenarios with AJAN

    In: Proc. 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), Scitepress, 2026.

Jahr

Mehr Optionen