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 × Denmark
1 × France
1 × Greece
1 × Israel
1 × Italy
1 × Spain
2 × USA
Collaborated with:
A.Pnueli N.Piterman L.D.Zuck L.Raviv A.Klein G.Raanan Z.Manna H.McGuire O.Maler M.Marcus E.Shahar
Talks about:
verif (3) algorithm (2) verifi (2) tempor (2) model (2) logic (2) check (2) probabilist (1) ssertion (1) proposit (1)

Person: Yonit Kesten

DBLP DBLP: Kesten:Yonit

Contributed to:

CAV 20032003
VMCAI 20022002
CSL 19991999
World Congress on Formal Methods 19991999
ICALP 19981998
CAV 19971997
LICS 19951995
CAV 19931993

Wrote 8 papers:

CAV-2003-KestenPP #simulation
Bridging the Gap between Fair Simulation and Trace Inclusion (YK, NP, AP), pp. 381–393.
VMCAI-2002-ZuckPK #automation #probability #verification
Automatic Verification of Probabilistic Free Choice (LDZ, AP, YK), pp. 208–224.
CSL-1999-KestenP #abstraction #liveness #verification
Verifying Liveness by Augmented Abstraction (YK, AP), pp. 141–156.
FM-v1-1999-KestenKPR #analysis #deduction #model checking #verification
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software (YK, AK, AP, GR), pp. 173–194.
ICALP-1998-KestenPR #algorithm #linear #logic #specification #verification
Algorithmic Verification of Linear Temporal Logic Specifications (YK, AP, LoR), pp. 1–16.
CAV-1997-KestenMMPS #model checking
Symbolic Model Checking with Rich ssertional Languages (YK, OM, MM, AP, ES), pp. 424–435.
LICS-1995-KestenP #proving
A Complete Proof Systems for QPTL (YK, AP), pp. 2–12.
CAV-1993-KestenMMP #algorithm #logic
A Decision Algorithm for Full Propositional Temporal Logic (YK, ZM, HM, AP), pp. 97–109.

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.