| 2001 |
|---|
| 8 | EE | Girish Bhat,
Rance Cleaveland,
Alex Groce:
Efficient Model Checking Via Büchi Tableau Automata.
CAV 2001: 38-52 |
| 1999 |
|---|
| 7 | | Girish Bhat,
Rance Cleaveland,
Gerald Lüttgen:
A Practical Approach to Implementing Real-Time Semantics.
Ann. Software Eng. 7: 127-155 (1999) |
| 1998 |
|---|
| 6 | | Girish Bhat,
Doron Peled:
Adding Partial Orders to Linear Temporal Logic.
Fundam. Inform. 36(1): 1-21 (1998) |
| 1997 |
|---|
| 5 | | Girish Bhat,
Doron Peled:
Adding Partial Orders to Linear Temporal Logic.
CONCUR 1997: 119-134 |
| 4 | | Girish Bhat,
Rance Cleaveland,
Gerald Lüttgen:
Dynamic Priorities for Modeling Real-Time.
FORTE 1997: 321-336 |
| 1996 |
|---|
| 3 | | Girish Bhat,
Rance Cleaveland:
Efficient Model Checking via the Equational µ-Calculus.
LICS 1996: 304-312 |
| 2 | | Girish Bhat,
Rance Cleaveland:
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus.
TACAS 1996: 107-126 |
| 1995 |
|---|
| 1 | | Girish Bhat,
Rance Cleaveland,
Orna Grumberg:
Efficient On-the-Fly Model Checking for CTL*
LICS 1995: 388-397 |
