Martin Horauer

	2011
17		Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski: Past Time LTL Runtime Verification for Microcontroller Binary Code. FMICS 2011: 37-51
16		Martin Horauer, Martin Zauner, H. Schuster: A system-level test for automotive communication subsystems. Elektrotechnik und Informationstechnik 128(6): 215-221 (2011)
15		Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Brauer, Florian Scheuer: Model checking embedded software of an industrial knitting machine. IJITCC 1(2): 186-205 (2011)
	2010
14		Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. MEMICS 2010: 101-108
	2009
13		Thomas Reinbacher, Martin Horauer, Bastian Schlich: Using 3-valued memory representation for state space reduction in embedded assembly code model checking. DDECS 2009: 114-119
12		Thomas Reinbacher, Jörg Brauer, Martin Horauer, Bastian Schlich: Refining assembly code static analysis for the Intel MCS-51 microcontroller. SIES 2009: 161-170
	2008
11		Paul Milbredt, Andreas Steininger, Martin Horauer: Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks. DELTA 2008: 533-538
10		Paul Milbredt, Martin Horauer, Andreas Steininger: An investigation of the clique problem in FlexRay. SIES 2008: 200-207
9		Thomas Reinbacher, Martin Kramer, Martin Horauer, Bastian Schlich: Challenges in embedded model checking - a simulator for the [mc]square model checker. SIES 2008: 245-248
8		Eric Armengaud, Andreas Steininger, Martin Horauer: Towards a Systematic Test for Embedded Automotive Communication Systems. IEEE Trans. Industrial Informatics 4(3): 146-155 (2008)
	2007
7		Thomas M. Galla, Dietmar Schreiner, Wolfgang Forster, Christof Kutschera, Karl M. Göschka, Martin Horauer: Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm. SIES 2007: 200-208
6		Martin Horauer, Oliver Praprotnik, Martin Zauner, Roland Holler, Paul Milbredt: A Test Tool for FlexRay-based Embedded Systems. SIES 2007: 349-352
	2006
5		Eric Armengaud, Andreas Steininger, Martin Horauer: Automatic Parameter Identi cation in FlexRay based Automotive Communication Networks. ETFA 2006: 897-904
	2005
4		Eric Armengaud, Andreas Steininger, Martin Horauer: Efficient stimulus generation for testing embedded distributed systems the FlexRay example. ETFA 2005
3		Eric Armengaud, Florian Rothensteiner, Andreas Steininger, Roman Pallierer, Martin Horauer, Martin Zauner: A structured approach for the systematic test of embedded automotive communication systems. ITC 2005: 8
	1998
2		Martin Horauer, Ulrich Schmid, Klaus Schossmaier: NTI: A Network Time Interface M-Module for High-Accuracy Clock-Synchronization. IPPS/SPDP Workshops 1998: 1067-1076
	1997
1		Klaus Schossmaier, Ulrich Schmid, Martin Horauer, Dietmar Loy: Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU). Real-Time Systems 12(3): 295-327 (1997)

Coauthor Index

1	Eric Armengaud	[3] [4] [5] [8]
2	Jörg Brauer	[12] [14] [15] [17]
3	Wolfgang Forster	[7]
4	Thomas M. Galla	[7]
5	Karl M. Göschka (Karl M. Goeschka)	[7]
6	Roland Holler	[6]
7	Stefan Kowalewski	[14] [17]
8	Martin Kramer	[9]
9	Christof Kutschera	[7]
10	Dietmar Loy	[1]
11	Paul Milbredt	[6] [10] [11]
12	Roman Pallierer	[3]
13	Oliver Praprotnik	[6]
14	Thomas Reinbacher	[9] [12] [13] [14] [15] [17]
15	Florian Rothensteiner	[3]
16	Florian Scheuer	[15]
17	Bastian Schlich	[9] [12] [13] [15]
18	Ulrich Schmid	[1] [2]
19	Klaus Schossmaier	[1] [2]
20	Dietmar Schreiner	[7]
21	H. Schuster	[16]
22	Andreas Steininger	[3] [4] [5] [8] [10] [11] [14] [17]
23	Martin Zauner	[3] [6] [16]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page