Ralf Huuck

	2009
18		Ansgar Fehnker, Ralf Huuck, Sean Seefried: Incremental False Path Elimination for Static Software Analysis. ATVA 2009: 255-270
17		Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp: Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278
16		Ralf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 254: 1-3 (2009)
15		Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker: An Abstract Specification Language for Static Program Analysis. Electr. Notes Theor. Comput. Sci. 254: 181-197 (2009)
14		Jörg Brauer, Ralf Huuck, Bastian Schlich: Interprocedural Pointer Analysis in Goanna. Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009)
13		Gerwin Klein, Ralf Huuck, Bastian Schlich: Operating System Verification. J. Autom. Reasoning 42(2-4): 123-124 (2009)
	2008
12		Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer: Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221
11		Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried: Some Assembly Required - Program Analysis of Embedded System Code. SCAM 2008: 15-24
10		Ralf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008)
	2007
9		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56
	2006
8		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300
	2005
7		Ralf Huuck: Semantics and Analysis of Instruction List Programs. Electr. Notes Theor. Comput. Sci. 115: 3-18 (2005)
	2004
6		Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell: A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report 2004: 400-418
5		Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg: Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report 2004: 517-540
	2001
4		Nanette Bauer, Ralf Huuck: Towards Automatic Verification of Embedded Control Software. APAQS 2001: 375-386
	2000
3		Sébastien Bornot, Ralf Huuck, Ben Lukoschus: Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT 2000: 175-181
2		Sébastien Bornot, Ralf Huuck, Ben Lukoschus: Verification of Sequential Function Charts Using SMV. PDPTA 2000
	1997
1		Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig: Comparing Timed C/E Systems with Timed Automata (Abstract). HART 1997: 81-86

Coauthor Index

1	Nanette Bauer	[4] [5] [6]
2	Sébastien Bornot	[2] [3]
3	Jörg Brauer	[12] [14]
4	Sebastian Engell	[1] [5] [6]
5	Ansgar Fehnker	[8] [9] [11] [12] [15] [17] [18]
6	Patrick Jayet	[8] [9]
7	Gerwin Klein	[10] [13] [16]
8	Stefan Kowalewski	[1]
9	Yassine Lakhnech	[1]
10	Sven Lohmann	[5]
11	Ben Lukoschus	[2] [3] [5] [6]
12	Michel Lussenburg	[8] [9]
13	Frank Ortmeier	[15]
14	Jörg Preußig	[1]
15	Felix Rauch	[8] [9] [11]
16	Wolfgang Reif	[15]
17	Manuel Remelhe	[5]
18	Bastian Schlich	[10] [13] [14] [16] [17]
19	Sean Seefried	[11] [12] [18]
20	Olaf Stursberg	[5]
21	Michael Tapp	[17]
22	Luis Urbina	[1]
23	Michael Vistein	[15]