Evaluating Debugging Algorithms from a Qualitative Perspective. - Alexander Finder; Görschwin Fey (FDL, 2010)

An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions. - Alexander Finder; Rolf Drechsler (ISMVL, 2010)

Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms. - Rolf Drechsler; Alexander Finder; Robert Wille (EvoApplications (2), 2011)

Automated feature localization for hardware designs using coverage metrics. - Jan Malburg; Alexander Finder; Görschwin Fey (DAC, 2012)

FoREnSiC- An Automatic Debugging Environment for C Programs. - Roderick Bloem; Rolf Drechsler; Görschwin Fey; Alexander Finder; Georg Hofferek; Robert Könighofer; Jaan Raik; Urmas Repinski; André Sülflow (Haifa Verification Conference, 2012)

Tuning dynamic data flow analysis to support design understanding. - Jan Malburg; Alexander Finder; Görschwin Fey (DATE, 2013)

Debugging HDL designs based on functional equivalences with high-level specifications. - Alexander Finder; Jan-Philipp Witte; Görschwin Fey (DDECS, 2013)

Latency Analysis for Sequential Circuits. - Alexander Finder; André Sülflow; Görschwin Fey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

A Simulation-Based Approach for Automated Feature Localization. - Jan Malburg; Alexander Finder; Görschwin Fey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Debugging hardware designs using dynamic dependency graphs. - Jan Malburg; Alexander Finder; Görschwin Fey (Microprocess. Microsystems, 2016)