|
|
Georg Weissenbacher: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
A Survey of Automated Techniques for Formal Software Verification
D'Silva, Vijay, Kroening, Daniel and Weissenbacher, Georg
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, No. 7, pages 1165-1178. July 2008.
Details
|
BibTeX
| Link |
|
[2]
|
Digitaltechnik
Biere, Armin et al.
Springer. March 2008.
Details
|
BibTeX
|
|
[3]
|
SAT-based Summarisation for Boolean Programs
Basler, Gerard, Kroening, Daniel and Weissenbacher, Georg
In Proceedings of SPIN 2007 No. 4595, pages 131—148. 2007.
Details
|
BibTeX
|
|
[4]
|
Lifting Propositional Interpolants to the Word-Level
Kroening, Daniel, Weissenbacher, Georg
In Proceedings of FMCAD pages 85—89. IEEE, 2007.
Details
|
BibTeX
|
|
[5]
|
Model Checking Concurrent Linux Device Drivers
Witkowski, Thomas et al.
In 22nd IEEE International Conference on Automated Software Engineering (ASE) pages 501—504. IEEE, 2007.
Details
|
BibTeX
|
|
[6]
|
A Complete Bounded Model Checking Algorithm for Pushdown Systems
Basler, Gerard, Kroening, Daniel and Weissenbacher, Georg
In Proceedings of HVC 2007 Vol. 4899 of Lecture Notes in Computer Science, pages 202—217. Springer, 2007.
Details
|
BibTeX
|
|
[7]
|
Counterexamples with Loops for Predicate Abstraction
Kroening, Daniel, Weissenbacher, Georg
In Proceedings of CAV 2006 Vol. 4144 of Lecture Notes in Computer Science, pages 152—165. Springer, 2006.
Details
|
BibTeX
|
|
|
|
|
