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 × France
1 × Italy
1 × Spain
4 × USA
Collaborated with:
F.Somenzi R.Bloem H.Jin S.Sohail I.Moon J.H.Kukula K.L.McMillan T.R.Shiple H.Kim P.Spacek J.Pierce R.P.Kurshan
Talks about:
model (3) check (3) decis (2) decomposit (1) constrain (1) algorithm (1) question (1) properti (1) procedur (1) approxim (1)

Person: Kavita Ravi

DBLP DBLP: Ravi:Kavita

Contributed to:

CAV 20082008
VMCAI 20082008
TACAS 20042004
TACAS 20022002
DAC 20002000
CAV 19991999
DAC 19981998

Wrote 8 papers:

CAV-2008-KimJRSPKS #analysis #random #simulation
Application of Formal Word-Level Analysis to Constrained Random Simulation (HK, HJ, KR, PS, JP, RPK, FS), pp. 487–490.
VMCAI-2008-SohailSR #algorithm #game studies #hybrid #ltl
A Hybrid Algorithm for LTL Games (SS, FS, KR), pp. 309–323.
TACAS-2004-RaviS #bound #model checking
Minimal Assignments for Bounded Model Checking (KR, FS), pp. 31–45.
TACAS-2002-JinRS #fault
Fate and Free Will in Error Traces (HJ, KR, FS), pp. 445–459.
DAC-2000-BloemRS #model checking
Symbolic guided search for CTL model checking (RB, KR, FS), pp. 29–34.
DAC-2000-MoonKRS #image
To split or to conjoin: the question in image computation (IHM, JHK, KR, FS), pp. 23–28.
CAV-1999-BloemRS #linear #logic #model checking #performance
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties (RB, KR, FS), pp. 222–235.
DAC-1998-RaviMSS #approximate #composition #diagrams
Approximation and Decomposition of Binary Decision Diagrams (KR, KLM, TRS, FS), pp. 445–450.

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.