Girish Bhat

A practical approach to implementing real-time semantics

Girish Bhat, Rance Cleaveland, Gerald Lüttgen, 1999, Ann. Softw. Eng..

Efficient model checking via the equational /spl mu/-calculus

Girish Bhat, Rance Cleaveland, R. Cleaveland, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

Adding Partial Orders to Linear Temporal Logic

Girish Bhat, Doron A. Peled, D. Peled, 1997, Fundam. Informaticae.

Adding Partial Orders to Linear Temporal Logic

Girish Bhat, Doron A. Peled, 1998, Fundam. Informaticae.

Efficient on-the-fly model checking for CTL

Girish Bhat, Rance Cleaveland, Orna Grumberg, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

Efficent Local Model-Checking for Fragments of teh Modal µ-Calculus

Girish Bhat, Rance Cleaveland, R. Cleaveland, 1996, TACAS.

Dynamic Priorities for Modeling Real-Time

Girish Bhat, Rance Cleaveland, Gerald Lüttgen, 1997, FORTE.

Efficient Local Model-Checking for Fragments of the Modal p-Calculus

Girish Bhat, R. Cleaveland, G. Bhat, 2005 .