Michael A. Kochte

72 papers A* 2A 17B 7C 5Misc 2Journal 16Unranked 22

Year	Rank	Type	Title / Venue / Authors
2020	A	`conf`	Synthesis of Fault-Tolerant Reconfigurable Scan Networks. DATE Sebastian Brandhofer, Michael A. Kochte, Hans-Joachim Wunderlich
2019	J	`jnl`	Built-In Test for Hidden Delay Faults. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Matthias Kampmann, Michael A. Kochte, Chang Liu, Eric Schneider, Sybille Hellebrand, Hans-Joachim Wunderlich
2019	A	`conf`	Variation-Aware Small Delay Fault Diagnosis on Compressed Test Responses. ITC Stefan Holst, Eric Schneider, Michael A. Kochte, Xiaoqing Wen, Hans-Joachim Wunderlich
2018	C	`conf`	Detecting and Resolving Security Violations in Reconfigurable Scan Networks. IOLTS Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
2018	—	`conf`	Multi-level timing simulation on GPUs. ASP-DAC Eric Schneider, Michael A. Kochte, Hans-Joachim Wunderlich
2018	B	`conf`	Online prevention of security violations in reconfigurable scan networks. ETS Ahmed Atteya, Michael A. Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
2018	J	`jnl`	Self-Test and Diagnosis for Self-Aware Systems. IEEE Des. Test Michael A. Kochte, Hans-Joachim Wunderlich
2017	J	`jnl`	Aging Resilience and Fault Tolerance in Runtime Reconfigurable Architectures. IEEE Trans. Computers Hongyan Zhang, Lars Bauer, Michael A. Kochte, Eric Schneider, Hans-Joachim Wunderlich, Jörg Henkel
2017	Misc	`conf`	Aging monitor reuse for small delay fault testing. VTS Chang Liu, Michael A. Kochte, Hans-Joachim Wunderlich
2017	A	`conf`	Analysis and mitigation or IR-Drop induced scan shift-errors. ITC Stefan Holst, Eric Schneider, Koshi Kawagoe, Michael A. Kochte, Kohei Miyase, Hans-Joachim Wunderlich, Seiji Kajihara, Xiaoqing Wen
2017	J	`jnl`	GPU-Accelerated Simulation of Small Delay Faults. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Eric Schneider, Michael A. Kochte, Stefan Holst, Xiaoqing Wen, Hans-Joachim Wunderlich
2017	B	`conf`	Specification and verification of security in reconfigurable scan networks. ETS Michael A. Kochte, Matthias Sauer, Laura Rodríguez Gómez, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
2017	—	`conf`	Structure-Oriented Test of Reconfigurable Scan Networks. ATS Dominik Ull, Michael A. Kochte, Hans-Joachim Wunderlich
2017	—	`conf`	Trustworthy reconfigurable access to on-chip infrastructure. ITC-Asia Michael A. Kochte, Rafal Baranowski, Hans-Joachim Wunderlich
2016	A	`conf`	An on-chip self-test architecture with test patterns recorded in scan chains. ITC Kuen-Jong Lee, Pin-Hao Tang, Michael A. Kochte
2016	—	`conf`	Autonomous Testing for 3D-ICs with IEEE Std. 1687. ATS Jin-Cun Ye, Michael A. Kochte, Kuen-Jong Lee, Hans-Joachim Wunderlich
2016	—	`conf`	Dependable on-chip infrastructure for dependable MPSOCs. LATS Michael A. Kochte, Hans-Joachim Wunderlich
2016	A	`conf`	Efficient Algorithm-Based Fault Tolerance for Sparse Matrix Operations. DSN Alexander Schöll, Claus Braun, Michael A. Kochte, Hans-Joachim Wunderlich
2016	B	`conf`	Formal verification of secure reconfigurable scan network infrastructure. ETS Michael A. Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich
2016	—	`conf`	Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. ASP-DAC Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
2016	—	`conf`	Test Strategies for Reconfigurable Scan Networks. ATS Michael A. Kochte, Rafal Baranowski, Marcel Schaal, Hans-Joachim Wunderlich
2016	—	`conf`	Timing-Accurate Estimation of IR-Drop Impact on Logic- and Clock-Paths During At-Speed Scan Test. ATS Stefan Holst, Eric Schneider, Xiaoqing Wen, Seiji Kajihara, Yuta Yamato, Hans-Joachim Wunderlich, Michael A. Kochte
2015	J	`jnl`	Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
2015	J	`jnl`	Adaptive multi-layer techniques for increased system dependability. it Inf. Technol. Lars Bauer, Jörg Henkel, Andreas Herkersdorf, Michael A. Kochte, Johannes Maximilian Kühn, Wolfgang Rosenstiel, Thomas Schweizer, Stefan Wallentowitz, Volker Wenzel, Thomas Wild, Hans-Joachim Wunderlich, Hongyan Zhang
2015	C	`conf`	Efficient observation point selection for aging monitoring. IOLTS Chang Liu, Michael A. Kochte, Hans-Joachim Wunderlich
2015	C	`conf`	Efficient on-line fault-tolerance for the preconditioned conjugate gradient method. IOLTS Alexander Schöll, Claus Braun, Michael A. Kochte, Hans-Joachim Wunderlich
2015	J	`jnl`	Fine-Grained Access Management in Reconfigurable Scan Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich
2015	A	`conf`	GPU-accelerated small delay fault simulation. DATE Eric Schneider, Stefan Holst, Michael A. Kochte, Xiaoqing Wen, Hans-Joachim Wunderlich
2015	—	`conf`	Intermittent and Transient Fault Diagnosis on Sparse Code Signatures. ATS Michael A. Kochte, Atefe Dalirsani, Andrea Bernabei, Martin Omaña, Cecilia Metra, Hans-Joachim Wunderlich
2015	—	`conf`	Logic/Clock-Path-Aware At-Speed Scan Test Generation for Avoiding False Capture Failures and Reducing Clock Stretch. ATS Koji Asada, Xiaoqing Wen, Stefan Holst, Kohei Miyase, Seiji Kajihara, Michael A. Kochte, Eric Schneider, Hans-Joachim Wunderlich, Jun Qian
2015	—	`conf`	Low-overhead fault-tolerance for the preconditioned conjugate gradient solver. DFTS Alexander Schöll, Claus Braun, Michael A. Kochte, Hans-Joachim Wunderlich
2015	—	`conf`	Optimized Selection of Frequencies for Faster-Than-at-Speed Test. ATS Matthias Kampmann, Michael A. Kochte, Eric Schneider, Thomas Indlekofer, Sybille Hellebrand, Hans-Joachim Wunderlich
2015	J	`jnl`	Reconfigurable Scan Networks: Modeling, Verification, and Optimal Pattern Generation. ACM Trans. Design Autom. Electr. Syst. Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich
2015	A	`conf`	STRAP: Stress-Aware Placement for Aging Mitigation in Runtime Reconfigurable Architectures. ICCAD Hongyan Zhang, Michael A. Kochte, Eric Schneider, Lars Bauer, Hans-Joachim Wunderlich, Jörg Henkel
2014	J	`jnl`	Access Port Protection for Reconfigurable Scan Networks. J. Electron. Test. Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich
2014	C	`conf`	Area-efficient synthesis of fault-secure NoC switches. IOLTS Atefe Dalirsani, Michael A. Kochte, Hans-Joachim Wunderlich
2014	—	`—`	Boolean reasoning for digital circuits in presence of unknown values: application to test automation. Michael A. Kochte
2014	J	`jnl`	Exact Logic and Fault Simulation in Presence of Unknowns. ACM Trans. Design Autom. Electr. Syst. Dominik Erb, Michael A. Kochte, Matthias Sauer, Stefan Hillebrecht, Tobias Schubert, Hans-Joachim Wunderlich, Bernd Becker
2014	A	`conf`	FAST-BIST: Faster-than-at-Speed BIST targeting hidden delay defects. ITC Sybille Hellebrand, Thomas Indlekofer, Matthias Kampmann, Michael A. Kochte, Chang Liu, Hans-Joachim Wunderlich
2014	A*	`conf`	GUARD: GUAranteed Reliability in Dynamically Reconfigurable Systems. DAC Hongyan Zhang, Michael A. Kochte, Michael E. Imhof, Lars Bauer, Hans-Joachim Wunderlich, Jörg Henkel
2014	J	`jnl`	Resilience Articulation Point (RAP): Cross-layer dependability modeling for nanometer system-on-chip resilience. Microelectron. Reliab. Andreas Herkersdorf, Hananeh Aliee, Michael Engel, Michael Glaß, Christina Gimmler-Dumont, Jörg Henkel, Veit Kleeberger, Michael A. Kochte, Johannes Maximilian Kühn, Daniel Mueller-Gritschneder, Sani R. Nassif, Holm Rauchfuss, Wolfgang Rosenstiel, Ulf Schlichtmann, Muhammad Shafique, Mehdi Baradaran Tahoori, Jürgen Teich, Norbert Wehn, Christian Weis, Hans-Joachim Wunderlich
2014	A	`conf`	Test pattern generation in presence of unknown values based on restricted symbolic logic. ITC Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
2014	—	`conf`	Verifikation Rekonfigurierbarer Scan-Netze. MBMV Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich
2013	—	`conf`	Accurate Multi-cycle ATPG in Presence of X-Values. Asian Test Symposium Dominik Erb, Michael A. Kochte, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
2013	A	`conf`	Accurate QBF-based test pattern generation in presence of unknown values. DATE Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich, Bernd Becker
2013	J	`jnl`	LCTI-SS: Low-Clock-Tree-Impact Scan Segmentation for Avoiding Shift Timing Failures in Scan Testing. IEEE Des. Test Yuta Yamato, Kohei Miyase, Seiji Kajihara, Xiaoqing Wen, Laung-Terng Wang, Michael A. Kochte
2013	A	`conf`	Module diversification: Fault tolerance and aging mitigation for runtime reconfigurable architectures. ITC Hongyan Zhang, Lars Bauer, Michael A. Kochte, Eric Schneider, Claus Braun, Michael E. Imhof, Hans-Joachim Wunderlich, Jörg Henkel
2013	—	`conf`	SAT-based code synthesis for fault-secure circuits. DFTS Atefe Dalirsani, Michael A. Kochte, Hans-Joachim Wunderlich
2013	B	`conf`	Scan pattern retargeting and merging with reduced access time. ETS Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich
2013	—	`conf`	Securing Access to Reconfigurable Scan Networks. Asian Test Symposium Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich
2013	J	`jnl`	Test Strategies for Reliable Runtime Reconfigurable Architectures. IEEE Trans. Computers Lars Bauer, Claus Braun, Michael E. Imhof, Michael A. Kochte, Eric Schneider, Hongyan Zhang, Jörg Henkel, Hans-Joachim Wunderlich
2012	J	`jnl`	Accurate X-Propagation for Test Applications by SAT-Based Reasoning. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Michael A. Kochte, Melanie Elm, Hans-Joachim Wunderlich
2012	B	`conf`	Exact stuck-at fault classification in presence of unknowns. ETS Stefan Hillebrecht, Michael A. Kochte, Hans-Joachim Wunderlich, Bernd Becker
2012	A	`conf`	Modeling, verification and pattern generation for reconfigurable scan networks. ITC Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich
2012	—	`conf`	OTERA: Online test strategies for reliable reconfigurable architectures - Invited paper for the AHS-2012 special session "Dependability by reconfigurable hardware". AHS Lars Bauer, Claus Braun, Michael E. Imhof, Michael A. Kochte, Hongyan Zhang, Hans-Joachim Wunderlich, Jörg Henkel
2012	C	`conf`	Transparent structural online test for reconfigurable systems. IOLTS Mohamed Abdelfattah, Lars Bauer, Claus Braun, Michael E. Imhof, Michael A. Kochte, Hongyan Zhang, Jörg Henkel, Hans-Joachim Wunderlich
2011	A	`conf`	A novel scan segmentation design method for avoiding shift timing failure in scan testing. ITC Yuta Yamato, Xiaoqing Wen, Michael A. Kochte, Kohei Miyase, Seiji Kajihara, Laung-Terng Wang
2011	—	`conf`	Efficient BDD-based Fault Simulation in Presence of Unknown Values. Asian Test Symposium Michael A. Kochte, Sandip Kundu, Kohei Miyase, Xiaoqing Wen, Hans-Joachim Wunderlich
2011	J	`jnl`	Efficient multi-level fault simulation of HW/SW systems for structural faults. Sci. China Inf. Sci. Rafal Baranowski, Stefano Di Carlo, Nadereh Hatami, Michael E. Imhof, Michael A. Kochte, Paolo Prinetto, Hans-Joachim Wunderlich, Christian G. Zoellin
2011	Misc	`conf`	Power-aware test generation with guaranteed launch safety for at-speed scan testing. VTS Xiaoqing Wen, Kazunari Enokimoto, Kohei Miyase, Yuta Yamato, Michael A. Kochte, Seiji Kajihara, Patrick Girard, Mohammad Tehranipoor
2011	A	`conf`	SAT-based capture-power reduction for at-speed broadcast-scan-based test compression architectures. ISLPED Michael A. Kochte, Kohei Miyase, Xiaoqing Wen, Seiji Kajihara, Yuta Yamato, Kazunari Enokimoto, Hans-Joachim Wunderlich
2011	A	`conf`	SAT-based fault coverage evaluation in the presence of unknown values. DATE Michael A. Kochte, Hans-Joachim Wunderlich
2010	J	`jnl`	Efficient Concurrent Self-Test with Partially Specified Patterns. J. Electron. Test. Michael A. Kochte, Christian G. Zoellin, Hans-Joachim Wunderlich
2010	—	`conf`	Efficient Simulation of Structural Faults for the Reliability Evaluation at System-Level. Asian Test Symposium Michael A. Kochte, Christian G. Zoellin, Rafal Baranowski, Michael E. Imhof, Hans-Joachim Wunderlich, Nadereh Hatami, Stefano Di Carlo, Paolo Prinetto
2010	A*	`conf`	Efficient fault simulation on many-core processors. DAC Michael A. Kochte, Marcel Schaal, Hans-Joachim Wunderlich, Christian G. Zoellin
2010	—	`conf`	On Determining the Real Output Xs by SAT-Based Reasoning. Asian Test Symposium Melanie Elm, Michael A. Kochte, Hans-Joachim Wunderlich
2010	A	`conf`	System reliability evaluation using concurrent multi-level simulation of structural faults. ITC Michael A. Kochte, Christian G. Zoellin, Rafal Baranowski, Michael E. Imhof, Hans-Joachim Wunderlich, Nadereh Hatami, Stefano Di Carlo, Paolo Prinetto
2009	B	`conf`	Concurrent Self-Test with Partially Specified Patterns for Low Test Latency and Overhead. ETS Michael A. Kochte, Christian G. Zoellin, Hans-Joachim Wunderlich
2009	B	`conf`	Test Encoding for Extreme Response Compaction. ETS Michael A. Kochte, Stefan Holst, Melanie Elm, Hans-Joachim Wunderlich
2009	A	`conf`	Test exploration and validation using transaction level models. DATE Michael A. Kochte, Christian G. Zoellin, Michael E. Imhof, Rauf Salimi Khaligh, Martin Radetzki, Hans-Joachim Wunderlich, Stefano Di Carlo, Paolo Prinetto
2008	—	`conf`	A framework for scheduling parallel dbms user-defined programs on an attached high-performance computer. Conf. Computing Frontiers Michael A. Kochte, Ramesh Natarajan
2008	—	`conf`	Test Set Stripping Limiting the Maximum Number of Specified Bits. DELTA Michael A. Kochte, Christian G. Zoellin, Michael E. Imhof, Hans-Joachim Wunderlich