Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Alexander Finder


BÜCHER


BUCHBEITRÄGE
» Evaluating Debugging Algorithms from a Qualitative Perspective
Großformat des Buches: System Specification and Design Languages: Selected Contributions from FDL 2010 Autor:

Alexander Finder, Görschwin Fey

Herausgeber:Tom J. Kazmierski, Adam Morawiec
Buchtitel:System Specification and Design Languages: Selected Contributions from FDL 2010
Verlag:Springer
Seiten:21-36
Erscheinungsjahr:2012
Format:Hardcover



ZEITSCHRIFTEN

» Debugging hardware designs using dynamic dependency graphs
[Link zur Zeitschriften-Homepage]




Autor:

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


2016




» A Simulation Based Approach for Automated Feature Localization
[Link zur Zeitschriften-Homepage]




Autor:

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


2014




» Latency Analysis for Sequential Circuits




Autor:

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


2014





KONFERENZEN


» Analyse dynamischer Abhängigkeitsgraphen zum Debugging von Hardwaredesigns




Autor:

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

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

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

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

Karlovy Vary, Czech Republic, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Tuning Dynamic Data Flow Analysis to Support Design Understanding




Autor:

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

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

[Link zur Konferenz]
PDF:

[hier ansehen]


» FoREnSiC - An Automatic Debugging Environment for C Programs




Autor:

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

Haifa, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Automated Feature Localization for Hardware Designs using Coverage Metrics




Autor:

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

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

[Link zur Konferenz]
PDF:

[hier ansehen]


» Latency Analysis for Sequential Circuits




Autor:

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

pp. 129-134, Trondheim, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Evaluating Debugging Algorithms from a Qualitative Perspective




Autor:

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

pp. 37-42, Southampton, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions




Autor:

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

pp. 150-155, Barcelona, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» Automated Feature Localization for Hardware Designs using Coverage Metrics




Autor:

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

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

[hier ansehen]
Hyperlink:

[Link zum Workshop]


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




Autor:

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

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

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Latency Analysis for Sequential Circuits




Autor:

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

Passau, 2011
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Evaluating Debugging Algorithms from a Qualitative Perspective




Autor:

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

Freiberg, 2010
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt