Martin Keim

2008
15	EE	Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng: Automatic Test Pattern Generation for Interconnect Open Defects. VTS 2008: 181-186
2007
14	EE	Huaxing Tang, Manish Sharma, Janusz Rajski, Martin Keim, Brady Benware: Analyzing Volume Diagnosis Results with Statistical Learning for Yield Improvement. European Test Symposium 2007: 145-150
13	EE	Chris Schuermyer, Jewel Pangilinan, Jay Jahangiri, Martin Keim, Janusz Rajski, Brady Benware: Silicon Evaluation of Static Alternative Fault Models. VTS 2007: 265-270
2004
12	EE	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. ITC 2004: 1285-1294
2003
11		Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor: Polynomial Formal Verification of Multipliers. Formal Methods in System Design 22(1): 39-58 (2003)
2002
10	EE	Ilia Polian, Martin Keim, Nicolai Mallig, Bernd Becker: Sequential n -Detection Criteria: Keep It Simple. IOLTW 2002: 189
1999
9	EE	Martin Keim, Nicole Drechsler, Bernd Becker: Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits. ASP-DAC 1999: 315-318
1998
8	EE	Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker: Test Generation for (Sequential) Multi-Valued Logic Networks based on Genetic Algorithm. ISMVL 1998: 215-
1997
7	EE	Rolf Drechsler, Martin Keim, Bernd Becker: Fault Simulation in Sequential Multi-Valued Logic Networks. ISMVL 1997: 145-
6	EE	Rolf Drechsler, Martin Keim, Bernd Becker: Sympathy-MV: Fast Exact Minimization of Fixed Polarity Multi-Valued Linear Expressions. ISMVL 1997: 66-
5	EE	Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor: Polynomial Formal Verification of Multipliers. VTS 1997: 150-157
4	EE	Can Ökmen, Martin Keim, Rolf Krieger, Bernd Becker: On Optimizing BIST-Architecture by Using OBDD-based Approaches and Genetic Algorithms. VTS 1997: 426-433
1996
3	EE	Martin Keim, Bernd Becker, Birgitta Stenner: On the (non-)resetability of synchronous sequential circuits. VTS 1996: 240-245
1995
2	EE	Rolf Krieger, Bernd Becker, Martin Keim: Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy. DAC 1995: 339-344
1994
1		Rolf Krieger, Bernd Becker, Martin Keim: A Hybrid Fault Simulator for Synchronous Sequential Circuits. ITC 1994: 614-623

Coauthor Index

1	Bernd Becker	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [15]
2	Brady Benware	[12] [13] [14]
3	Wu-Tung Cheng	[15]
4	Nicole Drechsler	[8] [9]
5	Rolf Drechsler	[5] [6] [7] [8] [11]
6	Piet Engelke	[15]
7	Jay Jahangiri	[13]
8	Mark Kassab	[12]
9	Rolf Krieger	[1] [2] [4]
10	Prabhu Krishnamurthy	[12]
11	Cam Lu	[12]
12	Robert Madge	[12]
13	Nicolai Mallig	[10]
14	Michael Martin	[5] [11]
15	Paul Molitor	[5] [11]
16	Can Ökmen	[4]
17	Jewel Pangilinan	[13]
18	Ilia Polian	[10] [15]
19	Janusz Rajski	[12] [13] [14]
20	Chris Schuermyer	[13]
21	Manish Sharma	[14]
22	John Van Slyke	[12]
23	Stefan Spinner	[15]
24	Birgitta Stenner	[3]
25	Huaxing Tang	[14]