Christian Blumenröhr

Publication Activity (10 Years)

Years Active: 1996-2001
Publications (10 Years): 0

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp
Semantics and Transformations in Formal Synthesis at System Level. Ershov Memorial Conference (2001)
Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid
On the efficiency of formal synthesis-experimental results. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (1) (1999)
Christian Blumenröhr, Viktor K. Sabelfeld
Formal Synthesis at the Algorithmic Level. CHARME (1999)
Christian Blumenröhr
A Formal Approach to Specify and Synthesize at the System Level. MBMV (1999)
Christian Blumenröhr, Dirk Eisenbiegler
Performing High-Level Synthesis via Program Transformations within a Theorem Prover. EUROMICRO (1998)
Christian Blumenröhr, Dirk Eisenbiegler
Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations. MBMV (1998)
Christian Blumenröhr, Dirk Eisenbiegler
An Efficient Representation for Formal Synthesis. ISSS (1997)
Dirk Eisenbiegler, Ramayya Kumar, Christian Blumenröhr
A constructive approach towards correctness of synthesis-application within retiming. ED&TC (1997)
Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid
Formal Synthesis in Circuit Design - A Classification and Survey. FMCAD (1996)
Dirk Eisenbiegler, Christian Blumenröhr, Ramayya Kumar
Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL. TPHOLs (1996)