Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 782.
  1. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2024.

  2. Sallar Ahmadi-Pour; Rolf Drechsler

    MicroRV32, A RISC-V Platform for Education and Research

    In: 1st Soft RISC-V Systems Workshop (SRvS Workshop). Soft RISC-V Systems Workshop (SRvS-2025), November 7-8, Online, 2024.

  3. Smart Contract Design for Adaptive SLA Management in Autonomous Service Chains

    In: 2024 IEEE Globecom Workshops (GC Wkshps): BlockSecSDN: Blockchain for Secure Software-defined Networking in Smart Communities. IEEE Global Communications Conference Workshops (Globeccom Wkshps-2024), December 8-12, Capetown, South Africa, IEEE, 12/2024.

  4. Federated Learning for Blind Image Super-Resolution

    In: International Conference on Neural Information Processing (ICONIP). International Conference on Neural Information Processing (ICONIP-2024), December 2-6, IEEE, nstitute of Electrical and Electronics Engineers (IEEE), 2024.

  5. On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice

    In: Tiziana Margaria; Bernhard Steffen (Hrsg.). 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, (ISOLA 2024),Crete, Greece, October 27–31, 2024, Part IV. International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISOLA-2024), October 27-31, Heraklion, Greece, LNCS, Vol. 15222, Springer Cham, 10/2024.

  6. Sahar Abdelnabi; Amr Gomaa; Sarath Sivaprasad; Lea Schönherr; Mario Fritz

    Cooperation, Competition, and Maliciousness: LLM-Stakeholders Interactive Negotiation

    In: Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2024), located at The Thirty-eight Conference on Neural Information Processing Systems Datasets and Benchmarks Track, December 10-15, Vancouver, British Columbia, Canada, NeurIPS, 2024.

  7. Felix Goldau; Max Pascher; Annalies Baumeister; Patrizia and Tolle; Jens Gerken; Udo Frese

    Adaptive Control in Assistive Application - A Study Evaluating Shared Control by Users with Limited Upper Limb Mobility

    In: 2024 33nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). IEEE International Conference on Robot and Human Interactive Communication (RO-MAN-2024), 33nd IEEE International Conference on Robot and Human Interactive Communication, August 26-30, Pasadena, CA, USA, IEEE, 2024.

  8. Devansh Srivastav; Thomas Kaltbach; Ahmer Akhtar Mughal; Nischal Giriyan; Moaz Bin Younus; Tobias Jungbluth; Jochen Britz; Jan Alexandersson; Maurice Rekrut

    Mindful Mobility: EEG-Based Brain-Computer Interaction for Elevator Control Using Muse Headset

    In: Proceedings of the International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2024). International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI-2024), November 27-30, Ulster University, Belfast, United Kingdom, Springer, 2024.

  9. Dietmar Seipel; Marcel Waleska; Daniel Weidner; Sven Rausch; Martin Atzmueller

    Post--Mining on Association Rule Bases

    In: Proc. European Conference on Artificial Intelligence Workshops. European Conference on Artificial Intelligence (ECAI-2023), Pages 23-35, Springer, 2024.