The Liveness Property of On-the-Fly Garbage Collector - A Proof. - S. Ramesh 001; S. L. Mehndiratta (Inf. Process. Lett., 1983)

A New Class of High Level Programs for Distributed Computing Systems. - S. Ramesh 001; S. L. Mehndiratta (FSTTCS, 1985)

A New Efficient Implementation of CSP with Output Guards. - S. Ramesh 001 (ICDCS, 1987)

A New and Efficient Implementation of Multiprocess Synchronization. - S. Ramesh 001 (PARLE (2), 1987)

On the Completeness of Modular Proof Systems. - S. Ramesh 001 (Inf. Process. Lett., 1990)

Fully Abstract Semantics for Higher Order Communicating Systems. - S. Ramesh 001 (MFCS, 1992)

A Compositional Axiomatization of Statecharts. - Jozef Hooman; S. Ramesh 001; Willem P. de Roever (Theor. Comput. Sci., 1992)

Communicating Reactive Processes. - Gérard Berry; S. Ramesh 001; R. K. Shyamasundar (POPL, 1993)

Semantics and Verification of Hierarchical CRP Programs. - R. K. Shyamasundar; S. Ramesh 001 (Hybrid Systems, 1994)

A Direct Characterization of Completion. - S. Ramesh 001; Bommadevara N. Srinivas (Theor. Comput. Sci., 1996)

A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs. - Sridhar Iyer; S. Ramesh 001 (APSEC, 1997)

Concurrent Logic Programming and pi Calculus. - Sameer Mahajan; S. Ramesh 001 (ICLP, 1997)

Impossibility of Synchronization in the Presence of Preemption. - S. Ramesh 001; Chandrashekar M. Shetty (Parallel Process. Lett., 1998)

Extending Statecharts with Temporal Logic. - Arcot Sowmya; S. Ramesh 001 (IEEE Trans. Software Eng., 1998)

Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study. - S. Ramesh 001; Purandar Bhaduri (CAV, 1999)

Implementation of communicating reactive processes. - S. Ramesh 001 (Parallel Comput., 1999)

Automated Component Adaptation by Forced Simulation. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (ACAC, 2000)

Slicing concurrent programs. - Mangala Gowri Nanda; S. Ramesh 001 (ISSTA, 2000)

Automatic Component Matching Using Forced Simulation. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (VLSI Design, 2000)

Languages for Reactive Specifications: Synchrony Vs Asynchrony. - R. K. Shyamasundar; S. Ramesh 001 (Int. J. Found. Comput. Sci., 2000)

A formal approach to component based development of synchronous programs. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (ASP-DAC, 2001)

Forced simulation: A technique for automating component reuse in embedded systems. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (ACM Trans. Design Autom. Electr. Syst., 2001)

Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs. - Sridhar Iyer; S. Ramesh 001 (IEEE Trans. Software Eng., 2001)

k-time Forced Simulation: A Formal Verification Technique for IP Reuse. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (ICCD, 2002)

Slicing Synchronous Reactive Programs. - Vinod Ganapathy; S. Ramesh 001 (SLAP@ETAPS, 2002)

Pointer Analysis of Multithreaded Java Programs. - Mangala Gowri Nanda; S. Ramesh 001 (SAC, 2003)

Visual Modeling and Verification of Distributed Reactive Systems. - Asif Iqbal 004; A. K. Bhattacharjee; S. D. Dhodapkar; S. Ramesh 001 (SAFECOMP, 2003)

Static Slicing of Reactive Programs. - Aditya Rajeev Kulkarni; S. Ramesh 001 (SCAM, 2003)

Assertion checking environment (ACE) for formal verification of C programs. - Babita Sharma; S. D. Dhodapkar; S. Ramesh 001 (Reliab. Eng. Syst. Saf., 2003)

Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures. - Vijay D'Silva; S. Ramesh 001; Arcot Sowmya (DATE, 2004)

CESC: a visual formalism for specification and verification of SoCs. - Ambar A. Gadkari; S. Ramesh 001; Rubin A. Parekhji (ACM Great Lakes Symposium on VLSI, 2004)

Slicing tools for synchronous reactive programs. - S. Ramesh 001; Aditya Rajeev Kulkarni; Viraj Kamat (ISSTA, 2004)

Bridge Over Troubled Wrappers: Automated Interface Synthesis. - Vijay D'Silva; S. Ramesh 001; Arcot Sowmya (VLSI Design, 2004)

Synthesis of Synchronous Interfaces. - Purandar Bhaduri; S. Ramesh 001 (ACSD, 2006)

Interprocedural slicing of multithreaded programs with applications to Java. - Mangala Gowri Nanda; S. Ramesh 001 (ACM Trans. Program. Lang. Syst., 2006)

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. - Ajith K. John; Babita Sharma; A. K. Bhattacharjee; S. D. Dhodapkar; S. Ramesh 001 (SAFECOMP, 2007)