Stefan Galler
Stefan Galler
Verified email at ist.tugraz.at - Homepage
TitleCited byYear
Specify, compile, run: Hardware from PSL
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer
Electronic Notes in Theoretical Computer Science 190 (4), 3-16, 2007
1322007
Specify, compile, run: Hardware from PSL
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer
Electronic Notes in Theoretical Computer Science 190 (4), 3-16, 2007
1322007
Automatic hardware synthesis from specifications: A case study
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
1262007
Anzu: A tool for property synthesis
B Jobstmann, S Galler, M Weiglhofer, R Bloem
International Conference on Computer Aided Verification, 258-262, 2007
1242007
Survey on test data generation tools
SJ Galler, BK Aichernig
International journal on software tools for technology transfer 16 (6), 727-751, 2014
422014
Automatically extracting mock object behavior from Design by Contract™ specification for test data generation
SJ Galler, A Maller, F Wotawa
Proceedings of the 5th Workshop on Automation of Software Test, 43-50, 2010
192010
Multivariate analysis of wireless sensor network data for machine condition monitoring
C Yuan, C Neubauer, CR Sastry, S Galler
US Patent 8,112,381, 2012
132012
Multivariate analysis of wireless sensor network data for machine condition monitoring
C Yuan, C Neubauer, CR Sastry, S Galler
US Patent 8,112,381, 2012
132012
Multivariate analysis of wireless sensor network data for machine condition monitoring
C Yuan, C Neubauer, CR Sastry, S Galler
US Patent 8,112,381, 2012
132012
Mostly Harmless Team Description 2006-Robust Control of Mobile Robots.
G Steinbauer, M Brandstötter, M Buchleitner, S Galler, S Jantscher, ...
Proceeding of the International RoboCup Symposium, 0-0, 2006
112006
Aiana: An ai planning system for test data generation
SJ Galler, C Zehentner, F Wotawa
Proceedings of the 1st Workshop on Testing Object-Oriented Systems, 1-8, 2010
82010
Synthesize it: from design by contract to meaningful test input data
SJ Galler, M Weiglhofer, F Wotawa
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
52010
Concept evaluation of a reflex inspired ball handling device for autonomous soccer robots
H Altinger, SJ Galler, S Mühlbacher-Karrer, G Steinbauer, F Wotawa, ...
Robot Soccer World Cup, 11-22, 2009
32009
Automatic test generation tools for java based on design-by-contracttm: A survey
SJ Galler, F Wotawa, R Königshofer, R Unterberger
Technical report, SoftNet Austria, 2008
32008
Challenging automatic test case generation tools with real world applications
SJ Galler, B Peischl, F Wotawa
Proceedings of the IASTED International Conference on Software Engineering …, 2008
22008
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking
SJ Galler, T Quaritsch, M Weiglhofer, F Wotawa
2011 11th International Conference on Quality Software, 121-130, 2011
12011
Linking the Mostly Harmless RoboCup Software with the SimSrv Simulator
SJ Galler
Bachelor’s thesis, Graz University of Technology, 2004
12004
Automatically Extracting Mock Object Behavior from\DbC Specification for Test Data Generation
S Galler, A Maller, F Wotawa
2010
Sensor Evaluation for a Passive Ball Handling Device for Autonomous Soccer Robots
H Altinger, S Galler, S Mühlbacher-Karrer, H Zangl
4th Austrian RoboCup Workshop, 1-6, 2009
2009
Mostly Harmless: Team Description Paper 2009
S Galler, A Harald, B Bernd, H Alexander, H Christof, J Thomas, ...
RoboCup International Symposium 2009, 0-0, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20