Ulrich Heinkel

	2008
11		Uwe Proß, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel: A Platform for Requirement Based Formal Specification. FDL 2008: 237-238
10		Erik Markert, Uwe Proß, Ulrich Heinkel: SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems. FDL 2008: 243-244
	2006
9		Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Müller: New methods and coverage metrics for functional verification. DATE 2006: 1025-1030
8		Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel: Automatic Test Case Generation with NuSMV. GI Jahrestagung (2) 2006: 262-263
7		Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel: Automatic Visualization of Abstract System Specifications. QSIC 2006: 167-174
6		Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala: Formal Verification of Abstract System and Protocol Specifications. SEW 2006: 207-211
	2005
5		Tudor Murgan, Abdulfattah Mohammad Obeid, Andre Guntoro, Peter Zipf, Manfred Glesner, Ulrich Heinkel: Design and Implementation of a Multi-Core Architecture for Overhead Processing in Optical Transport Networks. ReCoSoC 2005: 151-156
	2004
4		Tudor Murgan, Mihail Petrov, Mateusz Majer, Peter Zipf, Manfred Glesner, Ulrich Heinkel, Jörg Pleickhardt, Bernd Bleisteiner: Adaptive architectures for an OTN processor: reducing design costs through reconfigurability and multiprocessing. Conf. Computing Frontiers 2004: 404-418
3		Ulrich Heinkel, Claus Mayer, Charles F. Webb, Hans Sahm, Werner Haas, Stefan Gossens: An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs. SAMOS 2004: 98-107
	2003
2		Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel: Formal Specification of a 40GBit/s Sonet/SDH ASIC. FDL 2003: 426-435
	2002
1		Werner Haas, Stefan Gossens, Ulrich Heinkel: Integration of Formal Specification into the Standard ASIC Design Flow. HASE 2002: 189-194

Coauthor Index

1	Bernd Bleisteiner	[4]
2	Thomas Bluhm	[6]
3	Grygoriy Bunin	[8]
4	T. Bürner	[2]
5	Chris Drechsler	[11]
6	Manfred Glesner	[4] [5]
7	Stefan Gossens	[1] [2] [3]
8	Andre Guntoro	[5]
9	Werner Haas	[1] [2] [3]
10	Christian Haubelt	[8]
11	Vasco Jerinic	[9]
12	Joachim Knäblein	[6]
13	Jan Langer	[7] [8] [9] [11]
14	Mateusz Majer	[4]
15	Erik Markert	[10] [11]
16	Claus Mayer	[3]
17	Dietmar Müller	[9]
18	Tudor Murgan	[4] [5]
19	Abdulfattah Mohammad Obeid	[5]
20	Mihail Petrov	[4]
21	Jörg Pleickhardt	[4]
22	Uwe Proß	[10] [11]
23	Tobias Renner	[6]
24	Andreas Richter	[11]
25	Hans Sahm	[3]
26	Axel Schneider	[6] [7] [8]
27	Stephan Walter	[7]
28	Charles F. Webb	[3]
29	Reynaldo Zavala	[6]
30	Peter Zipf	[4] [5]

Colors in the list of coauthors