 | 2009 |
|---|
| 5 |       | Görschwin Fey,
André Sülflow,
Rolf Drechsler:
Computing bounds for fault tolerance using formal techniques.
DAC 2009: 190-195 |
| 4 | | André Sülflow,
Görschwin Fey,
Cécile Braunstein,
Ulrich Kühne,
Rolf Drechsler:
Increasing the accuracy of SAT-based debugging.
DATE 2009: 1326-1331 |
| 2008 |
|---|
| 3 | | André Sülflow,
Görschwin Fey,
Roderick Bloem,
Rolf Drechsler:
Using unsatisfiable cores to debug multiple design errors.
ACM Great Lakes Symposium on VLSI 2008: 77-82 |
| 2007 |
|---|
| 2 | | André Sülflow,
Rolf Drechsler:
Modeling a Fully Scalable Reed-Solomon Encoder/Decoder over GF(p^{m}) in SystemC.
ISMVL 2007: 42 |
| 2006 |
|---|
| 1 | | André Sülflow,
Nicole Drechsler,
Rolf Drechsler:
Robust Multi-Objective Optimization in High Dimensional Spaces.
EMO 2006: 715-726 |
