Travelled to:1 × France
1 × Germany
2 × USA
Collaborated with:R.Cleaveland A.Groce O.Grumberg
Talks about:model (4) check (4) effici (3) calculus (2) fragment (1) automata (1) tableau (1) modal (1) local (1) equat (1)
Person: Girish Bhat
DBLP: Bhat:Girish
Contributed to:
2001
1996
19961995Wrote 4 papers:
- CAV-2001-BhatCG #automaton #model checking #performance
- Efficient Model Checking Via Büchi Tableau Automata (GB, RC, AG), pp. 38–52.
- LICS-1996-BhatC #calculus #equation #model checking #performance #μ-calculus
- Efficient Model Checking via the Equational μ-Calculus (GB, RC), pp. 304–312.
- TACAS-1996-BhatC #calculus #model checking #μ-calculus
- Efficent Local Model-Checking for Fragments of teh Modal μ-Calculus (GB, RC), pp. 107–126.
- LICS-1995-BhatCG #model checking #on the fly #performance
- Efficient On-the-Fly Model Checking for CTL* (GB, RC, OG), pp. 388–397.