Travelled to:1 × China
1 × Germany
1 × Ireland
1 × Italy
1 × Spain
1 × Sweden
1 × United Kingdom
Collaborated with:B.Beckert P.Rümmer M.Ulbrich Alexander Weigl Jörg Weisbarth P.H.Schmitt C.Engel C.Gladisch D.Felsing S.Grebing D.Bruns C.Scheben M.Giese R.Hähnle S.Schlager P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens N.Polikarpova T.Ridge J.Smans S.Tobies T.Tuerk B.Weiß
Talks about:verif (4) softwar (3) deduct (3) program (2) orient (2) object (2) probabilist (1) competit (1) regress (1) project (1)
Person: Vladimir Klebanov
DBLP: Klebanov:Vladimir
Contributed to:
2014
2013
2011
2008
2007
20072004
2016Wrote 8 papers:
- ASE-2014-FelsingGKRU #automation #verification
- Automating regression verification (DF, SG, VK, PR, MU), pp. 349–360.
- LOPSTR-2013-BeckertBKSSU #data flow #object-oriented
- Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.
- FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
- The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
- TAP-2008-EngelGKR #object-oriented #testing #verification
- Integrating Verification and Testing of Object-Oriented Software (CE, CG, VK, PR), pp. 182–191.
- CADE-2007-BeckertGHKRSS #component #deduction
- The KeY system 1.0 (Deduction Component) (BB, MG, RH, VK, PR, SS, PHS), pp. 379–384.
- SEFM-2007-BeckertK #concurrent #deduction #logic #source code #verification
- A Dynamic Logic for Deductive Verification of Concurrent Programs (BB, VK), pp. 141–150.
- SEFM-2004-BeckertK #deduction #proving #reuse #verification
- Proof Reuse for Deductive Program Verification (BB, VK), pp. 77–86.
- QAPL-2016-KlebanovWW #probability #satisfiability
- Sound Probabilistic #SAT with Projection (VK, AW, JW), pp. 15–29.