|
Home « Team « Publikationen
» Publikationen von
Alexander Finder
|
 |
BÜCHER |
 |
|
BUCHBEITRÄGE |
|
| » Evaluating Debugging Algorithms from a Qualitative Perspective |
|
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 |
|
|
KONFERENZEN |
|
» 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:
|
| 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:
|
| Kaiserslautern, 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]
|
|
|
|
