Evolutionary Optimization in Code-Based Test Compression. - Ilia Polian; Alejandro Czutro; Bernd Becker 001 (DATE, 2005)

Power Droop Testing. - Ilia Polian; Alejandro Czutro; Sandip Kundu; Bernd Becker 001 (IEEE Des. Test Comput., 2007)

A Simulator of Small-Delay Faults Caused by Resistive-Open Defects. - Alejandro Czutro; Nicolas Houarche; Piet Engelke; Ilia Polian; Mariane Comte; Michel Renovell; Bernd Becker 001 (ETS, 2008)

Dynamic Compaction in SAT-Based ATPG. - Alejandro Czutro; Ilia Polian; Piet Engelke; Sudhakar M. Reddy; Bernd Becker 001 (Asian Test Symposium, 2009)

ATPG-based grading of strong fault-secureness. - Marc Hunger; Sybille Hellebrand; Alejandro Czutro; Ilia Polian; Bernd Becker 001 (IOLTS, 2009)

TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. - Alejandro Czutro; Ilia Polian; Matthew Lewis 004; Piet Engelke; Sudhakar M. Reddy; Bernd Becker 001 (VLSI Design, 2009)

An Electrical Model for the Fault Simulation of Small Delay Faults Caused by Crosstalk Aggravated Resistive Short Defects. - Nicolas Houarche; Mariane Comte; Michel Renovell; Alejandro Czutro; Piet Engelke; Ilia Polian; Bernd Becker 001 (VTS, 2009)

Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. - Alejandro Czutro; Ilia Polian; Matthew Lewis 004; Piet Engelke; Sudhakar M. Reddy; Bernd Becker 001 (Int. J. Parallel Program., 2010)

Efficient SAT-Based Search for Longest Sensitisable Paths. - Matthias Sauer 002; Jie Jiang 018; Alejandro Czutro; Ilia Polian; Bernd Becker 001 (Asian Test Symposium, 2011)

SAT-based analysis of sensitisable paths. - Matthias Sauer 002; Alexander Czutro; Tobias Schubert 001; Stefan Hillebrecht; Ilia Polian; Bernd Becker 001 (DDECS, 2011)

Estimation of component criticality in early design steps. - Matthias Sauer 002; Alejandro Czutro; Ilia Polian; Bernd Becker 001 (IOLTS, 2011)

Variation-Aware Fault Grading. - Alexander Czutro; Michael E. Imhof; J. Jiang; Abdullah Mumtaz; Matthias Sauer 002; Bernd Becker 001; Ilia Polian; Hans-Joachim Wunderlich (Asian Test Symposium, 2012)

On the optimality of K longest path generation algorithm under memory constraints. - Jie Jiang 018; Matthias Sauer 002; Alexander Czutro; Bernd Becker 001; Ilia Polian (DATE, 2012)

#SAT-based vulnerability analysis of security components - A case study. - Linus Feiten; Matthias Sauer 002; Tobias Schubert 001; Alexander Czutro; Eberhard Böhl; Ilia Polian; Bernd Becker 001 (DFT, 2012)

Multi-conditional SAT-ATPG for power-droop testing. - Alexander Czutro; Matthias Sauer 002; Ilia Polian; Bernd Becker 001 (ETS, 2012)

On the quality of test vectors for post-silicon characterization. - Matthias Sauer 002; Alexander Czutro; Bernd Becker 001; Ilia Polian (ETS, 2012)

Small-delay-fault ATPG with waveform accuracy. - Matthias Sauer 002; Alexander Czutro; Ilia Polian; Bernd Becker 001 (ICCAD, 2012)

Functional test of small-delay faults using SAT and Craig interpolation. - Matthias Sauer 002; Stefan Kupferschmid; Alexander Czutro; Ilia Polian; Sudhakar M. Reddy; Bernd Becker 001 (ITC, 2012)

Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation. - Matthias Sauer 002; Stefan Kupferschmid; Alejandro Czutro; Sudhakar M. Reddy; Bernd Becker 001 (VLSI Design, 2012)

SAT-ATPG using preferences for improved detection of complex defect mechanisms. - Alexander Czutro; Matthias Sauer 002; Tobias Schubert 001; Ilia Polian; Bernd Becker 001 (VTS, 2012)

SAT-Based Analysis of Sensitizable Paths. - Matthias Sauer 002; Alexander Czutro; Tobias Schubert 001; Stefan Hillebrecht; Ilia Polian; Bernd Becker 001 (IEEE Des. Test, 2013)

Efficiency and applications of SAT-based test pattern generation: complex fault models and optimisation problems. - Alexander Czutro (Der Andere Verlag, 2013)

Variation-aware deterministic ATPG. - Matthias Sauer 002; Ilia Polian; Michael E. Imhof; Abdullah Mumtaz; Eric Schneider; Alexander Czutro; Hans-Joachim Wunderlich; Bernd Becker 001 (ETS, 2014)

SAT-Based Test Pattern Generation with Improved Dynamic Compaction. - Alexander Czutro; Sudhakar M. Reddy; Ilia Polian; Bernd Becker 001 (VLSID, 2014)