Skip to main content Skip to main navigation

Publications

Displaying results 1251 to 1260 of 14520.

  1. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  2. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.

  3. Caroline Dominik; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  4. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  5. Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

    Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), February 21-23, Rome, Italy, Pages 175-184, Vol. 2, ISBN 978-989-758-688-0, SciTePress, 2024.

  6. André Meyer-Vitali

    AI Engineering for Trust by Design

    In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering. Model-Based Software and Systems Engineering (MBSE-2024), February 21-23, Rome, Italy, Pages 357-364, Vol. 1: MBSE-AI Integration, ISBN 978-989-758-682-8, SciTePress Digital Library, 2/2024.

  7. Sabisan Santhakumaran; Tobias Rossol; Elsa Andrea Kirchner

    Towards muscle sensing by a non-contact optical systemusing photogrammetry

    In: Biomedical Engineering / Biomedizinische Technik, Vol. 68, No. s1 - Abstracts of the 57th Annual Meeting of the German Society of Biomedical Engineering 26 - 28 September 2023, Duisburg, including: The Artificial Vision Symposium - The International Symposium on Visual Prosthetics, De Gruyter, 9/2023.

  8. Yassin Alkhalili; Manisha Luthra; Amr Rizk; Boris Koldehofe

    3-D Urban Objects Detection and Classification From Point Clouds

    In: Proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems. ACM International Conference on Distributed and Event-Based Systems (DEBS-2019), 13th ACM International Conference on Distributed and Event-Based Systems, Darmstadt, Germany, Pages 209-213, DEBS '19, ISBN 9781450367943, Association for Computing Machinery, 2019.

  9. Martin Pfannemüller; Janick Edinger; Markus Weckesser; Roland Kluge; Manisha Luthra; Robin Klose; Christian Becker; Andy Schürr

    Demo: Visualizing Adaptation Decisions in Pervasive Communication Systems

    In: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE International Conference on Pervasive Computing and Communications (PerCom-2019), 22nd International Conference on Pervasive Computing and Communications, Pages 335-337, IEEE, 3/2019.

  10. Martin Pfannemüller; Markus Weckesser; Roland Kluge; Janick Edinger; Manisha Luthra; Robin Klose; Christian Becker; Andy Schürr

    CoalaViz: Supporting Traceability of Adaptation Decisions in Pervasive Communication Systems

    In: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops). IEEE International Conference on Pervasive Computing and Communications (PerCom-2019), 22nd International Conference on Pervasive Computing and Communications, Pages 590-595, IEEE, 3/2019.

Year

More options