Innovative Fabriksysteme

Seite 57 von 59.

1. 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.

2. Stephan Eggersglüß; Rolf Drechsler

   High Quality Test Pattern Generation and Boolean Satisfiability

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

3. 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.

4. 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, …

5. 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 …

6. 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, …

7. 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, …

8. 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 …

9. 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 …

10. Rolf Drechsler; Melanie Diepenbeck; Daniel Große; Ulrich Kühne; Hoang M. Le; Julia Seiter; Mathias Soeken; Robert Wille

    Completeness-Driven Development

    In: G. Rozenberg; H.-J. Kreowski; G. Engels; H. Ehrig (Hrsg.). Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling …

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