Skip to main content Skip to main navigation

Publications

Displaying results 1711 to 1720 of 2318.

  1. Yassine El Kheir; Younes Samih; Suraj Maharjan; Tim Polzehl; Sebastian Möller

    Comprehensive Layer-wise Analysis of SSL Models for Audio Deepfake Detection

    In: Luis Chiruzzo; Alan Ritter; Lu Wang (Hrsg.). Findings of the Association for Computational Linguistics: NAACL 2025. Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics (NAACL-2025), April 29 - May 4, Albuquerque, USA, Pages 4070-4082, ISBN 979-8-89176-195-7, Association for Computational Linguistics, 4/2025.

  2. Qianli Wang; Nils Feldhus; Simon Ostermann; Luis Felipe Villa Arenas; Sebastian Möller; Vera Schmitt

    FitCF: A Framework for Automatic Feature Importance-guided Counterfactual Example Generation

    In: Mohammad Taher Pilehvar; Ekaterina Shutova; Wanxiang Che; Joyce Nabende (Hrsg.). Findings of the Association for Computational Linguistics: ACL 2025. Annual Meeting of the Association for Computational Linguistics (ACL-2025), The 63rd Annual Meeting of the Association for Computational Linguistics, located at ACL 2025 Findings, July 27 - August 1, Vienna, Austria, Association for Computational Linguistics, 2025.

  3. Thorsten Krause; Lorena Göritz; Robin Gratz

    The Effect of Gender De-biased Recommendations — A User Study on Gender-specific Preferences

    In: CHI '25: Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2025), Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, April 26 - May 1, Yokohama, Japan, Pages 1-16, No. 1000, ISBN 9798400713941, Association for Computing Machinery, New York, NY, USA, 5/2025.

  4. Summra Saleem; Muhammad Nabeel Asim; Ludger van Elst; Andreas Dengel

    Generative language models potential for requirement engineering applications: insights into current strengths and limitations

    In: Complex & Intelligent Systems, Vol. 11, No. 6, Pages 1-22, Springer, 2025.

  5. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  6. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  7. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  8. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, Schloss Rheinfels, Germany, 2025.

  9. Chandan Jha; Sumit Kumar Jha; Ulf Schlichtmann; Rolf Drechsler

    Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

  10. Mohammad Reza Heidari Iman; Rolf Drechsler; Chandan Jha; Ali Azarpeyvand; Tara Ghasempouri; Sharjeel Imtiaz; Jaan Raik; Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli; Giorgio Di Natale

    Application of Functional Verification Techniques in Hardware Trust

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

Year

More options