home | page 2 | résumé | <publications> | projects | links

Vijay D'Silva, Daniel Kroening, Mitra Purandare, and Georg Weissenbacher
Interpolant Strength
to appear in the Proceedings of Verification, Model Checking and Abstract Interpretation, Madrid, Spain, January 2010 (an extended version of this paper is available as ETH Zurich Technical Report)
Download slides.

Daniel Kroening, and Georg Weissenbacher
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions
to appear in the Proceedings of the 5th Haifa Verification Conference, Haifa, Israel, October 2009.
This work was also presented at the UNU-IIST seminar in Macau in January, 2010.
Download slides.

Daniel Kroening, Georg Weissenbacher
Drum prüfe: Model Checking: Bugs in C-Programmen finden
Magazin für professionelle Informationstechnik, iX 5/2009

Daniel Kroening, and Georg Weissenbacher
Verification and Falsification of Programs with Loops Using Predicate Abstraction
Formal Aspects of Computing, Springer, 2009

Vijay D'Silva, Daniel Kroening, and Georg Weissenbacher
A Survey of Automated Techniques for Formal Software Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 27, Issue 7, July 2008

Armin Biere, Daniel Kroening, Georg Weissenbacher, and Christoph M. Wintersteiger
Digitaltechnik - Eine praxisnahe Einführung
Springer-Lehrbuch, March 2008

Gérard Basler, Daniel Kroening, and Georg Weissenbacher
A Complete Bounded Model Checking Algorithm for Pushdown Systems
Proceedings of the 3rd Haifa Verification Conference, Haifa, Israel, October 2007 (published 2008)

Daniel Kroening and Georg Weissenbacher
Lifting Propositional Interpolants to the Word-Level
Proceedings of the 7th Conference on Formal Methods in Computer Aided Design, Austin, TX, November 2007

Thomas Witkowski, Nicolas Blanc, Daniel Kroening, and Georg Weissenbacher
Model Checking Concurrent Linux Device Drivers
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, GA, November 2007

Gérard Basler, Daniel Kroening, and Georg Weissenbacher
SAT-based Summarization for Boolean Programs
Proceedings of the 14th International SPIN Workshop on Model Checking Software, Berlin, Germany, July 2007
Download slides.

Daniel Kroening and Georg Weissenbacher
Counterexamples with Loops for Predicate Abstraction
Proceedings of the 18th Conference on Computer Aided Verification, Seattle, WA, August 2006

Wolfgang Herzner, Georg Weissenbacher, Erwin Schoitsch
From requirements to deployment: Verify that the right things are done correctly. The DECOS test bench
Proceedings of the 8th International IEEE Conference on Intelligent Transportation Systems, Vienna, Austria, September 2005

Wolfgang Herzner and Georg Weissenbacher
Counterexample-Driven Abstraction Refinement: A pattern for Formal Verification of Large Systems
Proceedings of the 10th European Conference on Pattern Languages of Programs, Irsee, Germany, July 2005

Georg Weissenbacher, Wolfgang Herzner and Egbert Althammer
Allocation of Dependable Software Modules under Consideration of Replicas
Proceedings of the First ERCIM Workshop on Software-Intensive Dependable Embedded Systems, Porto, Portugal, August 2005

Georg Weissenbacher
Abstrakte Kunst: Fehler finden mit Model-Checkern
Magazin für professionelle Informationstechnik, iX 5/2004

Georg Weissenbacher
Ohne Beweis: VDM++, Lightweight Formal Methods
Magazin für professionelle Informationstechnik, iX 3/2001