Steffen Helke

	2009
6		Moritz Kleine, Steffen Helke: Low-Level Code Verification Based on CSP Models. SBMF 2009: 266-281
	2005
5		Steffen Helke, Florian Kammüller: Structure Preserving Data Abstractions for Statecharts. FORTE 2005: 305-319
	2003
4		Dirk Seifert, Steffen Helke, Thomas Santen: Test Case Generation for UML Statecharts. Ershov Memorial Conference 2003: 462-468
	2001
3		Steffen Helke, Thomas Santen: Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME 2001: 20-42
2		Steffen Helke, Florian Kammüller: Representing Hierarchical Automata in Interactive Theorem Provers. TPHOLs 2001: 233-248
	1997
1		Steffen Helke, Thomas Neustupny, Thomas Santen: Automating Test Case Generation from Z Specifications with Isabelle. ZUM 1997: 52-71

Coauthor Index

1	Florian Kammüller	[2] [5]
2	Moritz Kleine	[6]
3	Thomas Neustupny	[1]
4	Thomas Santen	[1] [3] [4]
5	Dirk Seifert	[4]

Colors in the list of coauthors