Skip to main content Skip to main navigation

Publications

Displaying results 1581 to 1590 of 14470.

  1. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

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

    In: Proceedings of the 7th International Workshop on Secure Hardware, Architecture, and Software (SeHAS'2025). International Workshop on Secure Hardware, Architecture, and Software (SeHAS-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.

  2. Rune Krauss; Jan Zielasko; Rolf Drechsler

    Large-Scale Evolutionary Optimization of Artificial Neural Networks Using Adaptive Mutations

    In: Proceedings of the 7th Workshop on Accelerated Machine Learning (AccML). Workshop on Accelerated Machine Learning (AccML-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.

  3. Fatemeh Shirinzadeh; Kamalika Datta; Saeideh Shirinzadeh; Abhoy Kole; Rolf Drechsler

    Towards Formal Verification for MAC-based In-Memory Computing

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  4. Sören Tempel; Tobias Brandt; Christoph Lüth; Christian Dietrich; Rolf Drechsler

    Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

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

  5. Dev Narayan Yadav; Phrangboklang Lyngton Thangkhiew; F Lalchhandama; Kamalika Datta; Rolf Drechsler; Indranil Sengupta

    Improving Self-Fault-Tolerance Capability of Memristor Crossbar Using a Weight-Sharing Approach

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2024), December 17-20, Ahmedabad, India, 2024.

  6. Yousef Koka

    Learn2Clean Event Data

    Mastersthesis, German University in Cairo, 8/2024.

  7. Rolf Drechsler; Christina Plump; Martha Schnieber

    The Future is Hybrid: Next Generation Data Structures for Formal Verification

    In: Rolf Drechsler; Christina Plump; Martha Schnieber (Hrsg.). 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  8. Sabine Blaschke; Harald Dormann; Rajan Somasundaram; Christoph Dodt; Ingo Graeff; Hans-Jörg Busch; Bernadett Erdmann; Marc Wieckenberg; Christoph Haedicke; Katrin Esslinger; Elisabeth Nyoungui; Tim Friede; Felix Walcher; Julia Talamo; Julia K. Wolff; OPTINOFA Study Group; Wilhelm Behringer; Ulrich Heida; Thomas Ruhnke; Christian Günster; Patrik Dröge; Michael Schmucker; Martin Haag; Michael Dietrich; Wiebke Schirrmeister; Felix Greiner; Paul Ludolph; Hans-Dieter Nolting; Kerstin Pischek-Koch; Stefanie Wache; Irina Chaplinskaya-Sobol; Dagmar Krefting; Kai Antweiler; Eva Hummers; Marina Karg; Jennifer Lenz; Kathrein Munski; Andreas Brockmann; Wiebke Boehne; Heike Teupe

    Strukturierte Ersteinschätzung in der Notaufnahme mittels des intelligenten Assistenzdienstes OPTINOFA

    In: Medizinische Klinik - Intensivmedizin und Notfallmedizin, Vol. 119, No. 9, Pages 751-762, SPRINGER NATURE, 12/2024.

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

    LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  10. Lars Krupp; Steffen Steinert; Maximilian Kiefer-Emmanouilidis; Karina E. Avila; Paul Lukowicz; Jochen Kuhn; Stefan Küchemann; Jakob Karolus

    Challenges and Opportunities of Moderating Usage of Large Language Models in Education

    In: Proceedings of the International Conference on Mobile and Ubiquitous Multimedia. International Conference on Mobile and Ubiquitous Multimedia (MUM-2024), December 1-4, Stockholm, Sweden, MUM '24, ISBN 9798400712838, Association for Computing Machinery, 2024.

Year

More options