Stefan J. Galler

	2011
6		Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa: The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. QSIC 2011: 121-130
	2010
5		Stefan J. Galler, Martin Weiglhofer, Franz Wotawa: Synthesize It: From Design by Contract to Meaningful Test Input Data. SEFM 2010: 286-295
	2009
4		Harald Altinger, Stefan J. Galler, Stephan Mühlbacher-Karrer, Gerald Steinbauer, Franz Wotawa, Hubert Zangl: Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots. RoboCup 2009: 11-22
	2007
3		Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem: Anzu: A Tool for Property Synthesis. CAV 2007: 258-262
2		Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer: Interactive presentation: Automatic hardware synthesis from specifications: a case study. DATE 2007: 1188-1193
1		Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer: Specify, Compile, Run: Hardware from PSL. Electr. Notes Theor. Comput. Sci. 190(4): 3-16 (2007)

Coauthor Index

1	Harald Altinger	[4]
2	Roderick Bloem (Roderick Paul Bloem)	[1] [2] [3]
3	Barbara Jobstmann	[1] [2] [3]
4	Stephan Mühlbacher-Karrer	[4]
5	Nir Piterman	[1] [2]
6	Amir Pnueli	[1] [2]
7	Thomas Quaritsch	[6]
8	Gerald Steinbauer	[4]
9	Martin Weiglhofer	[1] [2] [3] [5] [6]
10	Franz Wotawa	[4] [5] [6]
11	Hubert Zangl	[4]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page