`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: Ravi:Kavita

### Contributed to:

### 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.