[ Back to Andreas Griesmayer's main page | To the Institute for Software Technology ]

Andreas Griesmayer's Publications

This list is also available as BiBTeX file.

[1]
B. Jobstmann, S. Staber, A. Griesmayer, and R. Bloem. Finding and fixing faults. Journal of Computer and System Sciences, 2007. Accepted for publication.

[2]
A. Griesmayer. Debugging Software: From Verification to Repair. PhD thesis, Graz University of Technology, Institute for Software Technology, Inffeldgasse 16b/2, 8010 Graz, Austria, March 2007. (PDF, 792451 bytes).

[3]
B. Angerer, A. Griesmayer, and F. Wotawa. Maintaining temporal consistency in a multimedia knowledge base. In Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa '07), Hyderabad, India, January 2007.

[4]
A. Griesmayer, S. Staber, and R. Bloem. Automated fault localization for C programs. In First Workshop on Verification and Debugging (V&D'06), Seattle, Washington, USA, August 2006. To Appear. (PDF, 165356 bytes).

[5]
A. Griesmayer, R. Bloem, and B. Cook. Repair of boolean programs with an application to C. In T. Ball and R. B. Jones, editors, 18th Conference on Computer Aided Verification (CAV'06), pages 358-371, Seattle, Washington, USA, August 2006. (PDF, 264746 bytes).

[6]
B. Jobstmann, A. Griesmayer, and R. Bloem. Program repair as a game. In K. Etessami and S. K. Rajamani, editors, 17th Conference on Computer Aided Verification (CAV '05), pages 226-238. Springer-Verlag, 2005. LNCS 3576. (Gzipped PostScript, 13 pages, 84861 bytes).

[7]
A. Griesmayer, R. Bloem, M.Hautzendorfer, and F. Wotawa. Formal verification of control software: A case study. In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems., pages 783-788, Bari, Italy, 2005. Springer. (PostScript, 77141 bytes).

[8]
A. Griesmayer and R. Bloem. Repair of boolean programs using games. In 2nd Workshop on Games in Design and Verification, Edinburgh,Scotland, UK, 2005. (PostScript, 154453 bytes).

[9]
Andreas Griesmayer. Architecture and Knowledge-Representation of the Web-based Math-Learning-System isac. Master's thesis, Graz University of Technology, Institute for Softwaretechnologie, Graz, Austria, Oct 2003.

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.