Search the dblp DataBase

Publications of Author

1. Martin Keim, Nicole Drechsler, Bernd Becker
   Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 1999, pp:315-318 [Conf]
   
2. Rolf Krieger, Bernd Becker, Martin Keim
   Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy. [Citation Graph (0, 0)][DBLP]
   DAC, 1995, pp:339-344 [Conf]
   
3. Ilia Polian, Martin Keim, Nicolai Mallig, Bernd Becker
   Sequential n -Detection Criteria: Keep It Simple. [Citation Graph (0, 0)][DBLP]
   IOLTW, 2002, pp:189- [Conf]
   
4. Rolf Drechsler, Martin Keim, Bernd Becker
   Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions. [Citation Graph (0, 0)][DBLP]
   ISMVL, 1997, pp:66-0 [Conf]
   
5. Rolf Drechsler, Martin Keim, Bernd Becker
   Fault Simulation in Sequential Multi-Valued Logic Networks. [Citation Graph (0, 0)][DBLP]
   ISMVL, 1997, pp:145-0 [Conf]
   
6. Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker
   Test Generation for (Sequential) Multi-Valued Logic Networks based on Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
   ISMVL, 1998, pp:215-0 [Conf]
   
7. Brady Benware, Cam Lu, John Van Slyke, Prabhu Krishnamurthy, Robert Madge, Martin Keim, Mark Kassab, Janusz Rajski
   Affordable and Effective Screening of Delay Defects in ASICs using the Inline Resistance Fault Model. [Citation Graph (0, 0)][DBLP]
   ITC, 2004, pp:1285-1294 [Conf]
   
8. Rolf Krieger, Bernd Becker, Martin Keim
   A Hybrid Fault Simulator for Synchronous Sequential Circuits. [Citation Graph (0, 0)][DBLP]
   ITC, 1994, pp:614-623 [Conf]
   
9. Martin Keim, Bernd Becker, Birgitta Stenner
   On the (non-)resetability of synchronous sequential circuits. [Citation Graph (0, 0)][DBLP]
   VTS, 1996, pp:240-245 [Conf]
   
10. Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor
    Polynomial Formal Verification of Multipliers. [Citation Graph (0, 0)][DBLP]
    VTS, 1997, pp:150-157 [Conf]
    
11. Can Ökmen, Martin Keim, Rolf Krieger, Bernd Becker
    On Optimizing BIST-Architecture by Using OBDD-based Approaches and Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    VTS, 1997, pp:426-433 [Conf]
    
12. Chris Schuermyer, Jewel Pangilinan, Jay Jahangiri, Martin Keim, Janusz Rajski, Brady Benware
    Silicon Evaluation of Static Alternative Fault Models. [Citation Graph (0, 0)][DBLP]
    VTS, 2007, pp:265-270 [Conf]
    
13. Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor
    Polynomial Formal Verification of Multipliers. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:1, pp:39-58 [Journal]
    
14. Huaxing Tang, Sharma Manish, Janusz Rajski, Martin Keim, Brady Benware
    Analyzing Volume Diagnosis Results with Statistical Learning for Yield Improvement. [Citation Graph (0, 0)][DBLP]
    European Test Symposium, 2007, pp:145-150 [Conf]
    
15. 
    Automatic Test Pattern Generation for Interconnect Open Defects. [Citation Graph (, )][DBLP]