A. Finder

Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms

Robert Wille, Rolf Drechsler, Alexander Finder, 2011, EvoApplications.

An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions

Rolf Drechsler, Alexander Finder, R. Drechsler, 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.

A Simulation-Based Approach for Automated Feature Localization

Alexander Finder, Görschwin Fey, Jan Malburg, 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Tuning dynamic data flow analysis to support design understanding

Alexander Finder, Görschwin Fey, Jan Malburg, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Debugging HDL designs based on functional equivalences with high-level specifications

Alexander Finder, Görschwin Fey, Jan-Philipp Witte, 2013, 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS).

FoREnSiC- An Automatic Debugging Environment for C Programs

Rolf Drechsler, Alexander Finder, Görschwin Fey, 2012, Haifa Verification Conference.

Latency Analysis for Sequential Circuits

Alexander Finder, Görschwin Fey, André Sülflow, 2011, 2011 Sixteenth IEEE European Test Symposium.