Y. S. Ramakrishna

According to our database, Y. S. Ramakrishna authored at least 27 papers between 1992 and 1999.

Collaborative distances:

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

1999

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.

Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren

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

An Efficient Meta-Lock for Implementing Ubiquitous Synchronization.

Ole Agesen, David Detlefs, Alex Garthwaite, Ross C. Knippel, Y. S. Ramakrishna, Derek White

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1998

Recursive Mean-Value Calculus.

Paritosh K. Pandya, Y. S. Ramakrishna

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997

A Graphical Environment for the Design of Concurrent Real-Time Systems.

Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon

ACM Trans. Softw. Eng. Methodol., 1997

Partial-Order Reduction in the Weak Modal Mu-Calculus.

Y. S. Ramakrishna, Scott A. Smolka

Proceedings of the CONCUR '97: Concurrency Theory, 1997

Efficient Model Checking Using Tabled Resolution.

Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study.

Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.

Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty

Theor. Comput. Sci., 1996

Interval Logics and Their Decision Procedures, Part I: An Interval Logic.

Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty

Theor. Comput. Sci., 1996

Automated Deduction in a Graphical Temporal Logic.

Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon

J. Appl. Non Class. Logics, 1996

Generating Oracles from Your Favorite Temporal Logic Specifications.

Laura K. Dillon, Y. S. Ramakrishna

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

The Real-Time Graphical Interval Logic Toolset.

Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

On the Satisfiability Problem for Lamport's Propositional Temporal Logic of Actions and Some of Its Extensions.

Y. S. Ramakrishna

Fundam. Informaticae, 1995

Axiomatizations of Interval Logics.

George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon

Fundam. Informaticae, 1995

1994

Visual Specifications for Temporal Reasoning.

Laura K. Dillon, George Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna

J. Vis. Lang. Comput., 1994

A Graphical Interval Logic for Specifying Concurrent Systems.

Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna

ACM Trans. Softw. Eng. Methodol., 1994

Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.

Louise E. Moser, P. M. Melliar-Smith, George Kutty, Y. S. Ramakrishna

Fundam. Informaticae, 1994

A System for Automated Deduction in Graphical Interval Logic.

P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon

Proceedings of the Temporal Logic, First International Conference, 1994

First-Order Future Interval Logic.

George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna

Proceedings of the Temporal Logic, First International Conference, 1994

A Graphical Methodology for Concurrent System Design.

George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna

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.

George Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna

Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Really visual temporal reasoning.

Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty

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

A Real-Time Interval Logic and Its Decision Procedure.

Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

A Graphical Interval Logic Toolset for Verifying Concurrent Systems.

George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

An automata-theoretic decision procedure for propositional temporal logic with since and until.

Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, George Kutty

Fundam. Informaticae, 1992

Graphical Specifications for Concurrent Software Systems.

Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna

Proceedings of the 14th International Conference on Software Engineering, 1992

An Automata-Theoretic Decision Procedure for Future Interval Logic.

Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992