Georg Weissenbacher

Georg Weissenbacher

Doctoral Student
Student, Magdalen College

georg.weissenbacher@comlab.ox.ac.uk
+44 1865 610708

Automated software verification, compiler construction and code optimisation.

Digitaltechnik

Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger

A Survey of Automated Techniques for Formal Software Verification

D'Silva, Vijay, Kroening, Daniel and Weissenbacher, Georg

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, No. 7, pages 1165-1178. July 2008.

Digitaltechnik

Biere, Armin et al.

Springer. March 2008.

SAT-based Summarisation for Boolean Programs

Basler, Gerard, Kroening, Daniel and Weissenbacher, Georg

In Proceedings of SPIN 2007 No. 4595, pages 131—148. 2007.

themes	Verification
activities	Hardware Verification \| Programming Tools \| Software Model Checking
projects	Efficient Verification of Software with Replicated Components \| Model-based test generation for embedded systems \| Model-based test generation for embedded systems
supervisor	Daniel Kroening

Wolfson Building, Parks Road, Oxford OX1 3QD