Stefan J. Galler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2007–2010
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICSE | Automatically extracting mock object behavior from Design by Contract™ specification for test data generation. | Stefan J. Galler, Andreas Maller, Franz Wotawa |
| 2010 | SEFM | Synthesize It: From Design by Contract to Meaningful Test Input Data. | Stefan J. Galler, Martin Weiglhofer, Franz Wotawa |
| 2009 | RoboCup | Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots. | Harald Altinger, Stefan J. Galler, Stephan Mhlbacher-Karrer, Gerald Steinbauer, Franz Wotawa, Hubert Zangl |
| 2007 | CAV | Anzu: A Tool for Property Synthesis. | Barbara Jobstmann, Stefan J. Galler, Martin Weiglhofer, Roderick Bloem |
| 2007 | DATE | Interactive presentation: Automatic hardware synthesis from specifications: a case study. | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |