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:
2008
2008
20042002
200019991998Wrote 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.