| Efficient model checking using tabled resolution YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, SA Smolka, ... Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 298 | 1997 |
| A graphical interval logic for specifying concurrent systems LK Dillon, G Kutty, LE Moser, PM Melliar-Smith, YS Ramakrishna ACM Transactions on Software Engineering and Methodology (TOSEM) 3 (2), 131-165, 1994 | 170 | 1994 |
| An efficient meta-lock for implementing ubiquitous synchronization O Agesen, D Detlefs, A Garthwaite, R Knippel, YS Ramakrishna, D White Proceedings of the 14th ACM SIGPLAN conference on Object-oriented …, 1999 | 167 | 1999 |
| Generating oracles from your favorite temporal logic specifications LK Dillon, YS Ramakrishna Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software …, 1996 | 108 | 1996 |
| A graphical environment for the design of concurrent real-time systems LE Moser, YS Ramakrishna, G Kutty, PM Melliar-Smith, LK Dillon ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (1), 31-79, 1997 | 86 | 1997 |
| Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools: A Comparative Study of Verification Tools Y Dong, X Du, YS Ramakrishna, CR Ramakrishnan, IV Ramakrishnan, ... International Conference on Tools and Algorithms for the Construction and …, 1999 | 70 | 1999 |
| Specification and verification for concurrent systems with graphical and textual editors R Cleaveland, SA Smolka, PM Lewis, YS Ramakrishna US Patent 6,385,765, 2002 | 67 | 2002 |
| Interval logics and their decision procedures: Part II: A real-time interval logic YS Ramakrishna, PM Melliar-Smith, LE Moser, LK Dillon, G Kutty Theoretical Computer Science 170 (1-2), 1-46, 1996 | 57 | 1996 |
| Busy-wait-free synchronization O Agesen, DL Detlefs, A Garthwaite, RC Knippel, YS Ramakrishna, ... US Patent 6,173,442, 2001 | 54 | 2001 |
| Partial-order reduction in the weak modal mu-calculus YS Ramakrishna, SA Smolka International Conference on Concurrency Theory, 5-24, 1997 | 50 | 1997 |
| Graphical specifications for concurrent software systems LK Dillon, G Kutty, LE Moser, PM Melliar-Smith, YS Ramakrishna Proceedings of the 14th international conference on Software engineering …, 1992 | 39 | 1992 |
| Really visual temporal reasoning YS Ramakrishna, PM Melliar-Smith, LE Moser, LK Dillon, G Kutty 1993 Proceedings Real-Time Systems Symposium, 262-273, 1993 | 38 | 1993 |
| Method and mechanism for finding references in a card in time linear in the size of the card in a garbage-collected heap AT Garthwaite, DL Detlefs, A Printezis, YS Ramakrishna US Patent 7,136,887, 2006 | 35 | 2006 |
| A real-time interval logic and its decision procedure YS Ramakrishna, LK Dillon, LE Moser, PM Melliar-Smith, G Kutty Sadhana 21, 147-184, 1996 | 31 | 1996 |
| A graphical interval logic toolset for verifying concurrent systems G Kutty, YS Ramakrishna, LE Moser, LK Dillon, PM Melliar-Smith Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993 | 29 | 1993 |
| An automata-theoretic decision procedure for future interval logic YS Ramakrishna, LK Dillon, LE Moser, PM Melliar-Smith, G Kutty International Conference on Foundations of Software Technology and …, 1992 | 27 | 1992 |
| A recursive duration calculus PK Pandya, Y Ramakrishna Proc. 18th FSTTCS, 1995 | 22 | 1995 |
| 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, 1995 | 19 | 1995 |
| The real-time graphical interval logic toolset LE Moser, PM Melliar-Smith, YS Ramakrishna, G Kutty, LK Dillon Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 18 | 1996 |
| Visual tools for temporal reasoning G Kutty, LK Dillon, LE Moser, PM Melliar-Smith, YS Ramakrishna Proceedings 1993 IEEE Symposium on Visual Languages, 152-159, 1993 | 18 | 1993 |
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
