Æȷοì
Stefan Galler
Stefan Galler
ist.tugraz.atÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
1622007
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
1622007
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
1472007
Anzu: A Tool for Property Synthesis: (Tool Paper)
B Jobstmann, S Galler, M Weiglhofer, R Bloem
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin ¡¦, 2007
1312007
Survey on test data generation tools: An evaluation of white-and gray-box testing tools for C#, C++, Eiffel, and Java
SJ Galler, BK Aichernig
International Journal on Software Tools for Technology Transfer 16, 727-751, 2014
622014
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
332012
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
332012
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
332012
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
252010
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
102010
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, ...
RoboCup 2009: Robot Soccer World Cup XIII 13, 11-22, 2010
32010
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
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
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, 0-0, 2009
2009
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20