Travelled to:2 × USA
4 × France
Collaborated with:H.Wunderlich C.G.Zoellin M.E.Imhof M.Schaal E.Schneider S.Holst X.Wen S.Hillebrecht D.Erb B.Becker H.Zhang L.Bauer J.Henkel R.S.Khaligh M.Radetzki S.D.Carlo P.Prinetto
Talks about:fault (3) unknown (2) presenc (2) simul (2) valu (2) test (2) base (2) reconfigur (1) processor (1) transact (1)
Person: Michael A. Kochte
DBLP: Kochte:Michael_A=
Contributed to:
2015
20142013201120102009Wrote 6 papers:
- DATE-2015-SchneiderHKWW #fault #simulation
- GPU-accelerated small delay fault simulation (ES, SH, MAK, XW, HJW), pp. 1174–1179.
- DAC-2014-ZhangKIBWH #configuration management #named #reliability
- GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems (HZ, MAK, MEI, LB, HJW, JH), p. 6.
- DATE-2013-HillebrechtKEWB #generative
- Accurate QBF-based test pattern generation in presence of unknown values (SH, MAK, DE, HJW, BB), pp. 436–441.
- DATE-2011-KochteW #evaluation #fault #satisfiability
- SAT-based fault coverage evaluation in the presence of unknown values (MAK, HJW), pp. 1303–1308.
- DAC-2010-KochteSWZ #fault #manycore #performance #simulation
- Efficient fault simulation on many-core processors (MAK, MS, HJW, CGZ), pp. 380–385.
- DATE-2009-KochteZIKRWCP #modelling #transaction #using #validation
- Test exploration and validation using transaction level models (MAK, CGZ, MEI, RSK, MR, HJW, SDC, PP), pp. 1250–1253.