[ Back to Stefan Galler's main page | To the Institute for Software Technology ]

Stefan Galler's Publications


This list is also available as BiBTeX file.

[1]
R. Bloem, S. Galler, B. Jobstmann, N. Piterman, A. Pnueli, and M. Weiglhofer. Specify, compile, run: Hardware form PSL. In 6th International Workshop on Compiler Optimization Meets Compiler Verification, 2007. To Appear in ENTCS. .

[2]
R. Bloem, S. Galler, B. Jobstmann, N. Piterman, A. Pnueli, and M. Weiglhofer. Automatic hardware synthesis from specifications: A case study. In Proceedings of the Design, Automation and Test in Europe, pages 1188-1193, 2007. .

[3]
Gerald Steinbauer, Mathias Brandstöter, Martin Buchleitner ans Stefan Galler, Simon Jantscher, Martin Mörth Gerald Krammer, Jörg Weber, and Martin Weiglhofer. Mostly harmless team description 2006 - robust control of mobile robots. In International RoboCup Symposium., Bremen, Germany, 2006.


The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.