Georg Weissenbacher
|
Georg
Weissenbacher
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Automated software verification, model checking, decision procedures, logic.
featured publication
|
Digitaltechnik Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger |
Links
Selected Publications
| 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. |
| 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 | BibTeX | Link | DOI (10.1007/978-3-642-11319-2_12) |
| Restructuring Resolution Refutations for Interpolation Vijay D'Silva, Daniel Kroening, Mitra Purandare and Georg Weissenbacher October, 2008. Details | BibTeX | Link (pdf) |
Info
|
Themes |
|
|
Activities |
Software Model Checking | Programming Tools | Hardware Verification |
|
Projects |
Efficient Verification of Software with Replicated Components | Model-based test generation for embedded systems |
|
Supervisor |