Alexander Finder

According to our database1, Alexander Finder authored at least 10 papers between 2010 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Debugging hardware designs using dynamic dependency graphs.
Microprocess. Microsystems, 2016

2014
A Simulation-Based Approach for Automated Feature Localization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Latency Analysis for Sequential Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

2013
Debugging HDL designs based on functional equivalences with high-level specifications.
Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

Tuning dynamic data flow analysis to support design understanding.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Automated Feature Localization for Hardware Designs using Coverage Metrics.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

FoREnSiC- An Automatic Debugging Environment for C Programs.
Proceedings of the Hardware and Software: Verification and Testing, 2012

2011
Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms.
Proceedings of the Applications of Evolutionary Computation, 2011

2010
An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Evaluating Debugging Algorithms from a Qualitative Perspective.
Proceedings of the 2010 Forum on specification & Design Languages, 2010


  Loading...