Y. S. Ramakrishna

Publication Activity (10 Years)

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

Publications

Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS (1999)
Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White
An Efficient Meta-Lock for Implementing Ubiquitous Synchronization. OOPSLA (1999)
Paritosh K. Pandya, Y. S. Ramakrishna
Recursive Mean-Value Calculus. FSTTCS (1998)
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, Scott A. Smolka
Partial-Order Reduction in the Weak Modal Mu-Calculus. CONCUR (1997)
Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. AMAST (1997)
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren
Efficient Model Checking Using Tabled Resolution. CAV (1997)
Laura K. Dillon, Y. S. Ramakrishna
Generating Oracles from Your Favorite Temporal Logic Specifications. SIGSOFT FSE (1996)
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)
Y. S. Ramakrishna
On the Satisfiability Problem for Lamport's Propositional Temporal Logic of Actions and Some of Its Extensions. Fundam. Informaticae 24 (4) (1995)
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)