Georg Weissenbacher : Publications
Books
-
[1]
Digitaltechnik
Armin Biere‚ Daniel Kroening‚ Georg Weissenbacher and Christoph Wintersteiger
Springer. March, 2008.
Details about Digitaltechnik | BibTeX data for Digitaltechnik | Link to Digitaltechnik
Journal papers
-
[1]
Verification and Falsification of Programs with Loops Using Predicate Abstraction
Daniel Kroening and Georg Weissenbacher
In Formal Aspects of Computing. 2009.
Details about Verification and Falsification of Programs with Loops Using Predicate Abstraction | BibTeX data for Verification and Falsification of Programs with Loops Using Predicate Abstraction | DOI (10.1007/s00165-009-0110-2) | Link to Verification and Falsification of Programs with Loops Using Predicate Abstraction
-
[2]
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.
Details about A Survey of Automated Techniques for Formal Software Verification | BibTeX data for A Survey of Automated Techniques for Formal Software Verification | DOI (10.1109/TCAD.2008.923410) | Link to A Survey of Automated Techniques for Formal Software Verification
Conference papers
-
[1]
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
-
[2]
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
-
[3]
SAT−based Summarisation for Boolean Programs
Gerard Basler‚ Daniel Kroening and Georg Weissenbacher
In Proceedings of SPIN 2007. No. 4595. Pages 131–148. 2007.
Details about SAT−based Summarisation for Boolean Programs | BibTeX data for SAT−based Summarisation for Boolean Programs | Link to SAT−based Summarisation for Boolean Programs
-
[4]
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)
Details about Lifting Propositional Interpolants to the Word−Level | BibTeX data for Lifting Propositional Interpolants to the Word−Level | Link to Lifting Propositional Interpolants to the Word−Level
-
[5]
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.
Details about Model Checking Concurrent Linux Device Drivers | BibTeX data for Model Checking Concurrent Linux Device Drivers | DOI (10.1145/1321631.1321719) | Link to Model Checking Concurrent Linux Device Drivers
-
[6]
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.
Details about A Complete Bounded Model Checking Algorithm for Pushdown Systems | BibTeX data for A Complete Bounded Model Checking Algorithm for Pushdown Systems
-
[7]
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.
Details about Counterexamples with Loops for Predicate Abstraction | BibTeX data for Counterexamples with Loops for Predicate Abstraction | DOI (10.1007/11817963_16) | Link to Counterexamples with Loops for Predicate Abstraction
Theses
-
[1]
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
Miscellaneous
-
[1]
Restructuring Resolution Refutations for Interpolation
Vijay D'Silva‚ Daniel Kroening‚ Mitra Purandare and Georg Weissenbacher
October, 2008.
Details about Restructuring Resolution Refutations for Interpolation | BibTeX data for Restructuring Resolution Refutations for Interpolation | Download (pdf) of Restructuring Resolution Refutations for Interpolation