Homepage Sitemap Contact




Home « Team « Publications
» Publications of Alexander Finder



BOOKS


BOOK CONTRIBUTIONS
» Evaluating Debugging Algorithms from a Qualitative Perspective
Bigpicture: System Specification and Design Languages: Selected Contributions from FDL 2010 Author:

Alexander Finder, Görschwin Fey

Editor:Tom J. Kazmierski, Adam Morawiec
Booktitle:System Specification and Design Languages: Selected Contributions from FDL 2010
Publisher:Springer
Sites:21-36
Year:2012
Format:Hardcover





JOURNALS

» Debugging hardware designs using dynamic dependency graphs
[Link to the Homepage of this journal]




Author:

Jan Malburg, Alexander Finder, Görschwin Fey
Journal:
Microprocessors and Microsystems (MICPRO)
Details:
accepted, DOI: 10.1016/j.micpro.2016.10.004 Link
Year:


2016





» A Simulation Based Approach for Automated Feature Localization
[Link to the Homepage of this journal]




Author:

Jan Malburg, Alexander Finder, Görschwin Fey
Journal:
IEEE Trans. on CAD of Integrated Circuits and Systems
Details:
Volume:33, Issue: 12, Pages 1886-1899 DOI: 10.1109/TCAD.2014.2360462 Link
Year:


2014





» Latency Analysis for Sequential Circuits




Author:

Alexander Finder, André Sülflow, Görschwin Fey
Journal:
IEEE Trans. on CAD of Integrated Circuits and Systems
Details:
Volume 33, Number 4, pp. 643-647, DOI: 10.1109/TCAD.2013.2292501
Year:


2014






CONFERENCES



» Analyse dynamischer Abhängigkeitsgraphen zum Debugging von Hardwaredesigns




Author:

Jan Malburg Alexander Finder Görschwin Fey
Conference:
7. ITG/GMM/GI-Fachtagung Zuverlässigkeit und Entwurf (ZuE2013)
Reference:

pp. 59-66, Dresden, Germany, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Debugging HDL Designs Based on Functional Equivalences with High-Level Specifications




Author:

Alexander Finder, Jan-Philipp Witte, Görschwin Fey
Conference:
16th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Karlovy Vary, Czech Republic, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Tuning Dynamic Data Flow Analysis to Support Design Understanding




Author:

Jan Malburg, Alexander Finder, Görschwin Fey
Conference:
Design, Automation and Test in Europe (DATE'13)
Reference:

pp. 1179-1184, Grenoble, France, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» FoREnSiC - An Automatic Debugging Environment for C Programs




Author:

Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow
Conference:
Haifa Verification Conference (HVC)
Reference:

Haifa, 2012
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Automated Feature Localization for Hardware Designs using Coverage Metrics




Author:

Jan Malburg, Alexander Finder, Görschwin Fey
Conference:
Design Automation Conference (DAC)
Reference:

pp. 941-946, San Francisco, 2012
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Latency Analysis for Sequential Circuits




Author:

Alexander Finder, André Sülflow, Görschwin Fey
Conference:
16th IEEE European Test Symposium (ETS)
Reference:

pp. 129-134, Trondheim, 2011
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Evaluating Debugging Algorithms from a Qualitative Perspective




Author:

Alexander Finder, Görschwin Fey
Conference:
Forum on specification & Design Languages (FDL)
Reference:

pp. 37-42, Southampton, 2010
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions




Author:

Alexander Finder, Rolf Drechsler
Conference:
40th International Symposium on Multiple-Valued Logic (ISMVL)
Reference:

pp. 150-155, Barcelona, 2010
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Automated Feature Localization for Hardware Designs using Coverage Metrics




Author:

Jan Malburg, Alexander Finder, Görschwin Fey
Workshop:
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Reference:

pp. 85-96, Kaiserslautern, Germany, 2012
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Improving ESOP-based Synthesis of Reversible Logic Using Evolutionary Algorithms




Author:

Rolf Drechsler, Alexander Finder, Robert Wille
Workshop:
6th European Workshop on Hardware Optimization Techniques (EvoHOT)
Reference:

Applications of Evolutionary Computation, LNCS 6625, pp. 151-161, Turin, 2011
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Latency Analysis for Sequential Circuits




Author:

Alexander Finder, André Sülflow, Görschwin Fey
Workshop:
23. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen - TuZ 2011
Reference:

Passau, 2011
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]



» Evaluating Debugging Algorithms from a Qualitative Perspective




Author:

Alexander Finder, Görschwin Fey
Workshop:
International Workshop on Boolean Problems
Reference:

Freiberg, 2010
PDF:

[view Pdf]
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE