Ralf Huuck

	2010
24		Kai Engelhardt, Ralf Huuck: Smaller Abstractions for FOR ALL CTL* without Next. Concurrency, Compositionality, and Correctness 2010: 250-259
23		Ansgar Fehnker, Ralf Huuck, Sean Seefried: Counterexample Guided Path Reduction for Static Program Analysis. Concurrency, Compositionality, and Correctness 2010: 322-341
22		Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif: Software Metrics in Static Program Analysis. ICFEM 2010: 485-500
21		Ansgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp: Fade to Grey: Tuning Static Program Analysis. Electr. Notes Theor. Comput. Sci. 266: 17-32 (2010)
	2009
20		Ansgar Fehnker, Ralf Huuck, Sean Seefried: Incremental False Path Elimination for Static Software Analysis. ATVA 2009: 255-270
19		Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp: Automatic Bug Detection in Microcontroller Software by Static Program Analysis. SOFSEM 2009: 267-278
18		Ralf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 254: 1-3 (2009)
17		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)
16		Jörg Brauer, Ralf Huuck, Bastian Schlich: Interprocedural Pointer Analysis in Goanna. Electr. Notes Theor. Comput. Sci. 254: 65-83 (2009)
15		Gerwin Klein, Ralf Huuck, Bastian Schlich: Operating System Verification. J. Autom. Reasoning 42(2-4): 123-124 (2009)
	2008
14		Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer: Goanna: Syntactic Software Model Checking. ATVA 2008: 216-221
13		Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried: Some Assembly Required - Program Analysis of Embedded System Code. SCAM 2008: 15-24
12		Ralf Huuck, Gerwin Klein, Bastian Schlich: Preface. Electr. Notes Theor. Comput. Sci. 217: 1-3 (2008)
	2007
11		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56
	2006
10		Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300
	2005
9		Ralf Huuck: Semantics and Analysis of Instruction List Programs. Electr. Notes Theor. Comput. Sci. 115: 3-18 (2005)
	2004
8		Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell: A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report 2004: 400-418
7		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
	2003
6		Ralf Huuck: Software verification for programmable logic controllers. University of Kiel 2003: 1-188
	2001
5		Nanette Bauer, Ralf Huuck: Towards Automatic Verification of Embedded Control Software. APAQS 2001: 375-386
	2000
4		Sébastien Bornot, Ralf Huuck, Ben Lukoschus: Statische Analysetechniken für speicherprogrammierbare Steuerungen. FBT 2000: 175-181
3		Sébastien Bornot, Ralf Huuck, Ben Lukoschus: Verification of Sequential Function Charts Using SMV. PDPTA 2000
	1998
2		Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig: Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. Scalable Computing: Practice and Experience 1(2): (1998)
	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	[5] [7] [8]
2	Sébastien Bornot	[3] [4]
3	Jörg Brauer	[14] [16]
4	Kai Engelhardt	[24]
5	Sebastian Engell	[1] [2] [7] [8]
6	Ansgar Fehnker	[10] [11] [13] [14] [17] [19] [20] [21] [22] [23]
7	Patrick Jayet	[10] [11]
8	Gerwin Klein	[12] [15] [18]
9	Stefan Kowalewski	[1] [2]
10	Yassine Lakhnech	[1] [2]
11	Sven Lohmann	[7]
12	Ben Lukoschus	[3] [4] [7] [8]
13	Michel Lussenburg	[10] [11]
14	Frank Ortmeier	[17]
15	Jörg Preußig	[1] [2]
16	Felix Rauch	[10] [11] [13]
17	Wolfgang Reif	[17] [22]
18	Manuel Remelhe	[7]
19	Bastian Schlich	[12] [15] [16] [18] [19]
20	Sean Seefried	[13] [14] [20] [21] [23]
21	Olaf Stursberg	[7]
22	Michael Tapp	[19] [21]
23	Luis Urbina	[1] [2]
24	Michael Vistein	[17]
25	Andreas Vogelsang	[22]

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