|
|
DSpace at IIT Bombay >
Browsing by Author RAMESH, S
Showing results 1 to 20 of 26
| Issue Date | Title | Author(s) | | 2001 | Apportioning : a technique for efficient reachability analysis of concurrent object-oriented programs | IYER, S; RAMESH, S |
| 2003 | Assertion checking environment (ACE) for formal verification of C programs | SHARMA, B; DHODAPKAR, SD; RAMESH, S |
| 2005 | Automated synthesis of assertion monitors using visual specifications | GADKARI, A; RAMESH, S |
| 1999 | Communicating reactive state machines : design, model and implementation | RAMESH, S |
| 1992 | A compositional axiomatization of statecharts | HOOMAN, JJM; RAMESH, S; DEROEVER, WP |
| 1996 | A direct characterization of completion | RAMESH, S; SRINIVAS, BN |
| 1999 | Efficient translation of Statecharts to hardware circuits | RAMESH, S |
| 1998 | Extending statecharts with temporal logic | SOWMYA, A; RAMESH, S |
| 2001 | Forced simulation: A technique for automating component reuse in embedded systems | ROOP, PS; SOWMYA, A; RAMESH, S |
| 1998 | Formal specification and verification of hardware designs | RAMESH, S; RAO, SSSP; SIVAKUMAR, G; BHADURI, P |
| 1992 | FULLY ABSTRACT SEMANTICS FOR HIGHER-ORDER COMMUNICATING SYSTEMS | RAMESH, S |
| 1999 | Implementation of communicating reactive processes | RAMESH, S |
| 2006 | Interprocedural slicing of multithreaded programs with applications to Java | NANDA, MANGALA GOWRI; RAMESH, S |
| 1983 | THE LIVENESS PROPERTY OF ON-THE-FLY GARBAGE COLLECTOR - A PROOF | RAMESH, S; MEHNDIRATTA, SL |
| 1987 | A METHODOLOGY FOR DEVELOPING DISTRIBUTED PROGRAMS | RAMESH, S; MEHNDIRATTA, SL |
| 1987 | A NEW AND EFFICIENT IMPLEMENTATION OF MULTIPROCESS SYNCHRONIZATION | RAMESH, S |
| 1985 | A NEW CLASS OF HIGH-LEVEL PROGRAMS FOR DISTRIBUTED COMPUTING SYSTEMS | RAMESH, S; MEHNDIRATTA, SL |
| 1990 | ON THE COMPLETENESS OF MODULAR PROOF SYSTEMS | RAMESH, S |
| 2003 | Pointer analysis of multithreaded Java programs | NANDA, MANGALA GOWRI; RAMESH, S |
| 2003 | Static slicing of reactive programs | KULKARNI, AR; RAMESH, S |
Showing results 1 to 20 of 26
|
