Alexander Finder

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Debugging hardware designs using dynamic dependency graphs.
Microprocessors and Microsystems - Embedded Hardware Design, 2016

2014
A Simulation-Based Approach for Automated Feature Localization.
IEEE Trans. on CAD of Integrated Circuits and Systems, 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

Automated feature localization for hardware designs using coverage metrics.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

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

Latency Analysis for Sequential Circuits.
Proceedings of the 16th European Test Symposium, 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...