| 2001 |
|---|
| 8 | EE | Viktor K. Sabelfeld,
Christian Blumenröhr,
Kai Kapp:
Semantics and Transformations in Formal Synthesis at System Level.
Ershov Memorial Conference 2001: 149-156 |
| 1999 |
|---|
| 7 | EE | Christian Blumenröhr,
Viktor K. Sabelfeld:
Formal Synthesis at the Algorithmic Level.
CHARME 1999: 187-201 |
| 6 | EE | Christian Blumenröhr,
Dirk Eisenbiegler,
Detlef Schmid:
On the efficiency of formal synthesis-experimental results.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(1): 25-32 (1999) |
| 1998 |
|---|
| 5 | EE | Christian Blumenröhr,
Dirk Eisenbiegler:
Performing High-Level Synthesis via Program Transformations within a Theorem Prover.
EUROMICRO 1998: 10034-10037 |
| 1997 |
|---|
| 4 | EE | Dirk Eisenbiegler,
Ramayya Kumar,
Christian Blumenröhr:
A constructive approach towards correctness of synthesis-application within retiming.
ED&TC 1997: 427-431 |
| 3 | EE | Christian Blumenröhr,
Dirk Eisenbiegler:
An Efficient Representation for Formal Synthesis.
ISSS 1997: 9-15 |
| 1996 |
|---|
| 2 | | Ramayya Kumar,
Christian Blumenröhr,
Dirk Eisenbiegler,
Detlef Schmid:
Formal Synthesis in Circuit Design - A Classification and Survey.
FMCAD 1996: 294-309 |
| 1 | | Dirk Eisenbiegler,
Christian Blumenröhr,
Ramayya Kumar:
Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL.
TPHOLs 1996: 157-172 |
