Girish Bhat

According to our database, Girish Bhat authored at least 7 papers between 1995 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Efficient Model Checking Via Büchi Tableau Automata.

Girish Bhat, Rance Cleaveland, Alex Groce

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1999

A Practical Approach to Implementing Real-Time Semantics.

Girish Bhat, Rance Cleaveland, Gerald Lüttgen

Ann. Softw. Eng., 1999

1998

Adding Partial Orders to Linear Temporal Logic.

Girish Bhat, Doron A. Peled

Fundam. Informaticae, 1998

1997

Dynamic Priorities for Modeling Real-Time.

Girish Bhat, Rance Cleaveland, Gerald Lüttgen

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

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

Girish Bhat, Rance Cleaveland

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Efficient Model Checking via the Equational µ-Calculus.

Girish Bhat, Rance Cleaveland

Proceedings of the Proceedings, 1996

1995

Efficient On-the-Fly Model Checking for CTL*

Girish Bhat, Rance Cleaveland, Orna Grumberg

Proceedings of the Proceedings, 1995