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