George Kutty

19 papers A* 3A 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
1997 J jnl
A Graphical Environment for the Design of Concurrent Real-Time Systems.
ACM Trans. Softw. Eng. Methodol.
Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon
1996 J jnl
Automated Deduction in a Graphical Temporal Logic.
J. Appl. Non Class. Logics
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
1996 J jnl
Interval Logics and Their Decision Procedures, Part I: An Interval Logic.
Theor. Comput. Sci.
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
1996 J jnl
Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.
Theor. Comput. Sci.
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
1996 A* conf
The Real-Time Graphical Interval Logic Toolset.
CAV
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
1995 J jnl
Axiomatizations of Interval Logics.
Fundam. Informaticae
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon
1994 J jnl
A Graphical Interval Logic for Specifying Concurrent Systems.
ACM Trans. Softw. Eng. Methodol.
Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1994 — conf
A Graphical Methodology for Concurrent System Design.
ACM Conference on Computer Science
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1994 — conf
A System for Automated Deduction in Graphical Interval Logic.
ICTL
P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
1994 J jnl
Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.
Fundam. Informaticae
Louise E. Moser, P. M. Melliar-Smith, George Kutty, Y. S. Ramakrishna
1994 — conf
First-Order Future Interval Logic.
ICTL
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna
1994 J jnl
Visual Specifications for Temporal Reasoning.
J. Vis. Lang. Comput.
Laura K. Dillon, George Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna
1993 A* conf
A Graphical Interval Logic Toolset for Verifying Concurrent Systems.
CAV
George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith
1993 — conf
A Real-Time Interval Logic and Its Decision Procedure.
FSTTCS
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty
1993 A conf
Really visual temporal reasoning.
RTSS
Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
1993 — conf
Visual Tools for Temporal Reasoning.
VL
George Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1992 — conf
An Automata-Theoretic Decision Procedure for Future Interval Logic.
FSTTCS
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty
1992 J jnl
An automata-theoretic decision procedure for propositional temporal logic with since and until.
Fundam. Informaticae
Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, George Kutty
1992 A* conf
Graphical Specifications for Concurrent Software Systems.
ICSE
Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna