Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 651 bis 660 von 14806.
  1. EMBOSOM | Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms

    In: Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), Lyon, France, 2025.

  2. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    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-2026), March 11-12, Rostock, Germany, 2025.

  3. Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Symbolic Execution of Unmodified SystemC Peripherals

    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), March 11-12, Rostock, Germany, 2025.

  4. Explanation in Bio-inspired Computing: Towards Understanding of AI Systems

    In: Proceedings of the 1st International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE). International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE-2025), November 21-22, Kolkata, India, IEEE Xplore, 2025.

  5. Ruidi Qiu; Yalin Zhang; Rolf Drechsler; Tsungyi Ho; Ulf Schlichtmann; Bing Li

    ConfiBench: Automatic Testbench Generation with Confidence-Based Scenario Mask and Testbench Ensemble using LLMs for HDL Design

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  6. Conversational Business Process Modeling using LLMs: Initial Results and Challenges

    In: Luise Pufahl; Jana-Rebecca Rehse (Hrsg.). EMISA 2025. International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA-2025), 15th International Workshop on Enterprise Modelling and Information Systems Architectures, located at EMISA 2025, Heilbronn, Germany, Gesellschaft für Informatik e.V. Bonn, 5/2025.

  7. Hamraz Javaheri; Omid Ghamarnejad; Ragnar Bade; Paul Lukowicz; Jakob Karolus; Gregor Alexander Stavrou

    Beyond the visible: preliminary evaluation of the first wearable augmented reality assistance system for pancreatic surgery

    In: International Journal of Computer Assisted Radiology and Surgery (IJCARS), Vol. 20, No. 1, Pages 117-129, Springer, 2025.

  8. Hamraz Javaheri; Omid Ghamarnejad; Paul Lukowicz; Gregor A Stavrou; Jakob Karolus

    From Concept to Clinic: Multidisciplinary Design, Development, and Clinical Validation of Augmented Reality-Assisted Open Pancreatic Surgery

    In: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI), Pages 1-24, ACM, 2025.

  9. Harrison Wilde; Christopher Tomlinson; Bilal A Mateen; David Antony Selby; Hari Krishnan Kanthimathinathan; Spiros Denaxas; Seth Flaxman; Sebastian Vollmer; Christina Pagel; Katherine Brown; CVD-COVID-UK/COVID-IMPACT Consortium

    Trends in pediatric hospital admissions caused or contributed by SARS-CoV-2 infection in England

    In: The Journal of Pediatrics, Vol. 276, No. 114370, Pages 1-1, Elsevier BV, 1/2025.

  10. X-Hacking: The Threat of Misguided AutoML

    In: 42nd International Conference on Machine Learning (ICML) 2025. International Conference on Machine Learning (ICML-2025), July 13-19, Vancouver, BC, Canada, ICML, 2025.