Georg Weissenbacher
Interests
Automated software verification, model checking, decision procedures, logic.
news
I've graduated in September 2010 and joined Prof. Sharad Malik's group at Princeton University as a postdoctoral research associate.
featured publication
|
Digitaltechnik Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger |
Selected Publications
-
Interpolant Strength
Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher
In Proceedings of the International Conference on Verification‚ Model Checking‚ and Abstract Interpretation (VMCAI). Vol. 5944 of Lecture Notes in Computer Science. Pages 129−145. Springer. January, 2010.
Extended version available as technical report. Download slides.
Details about Interpolant Strength | BibTeX data for Interpolant Strength | DOI (10.1007/978-3-642-11319-2_12) | Link to Interpolant Strength
-
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions
Daniel Kroening and Georg Weissenbacher
In Kedar Namjoshi and Andreas Zeller, editors, Proceedings of the 5th Haifa Verification Conference. Springer. 2010.
This work was also presented at the UNU IIST seminar in Macau (click here for slides) in January 2010.
Details about An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions | BibTeX data for An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions
-
Program Analysis with Interpolants
Georg Weissenbacher
PhD Thesis 2010.
Details about Program Analysis with Interpolants | BibTeX data for Program Analysis with Interpolants | Link to Program Analysis with Interpolants