Christian Blumenröhr

According to our database, Christian Blumenröhr authored at least 11 papers between 1996 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

Semantics and Transformations in Formal Synthesis at System Level.

Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp

Proceedings of the Perspectives of System Informatics, 2001

2000

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen.

Christian Blumenröhr

PhD thesis, 2000

1999

On the efficiency of formal synthesis-experimental results.

Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

A Formal Approach to Specify and Synthesize at the System Level.

Christian Blumenröhr

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

Formal Synthesis at the Algorithmic Level.

Christian Blumenröhr, Viktor K. Sabelfeld

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations.

Christian Blumenröhr, Dirk Eisenbiegler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Performing High-Level Synthesis via Program Transformations within a Theorem Prover.

Christian Blumenröhr, Dirk Eisenbiegler

Proceedings of the 24th EUROMICRO '98 Conference, 1998

1997

An Efficient Representation for Formal Synthesis.

Christian Blumenröhr, Dirk Eisenbiegler

Proceedings of the 10th International Symposium on System Synthesis, 1997

A constructive approach towards correctness of synthesis-application within retiming.

Dirk Eisenbiegler, Ramayya Kumar, Christian Blumenröhr

Proceedings of the European Design and Test Conference, 1997

1996

Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL.

Dirk Eisenbiegler, Christian Blumenröhr, Ramayya Kumar

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Formal Synthesis in Circuit Design - A Classification and Survey.

Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996