| 2008 |
|---|
| 7 | EE | Christian Engel,
Christoph Gladisch,
Vladimir Klebanov,
Philipp Rümmer:
Integrating Verification and Testing of Object-Oriented Software.
TAP 2008: 182-191 |
| 2007 |
|---|
| 6 | EE | Bernhard Beckert,
Martin Giese,
Reiner Hähnle,
Vladimir Klebanov,
Philipp Rümmer,
Steffen Schlager,
Peter H. Schmitt:
The KeY system 1.0 (Deduction Component).
CADE 2007: 379-384 |
| 5 | EE | Bernhard Beckert,
Vladimir Klebanov:
A Dynamic Logic for Deductive Verification of Concurrent Programs.
SEFM 2007: 141-150 |
| 2005 |
|---|
| 4 | | Vladimir Klebanov,
Philipp Rümmer,
Steffen Schlager,
Peter H. Schmitt:
Verification of JCSP Programs.
CPA 2005: 203-218 |
| 2004 |
|---|
| 3 | EE | Vladimir Klebanov:
A JMM-Faithful Non-interference Calculus for Java.
FIDJI 2004: 101-111 |
| 2 | EE | Vladimir Klebanov:
Proof Reuse for Program Verification Calculi.
IJCAR Doctoral Programme 2004 |
| 1 | EE | Bernhard Beckert,
Vladimir Klebanov:
Proof Reuse for Deductive Program Verification.
SEFM 2004: 77-86 |
