Skip to main content Skip to main navigation

Publications

Displaying results 1731 to 1740 of 11307.

  1. Weiyan Zhang; Muhammad Hassan; Rolf Drechsler

    Towards ML-based Performance Estimation of Embedded Software: A RISC-V Case Study

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Landau, Germany, 2024.

  2. Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    Towards Completeness: Security Coverage for System Level IFT

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.

  3. Shreya Tayade and Hans D. Schotten (Hrsg.)

    Control Requirements Aware Resource Allocation for Edge-cloud based AGV

    IEEE International Conference on Advanced Networks and Telecommunications Systems (IEEE ANTS-2023), Jaipur India, India, IEEE, 12/2023.

  4. Sebastian Huhn; Rolf Drechsler

    Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

    Springer, 2023.

  5. Jakob Karolus; Sebastian S. Feger; Albrecht Schmidt; Pawel W. Wozniak

    Your Text Is Hard to Read: Facilitating Readability Awareness to Support Writing Proficiency in Text Production

    In: DIS '23: Proceedings of the 2023 ACM Designing Interactive Systems Conference. ACM Designing Interactive Systems (DIS-2023), July 10-14, Pittsburgh, PA, USA, Pages 147-160, ISBN 978-1-4503-9893-0, ACM, New York, NY, USA, 2023.

  6. Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Head of the Beholder: Comparing Different Proof Representations

    In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.

  7. Eduard Anton; Thuy Duong Oesterreich; Markus Aptyka; Frank Teuteberg

    Beyond Digital Data and Information Technology: Conceptualizing Data-Driven Culture

    In: Pacific Asia Journal of the Association for Information Systems (PAJAIS), Vol. 15, No. 3, Pages 1-36, Association for Information Systems, 2023.

  8. Eduard Anton; Julian Schuir; Frank Teuteberg

    The Force of Habit: Examining the Status Quo Bias for Using Mixed Reality in Patient Education

    In: Proceedings of the 55th Hawaii International Conference on System Sciences (HICSS). Hawaii International Conference on System Sciences (HICSS), Association for Information Systems, 2022.

  9. Eduard Anton; Alina Behne; Frank Teuteberg

    The Humans Behind Artificial Intelligence – An Operationalisation of AI Competencies

    In: Twenty-Eighth European Conference on Information Systems (ECIS). European Conference on Information Systems (ECIS), A Virtual AIS Conference, Association for Information Systems, 2020.

  10. Mahdi Chamseddine; Kaufmann Fabian; Schellen Marius; Glock Christian; Didier Stricker; Jason Raphael Rambach

    BIMStruct3D: A Fully Automated Hybrid Learning Scan-to-BIM Pipeline with Integrated Topology Refinement

    In: Computing in Construction. European Conference on Computing in Construction (EC3-2026), 2026 European Conference on Computing in Construction, July 12-15, Corfu, Greece, ISBN 978-90-834513-2-9, EC3, 2026.

Year

More options