Georg Weissenbacher : Publications
|
[1] |
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 | DOI (10.1007/978-3-642-11319-2_12) | Link |
|
[2] |
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. |
|
[3] |
Program Analysis with Interpolants Georg Weissenbacher PhD Thesis 2010. |
|
[4] |
Verification and Falsification of Programs with Loops Using Predicate Abstraction Daniel Kroening and Georg Weissenbacher In Formal Aspects of Computing. 2009. |
|
[5] |
A Survey of Automated Techniques for Formal Software Verification Vijay D'Silva‚ Daniel Kroening and Georg Weissenbacher In IEEE Transactions on Computer−Aided Design of Integrated Circuits and Systems (TCAD). Vol. 27. No. 7. Pages 1165−1178. July, 2008. |
|
[6] |
Digitaltechnik Armin Biere‚ Daniel Kroening‚ Georg Weissenbacher and Christoph Wintersteiger Springer. March, 2008. |
|
[7] |
Restructuring Resolution Refutations for Interpolation Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher October, 2008. |
|
[8] |
SAT−based Summarisation for Boolean Programs Gerard Basler‚ Daniel Kroening and Georg Weissenbacher In Proceedings of SPIN 2007. No. 4595. Pages 131–148. 2007. |
|
[9] |
Lifting Propositional Interpolants to the Word−Level Daniel Kroening and Georg Weissenbacher In Proceedings of FMCAD. Pages 85–89. IEEE. 2007. (also presented in the TRESOR seminar at EPFL‚ June 2008) |
|
[10] |
Model Checking Concurrent Linux Device Drivers Thomas Witkowski‚ Nicolas Blanc‚ Georg Weissenbacher and Daniel Kroening In 22nd IEEE International Conference on Automated Software Engineering (ASE). Pages 501–504. IEEE. 2007. |
|
[11] |
A Complete Bounded Model Checking Algorithm for Pushdown Systems Gerard Basler‚ Daniel Kroening and Georg Weissenbacher In Proceedings of HVC 2007. Vol. 4899 of Lecture Notes in Computer Science. Pages 202–217. Springer. 2007. |
|
[12] |
Counterexamples with Loops for Predicate Abstraction Daniel Kroening and Georg Weissenbacher In Proceedings of CAV 2006. Vol. 4144 of Lecture Notes in Computer Science. Pages 152–165. Springer. 2006. |