Martin Oberkönig

Martin Braun

	2009
8		Martin Braun, Oliver Stefani, Achim Pross, Matthias Bues, Dieter Spath: Human Factors in Lighting. HCI (15) 2009: 223-230
7		Dieter Spath, Martin Braun, Wilhelm Bauer: Integrated Human and Automation Systems. Handbook of Automation 2009: 571-598
	2007
6		Martin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking: A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. FDL 2007: 291-292
5		Martin Oberkönig, Martin Schickel, Hans Eveking: A Quantitative Completeness Analysis for Property-Sets. FMCAD 2007: 158-161
4		Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler: Multi-Level Assertion-Based Design. MEMOCODE 2007: 85-86
	2006
3		Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking: On Consistency and Completeness of Property-Sets. FDL 2006: 241-248
	2003
2		Lorenz Hagenmeyer, Martin Braun, Frank Haselberger: Entwicklung eines Mixed-Mock-Up Simulators für arbeitswissenschaftliche Untersuchungen. Mensch & Computer 2003
	1995
1		Hermann Kopetz, Martin Braun, Christian Ebner, Andreas Krüger, Dietmar Millinger, Roman Nossal, Anton V. Schedl: The Design of Large Real-Time Systems: The Time-Triggered Approach. IEEE Real-Time Systems Symposium 1995: 182-189

Coauthor Index

1	Wilhelm Bauer	[7]
2	Matthias Bues	[8]
3	Christian Ebner	[1]
4	Hans Eveking	[3] [4] [5] [6]
5	Lorenz Hagenmeyer	[2]
6	Frank Haselberger	[2]
7	Hermann Kopetz	[1]
8	Andreas Krüger	[1]
9	Dietmar Millinger	[1]
10	Volker Nimbler	[3] [4]
11	Roman Nossal	[1]
12	Achim Pross	[8]
13	Anton V. Schedl	[1]
14	Martin Schickel	[3] [4] [5] [6]
15	Martin Schweikert	[4] [6]
16	Dieter Spath	[7] [8]
17	Oliver Stefani	[8]

Colors in the list of coauthors