BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
1 × Russia
1 × USA
Collaborated with:
A.Gurfinkel S.Shoham S.Malik V.Ryvchin A.Nadel O.Grumberg R.Shemer H.G.V.Krishnan V.Ganesh W.Yang P.Subramanyan A.Gupta
Talks about:
interpol (5) reachabl (2) properti (2) composit (2) direct (2) self (2) intertwin (1) backward (1) generat (1) forward (1)

Person: Yakir Vizel

DBLP DBLP: Vizel:Yakir

Contributed to:

CAV 20152015
CAV 20142014
CAV 20132013
TACAS 20132013
CAV (2) 20182018
CAV (1) 20192019
CAV (2) 20192019

Wrote 7 papers:

CAV-2015-VizelGM #performance
Fast Interpolating BMC (YV, AG, SM), pp. 641–657.
CAV-2014-VizelG #reachability
Interpolating Property Directed Reachability (YV, AG), pp. 260–276.
CAV-2013-VizelRN #generative #performance
Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.
TACAS-2013-VizelGS #analysis #reachability #using
Intertwined Forward-Backward Reachability Analysis Using Interpolants (YV, OG, SS), pp. 308–323.
CAV-2018-YangVSGM #composition #lazy evaluation #security #self #verification
Lazy Self-composition for Security Verification (WY, YV, PS, AG, SM), pp. 136–156.
CAV-2019-ShemerGSV #composition
Property Directed Self Composition (RS, AG, SS, YV), pp. 161–179.
CAV-2019-KrishnanVGG #induction
Interpolating Strong Induction (HGVK, YV, VG, AG), pp. 367–385.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.