Rolf Drechsler

Rolf Drechsler is an electrical engineer at the University of Bremen, Germany. He was named a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015 for his contributions in testing and verification of electronic circuits and systems. He was named as an ACM Fellow in 2023. Provided by Wikipedia
Showing 1 - 20 results of 28 for search 'Drechsler, Rolf', query time: 0.04s Refine Results
  1. 1
    Formal Specification Level Concepts, Methods, and Algorithms /
    by Soeken, Mathias, Drechsler, Rolf
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Reversible and Quantum Circuits Optimization and Complexity Analysis /
    by Abdessaied, Nabila, Drechsler, Rolf
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Robustness and Usability in Modern Design Flows
    by Fey, Görschwin, Drechsler, Rolf
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    High Quality Test Pattern Generation and Boolean Satisfiability
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Quality-Driven SystemC Design
    by Große, Daniel, Drechsler, Rolf
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Towards a Design Flow for Reversible Logic
    by Wille, Robert, Drechsler, Rolf
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Debugging at the Electronic System Level
    by Rogin, Frank, Drechsler, Rolf
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Advanced BDD Optimization
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Exact Design of Digital Microfluidic Biochips
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Test Pattern Generation using Boolean Proof Engines
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Formal System Verification State-of the-Art and Future Trends /
    Published 2018
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Advanced Formal Verification
    Published 2004
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Towards a Design Flow for Reversible Logic
    by Wille, Robert
    Published 2010
    Other Authors: “…Drechsler, Rolf…”
    Get full text
    Electronic Kit Book
  17. 17
    Quality-Driven SystemC Design
    by GroΓe, Daniel
    Published 2010
    Other Authors: “…Drechsler, Rolf…”
    Get full text
    Electronic Kit Book
  18. 18
    Debugging at the Electronic System Level
    by Rogin, Frank
    Published 2010
    Other Authors: “…Drechsler, Rolf…”
    Get full text
    Electronic Kit Book
  19. 19
    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /
    Published 2016
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
    Published 2015
    Other Authors: “…Drechsler, Rolf…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search