Stefan Galler
Stefan Galler
Verified email at ist.tugraz.at - Homepage
Title
Cited by
Cited by
Year
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
1312007
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
1312007
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
1302007
Anzu: A tool for property synthesis
B Jobstmann, S Galler, M Weiglhofer, R Bloem
International Conference on Computer Aided Verification, 258-262, 2007
1252007
Survey on test data generation tools
SJ Galler, BK Aichernig
International journal on software tools for technology transfer 16 (6), 727-751, 2014
452014
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
212010
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
182012
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
182012
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
182012
Specify, compile, run: Hardware form PSL
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer
6th International Workshop on Compiler Optimization Meets Compiler …, 2007
172007
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
42009
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
The system can't perform the operation now. Try again later.
Articles 1–20