Robotics Innovation Center

Seite 57 von 59.

1. Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler

   Exact Template Matching Using Boolean Satisfiability

   In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), …

2. Stephan Eggersglüß; Rolf Drechsler

   A Highly Fault-Efficient SAT-Based ATPG Flow

   In: IEEE Design & Test of Computers, Vol. 29, No. 4, Pages 63-70, IEEE Press, 7/2012.

3. Stephan Eggersglüß; Rolf Drechsler

   High Quality Test Pattern Generation and Boolean Satisfiability

   ISBN 978-1-4419-9975-7, Springer, 3/2012.

4. Finn Haedicke; Daniel Große; Rolf Drechsler

   A Guiding Coverage Metric for Formal Verification

   In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12), March 12-16, Dresden, Germany, 2012.

5. Stephan Eggersglüß; Rene Krenz-Baath; Andreas Glowatz; Friedrich Hapke; Rolf Drechsler

   A New SAT-based ATPG for Generating Highly Compacted Test Sets

   In: Proceedings. IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-12), 15th, April 18-20, Tallinn, Estonia, IEEE, …

6. Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler

   RevKit: An Open Source Toolkit for the Design of Reversible Circuits

   In: Alexis De Vos; Robert Wille (Hrsg.). Reversible Computation - Third International Workshop, RC 2011. International Workshop on Reversible …

7. Rolf Drechsler; Robert Wille

   Synthesis of Reversible Circuits Using Decision Diagramm

   In: International Symposium on Electronic System Design . International Symposium on Electronic System Design (ISED-2012), December 19-22, Kolkata, …

8. Hoang M. Le; Daniel Große; Rolf Drechsler

   From Requirements and Scenarios to ESL Design in System C

   In: International Symposium on Electronic System Design . International Symposium on Electronic System Design (ISED-2012), December 19-22, Kolkata, …

9. Marcio F. S. Oliveira; Christoph Kuznik; Wolfgang Mueller; Finn Haedicke; Hoang M. Le; Daniel Große; Rolf Drechsler; Wolfgang Ecker; Volkan Esen

   The System Verification Methodology for Advanced TLM Verification

   In: International Conference on Hardware/Software Codesign and System Synthesis. International Conference on Hardware/Software Codesign and System …

10. Stefan Frehse; Görschwin Fey; Eli Arbel; Karen Yorav; Rolf Drechsler

    Complete and Effective Robustness Checking by Means of Interpolation

    In: Formal Methods in Computer-Aided Design 2012. Formal Methods in Computer-Aided Design (FMCAD-2012), October 22-25, Cambridge, England, United …

• vorherige
• 1
• …
• 56
• 57
• 58
• 59
• nächste