Interval logics and their decision procedures: Part II: a real-time interval logic☆
Y Srinivas Ramakrishna , P Michael Melliar-Smith , Louise E Moser , Laura K Dillon
Theoretical Computer Science 170 1 -46
24
1996
Busy-wait-free synchronization
Ole Agesen , David L Detlefs , Alex Garthwaite , Ross C Knippel
54
2001
Method and mechanism for finding references in a card in time linear in the size of the card in a garbage-collected heap
Alexander T Garthwaite , David L Detlefs , Antonios Printezis , Y Srinivas Ramakrishna
35
2006
Interval logics for temporal specification and verification
Y Srinivas Ramakrishna
University of California, Santa Barbara
17
1994
Prompt large object reclamation
Antonios Printezis , Y Srinivas Ramakrishna
10
2013
Fighting Livelock in the i-Protocol: A Comparative Study of Four Verification Tools
YS Ramakrishna , Oleg Sokolsky , Xiaoqun Du , Scott A Smolka
S. Sarwary 428 E. Shahar 184 N. Shankar 123,411 TR Shiple 428 SK Shukla 99
S Owre , A Pardo , S Park , D Peled
Computer Aided Verification: 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996: Proceedings 471 -471
1996
Specification and verification for concurrent systems with graphical and textual editors
Rance Cleaveland , Scott A Smolka , Philip M Lewis , YS Ramakrishna
67
2002
Fighting Livelock in the i-Protocol with the Concurrency Factory
YS Ramakrishna , Scott A Smolka , Eugene W Stark , Oleg Sokolsky
数理科学講究錄 995 1 -1
1997
Weak Modal Mu-Calculus
YS Ramakrishna , Scott A Smolka
Submission for CAV'97, Category A [Regular Papers-Practical Techniques]
Tabled Resolution , YS Ramakrishna , CR Ramakrishnan , IV Ramakrishnan
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools: A Comparative Study of Verification Tools
Yifei Dong , Xiaoqun Du , YS Ramakrishna , CR Ramakrishnan
Springer Berlin Heidelberg 74 -88
70
1999
Efficient Model Checking Using Tabled Resolution
YS Ramakrishna , CR Ramakrishnan , IV Ramakrishnan , Scott A Smolka
computer aided verification 143 -154
177
1997
Fighting Livelock in the i-Protocol
Yifei Dong , Xiaoqun Du , YS Ramakrishna , CR Ramakrishnan
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings 74 -74
2003
A compositional semantics of Esterel in Duration Calculus
PK Pandya , YS Ramakrishna , RK Shyamasundar
Proc. Second AMAST workshop on Real-time Systems: Models and Proofs
19
1995
Axiomatizations Of Interval Logics
George Kutty , Louise E. Moser , PM Melliar-Smith , YS Ramakrishna
Fundamenta Informaticae
1995
First-order future interval logic
George Kutty , Louise E Moser , PM Melliar-Smith , Laura K Dillon
Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings 195 -209
9
1994
Specification of a communication protocol in graphical interval logic
George Kutty , YS Ramakrishna , Laura K Dillon , Louise E Moser
Proc. IEE Inter. Conf. Information Engineering 432 -441
6
1991
Generating oracles from your favorite temporal specifications
Laura K Dillon , YS Ramakrishna
Proceedings of the International Symposium on Foundations of Software Engineering
3
1996
Generating trace checkers for test oracles
Hugh McGuire , Laura K Dillon , YS Ramakrishna
Proc. International Quality Week
2