Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 21 to 30 of 795.
  1. Rolf Drechsler; Alireza Mahzoon

    Design Modification for Polynomial Formal Verification

    In: Proceedings of the 2022 International Symposium on Electrical, Electronics and Information Engineering. International Symposium on Electrical, …

  2. Fast and Exact is Doable: Polynomial Algorithms in Test and Verification

    In: 23rd IEEE Latin-American Test Symposium (LATS). IEEE Latin American Test Symposium (LATS-2022), September 5-8, Montevideo, Uruguay, 2022.

  3. Kamalika Datta; Saman Froehlich; Saeideh Shirinzadeh; Dev Narayan; Yadav Indranil Sengupta; Rolf Drechsler

    Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration …

  4. Alexander Konrad; Christoph Scholl; Alireza Mahzoon; Daniel Große; Rolf Drechsler

    Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization

    In: Formal Methods in Computer-Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), October 17-21, Trento, Italy, 2022.

  5. Rolf Drechsler; Alireza Mahzoon

    Preserving Design Hierarchy Information for Polynomial Formal Verification

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration …

  6. Rolf Drechsler; Alireza Mahzoon

    Polynomial Formal Verification: Ensuring Correctness under Resource Constraints

    In: 41st International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD), October 30 - …

  7. Mapping Quantum Circuits to 2-D Quantum Architectures

    In: GI Quantum Computing Workshop 2022 (GI QC 22). GI Quantum Computing Workshop (GI QC-22), September 27, Hamburg, Germany, 2022.

  8. Rolf Drechsler; Alireza Mahzoon

    One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification

    In: Proceedings of the 24th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI). Workshop on Synthesis and System …

  9. Leveraging Implicit Gaze-Based User Feedback for Interactive Machine Learning

    In: Ralph Bergmann; Lukas Malburg; Stephanie C. Rodermund; Ingo J. Timm (Hrsg.). KI 2022: Advances in Artificial Intelligence. German Conference on …

  10. Intelligent Reflecting Vehicle Surface: A Novel IRS Paradigm for Moving Vehicular Networks

    In: Proceedings of IEEE MILCOM 2022. IEEE Military Communications Conference (MILCOM-2022), November 28 - December 2, Rockville, Maryland, USA, IEEE, …