George Kutty

Publication Activity (10 Years)

Years Active: 1992-1997
Publications (10 Years): 0

Publications

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