George Kutty

According to our database1, George Kutty authored at least 19 papers between 1992 and 1997.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1997
A Graphical Environment for the Design of Concurrent Real-Time Systems.
ACM Trans. Softw. Eng. Methodol., 1997

1996
Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.
Theor. Comput. Sci., 1996

Interval Logics and Their Decision Procedures, Part I: An Interval Logic.
Theor. Comput. Sci., 1996

Automated Deduction in a Graphical Temporal Logic.
J. Appl. Non Class. Logics, 1996

The Real-Time Graphical Interval Logic Toolset.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Axiomatizations of Interval Logics.
Fundam. Informaticae, 1995

1994
Visual Specifications for Temporal Reasoning.
J. Vis. Lang. Comput., 1994

A Graphical Interval Logic for Specifying Concurrent Systems.
ACM Trans. Softw. Eng. Methodol., 1994

Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.
Fundam. Informaticae, 1994

A System for Automated Deduction in Graphical Interval Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

First-Order Future Interval Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

A Graphical Methodology for Concurrent System Design.
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993
Visual Tools for Temporal Reasoning.
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Really visual temporal reasoning.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

A Real-Time Interval Logic and Its Decision Procedure.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

A Graphical Interval Logic Toolset for Verifying Concurrent Systems.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
An automata-theoretic decision procedure for propositional temporal logic with since and until.
Fundam. Informaticae, 1992

Graphical Specifications for Concurrent Software Systems.
Proceedings of the 14th International Conference on Software Engineering, 1992

An Automata-Theoretic Decision Procedure for Future Interval Logic.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992


  Loading...