Travelled to:1 × Australia
1 × Greece
1 × Israel
1 × The Netherlands
3 × USA
Collaborated with:L.K.Dillon L.E.Moser P.M.Melliar-Smith G.Kutty C.R.Ramakrishnan I.V.Ramakrishnan S.A.Smolka D.S.Warren G.Kutty O.Agesen D.Detlefs A.Garthwaite R.Knippel D.White T.Swift Y.Dong X.Du O.Sokolsky E.W.Stark
Talks about:graphic (3) logic (3) toolset (2) concurr (2) system (2) specif (2) interv (2) effici (2) implement (1) synchron (1)
Person: Y. S. Ramakrishna
DBLP: Ramakrishna:Y=_S=
Contributed to:
1999
1999
19971996
19961993
1992Wrote 7 papers:
- OOPSLA-1999-AgesenDGKRW #implementation #performance #ubiquitous
- An Efficient Meta-Lock for Implementing Ubiquitous Synchronization (OA, DD, AG, RK, YSR, DW), pp. 207–222.
- TACAS-1999-DongDRRRSSSW #case study #comparative #concurrent #tool support #verification
- Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools (YD, XD, YSR, CRR, IVR, SAS, OS, EWS, DSW), pp. 74–88.
- CAV-1997-RamakrishnanRRSSW #model checking #performance #using
- Efficient Model Checking Using Tabled Resolution (YSR, CRR, IVR, SAS, TS, DSW), pp. 143–154.
- CAV-1996-MoserMRKD #logic #realtime #tool support #visual notation
- The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
- FSE-1996-DillonR #generative #logic #specification
- Generating Oracles from Your Favorite Temporal Logic Specifications (LKD, YSR), pp. 106–117.
- CAV-1993-KuttyRMDM #concurrent #logic #tool support #verification #visual notation
- A Graphical Interval Logic Toolset for Verifying Concurrent Systems (GK, YSR, LEM, LKD, PMMS), pp. 138–153.
- ICSE-1992-DillonKMMR #concurrent #specification #visual notation
- Graphical Specifications for Concurrent Software Systems (LKD, GK, LEM, PMMS, YSR), pp. 214–224.