Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Christian
Last name:	Blumenröhr
DBLP:	71/864
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 8 of 8  

Select a publication
Show	Title	Venue	Rating	Date
	Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp. Semantics and Transformations in Formal Synthesis at System Level.	Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers 2001	(0)	2001
	Christian Blumenröhr, Viktor K. Sabelfeld. Formal Synthesis at the Algorithmic Level.	Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings 1999	(0)	1999
	Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid. On the efficiency of formal synthesis-experimental results.	IEEE Trans. on CAD of Integrated Circuits and Systems 1999, Volume 18	(0)	1999
	Christian Blumenröhr, Dirk Eisenbiegler. Performing High-Level Synthesis via Program Transformations within a Theorem Prover.	24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden 1998	(0)	1998
	Dirk Eisenbiegler, Ramayya Kumar, Christian Blumenröhr. A constructive approach towards correctness of synthesis-application within retiming.	European Design and Test Conference (EDTC '97), Paris, France, 17-20 March 1997 1997	(0)	1997
	Christian Blumenröhr, Dirk Eisenbiegler. An Efficient Representation for Formal Synthesis.	ISSS 1997	(0)	1997
	Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid. Formal Synthesis in Circuit Design - A Classification and Survey.	Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings 1996	(0)	1996
	Dirk Eisenbiegler, Christian Blumenröhr, Ramayya Kumar. Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL.	Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings 1996	(0)	1996

Your query returned 8 matches in the database.