Girish Bhat

Publication Activity (10 Years)

Years Active: 1995-2001
Publications (10 Years): 0

Publications

Girish Bhat, Rance Cleaveland, Alex Groce
Efficient Model Checking Via Büchi Tableau Automata. CAV (2001)
Girish Bhat, Rance Cleaveland, Gerald Lüttgen
A Practical Approach to Implementing Real-Time Semantics. Ann. Softw. Eng. 7 (1999)
Girish Bhat, Doron A. Peled
Adding Partial Orders to Linear Temporal Logic. Fundam. Informaticae 36 (1) (1998)
Girish Bhat, Rance Cleaveland, Gerald Lüttgen
Dynamic Priorities for Modeling Real-Time. FORTE (1997)
Girish Bhat, Doron A. Peled
Adding Partial Orders to Linear Temporal Logic. CONCUR (1997)
Girish Bhat, Rance Cleaveland
Efficient Model Checking via the Equational µ-Calculus. LICS (1996)
Girish Bhat, Rance Cleaveland
Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus. TACAS (1996)
Girish Bhat, Rance Cleaveland, Orna Grumberg
Efficient On-the-Fly Model Checking for CTL* LICS (1995)