Volgen
Stefan Galler
Stefan Galler
Geverifieerd e-mailadres voor ist.tugraz.at - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1572007
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
1572007
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
1462007
Anzu: A tool for property synthesis
B Jobstmann, S Galler, M Weiglhofer, R Bloem
International Conference on Computer Aided Verification, 258-262, 2007
1292007
Survey on test data generation tools
SJ Galler, BK Aichernig
International Journal on Software Tools for Technology Transfer 16 (6), 727-751, 2014
572014
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
272012
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
272012
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
272012
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
262010
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
92010
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
82010
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-Contract: 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20