Skip to main content Skip to main navigation

Publications

Displaying results 1271 to 1280 of 5313.

  1. Mohamed Nadeem; Chandan Kumar Jha; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  2. Ruidi Qiu; Grace Li Zhang; Rolf Drechsler; Ulf Schlichtmann; Bing Li

    CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  3. Rune Krauss; Jan Zielasko; Rolf Drechsler

    FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  4. Eleftherios Avramidis; Annika Grützner-Zahn; Manuel Brack; Patrick Schramowski; Pedro Ortiz Suarez; Malte Ostendorff; Fabio Barth; Shushen Manakhimova; Vivien Macketanz; Georg Rehm; Kristian Kersting

    Occiglot at WMT24: European open-source large language models evaluated on translation

    In: Philipp Koehn; Barry Haddow; Tom Kocmi; Christof Monz (Hrsg.). Proceedings of the Ninth Conference on Machine Translation. Conference on Machine Translation (WMT-24), located at EMNLP 2024, November 15-16, Miami, Florida, USA, Association for Computational Linguistics, 11/2024.

  5. Passant Elagroudy; Agnes Grünerbl; Giulia Barbareschi; Jan Spilski; Kai Kunze; Thomas Lachmann; Paul Lukowicz

    mobiCHAI - 1st International Workshop on Mobile Cognition-Altering Technologies (CAT) using Human-Centered AI

    In: MobileHCI '24 Adjunct: Adjunct Proceedings of the 26th International Conference on Mobile Human-Computer Interaction. International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI-2024), September 30 - October 3, Melbourne, Australia, ACM, 2024.

  6. Agnes Grünerbl; Gernot Bahle; Paul Lukowicz

    Challenging the Standards of Mental Care: An Analysis of Self-Rating with respect to Sensor based State Detection

    In: UbiComp '24: Companion of the 2024 on ACM International Joint Conference on Pervasive and Ubiquitous Computi. International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp-2024), October 5-9, Melbourne, Australia, ACM, 2024.

  7. Qiuheng Zhou; Sergiy Melnyk; Donglin Wang; Hans Dieter Schotten

    Evaluation of Transformer Empowered Channel Prediction for 5G and Beyond Communication

    In: 2024 IEEE 100th Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC), October 7-10, Washington D.C. D.C. USA, IEEE, 2024.

  8. Aleksandr Sidorenko; Achim Wagner; Martin Ruskowski

    Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules

    In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2024), September 10-13, Padova, Italy, Pages 1-8, IEEE, 2024.

  9. Pascal Rübel; William Motsch; Hendrik Schäfer; Martin Ruskowski

    On Bringing Fault Detection to Skill-Based Production

    In: Achim Wagner; Kosmas Alexopoulos; Sotiris Makris (Hrsg.). Advances in Artificial Intelligence in Manufacturing. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2023), September 19, Kaiserslautern, Germany, Pages 24-34, ISBN 978-3-031-57496-2, Springer Nature Switzerland, 2024.

  10. Katharina Hengel; Achim Wagner; Martin Ruskowski

    LOS data set: A Large Scale Online Scheduling Benchmark for Flexible Job Shop Problems with Setup and Transportation Times

    In: 2nd European Symposium on Artificial Intelligence in Manufacturing. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2024), October 16, Athens, Greece, ESAIM, 2024.

Year

More options