S. Ramesh

Publication Activity (10 Years)

Years Active: 1983-2007
Publications (10 Years): 0

Publications

Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. SAFECOMP (2007)
Mangala Gowri Nanda, S. Ramesh
Interprocedural slicing of multithreaded programs with applications to Java. ACM Trans. Program. Lang. Syst. 28 (6) (2006)
Vijay D'Silva, S. Ramesh, Arcot Sowmya
Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures. DATE (2004)
Ambar A. Gadkari, S. Ramesh, Rubin A. Parekhji
CESC: a visual formalism for specification and verification of SoCs. ACM Great Lakes Symposium on VLSI (2004)
S. Ramesh, Aditya Rajeev Kulkarni, Viraj Kamat
Slicing tools for synchronous reactive programs. ISSTA (2004)
Vijay D'Silva, S. Ramesh, Arcot Sowmya
Bridge Over Troubled Wrappers: Automated Interface Synthesis. VLSI Design (2004)
Mangala Gowri Nanda, S. Ramesh
Pointer Analysis of Multithreaded Java Programs. SAC (2003)
Babita Sharma, S. D. Dhodapkar, S. Ramesh
Assertion checking environment (ACE) for formal verification of C programs. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Aditya Rajeev Kulkarni, S. Ramesh
Static Slicing of Reactive Programs. SCAM (2003)
Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
Visual Modeling and Verification of Distributed Reactive Systems. SAFECOMP (2003)
Vinod Ganapathy, S. Ramesh
Slicing Synchronous Reactive Programs. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Partha S. Roop, Arcot Sowmya, S. Ramesh
k-time Forced Simulation: A Formal Verification Technique for IP Reuse. ICCD (2002)
Babita Sharma, S. D. Dhodapkar, S. Ramesh
Assertion Checking Environment (ACE) for Formal Verification of C Programs. SAFECOMP (2002)
Partha S. Roop, Arcot Sowmya, S. Ramesh
Forced simulation: A technique for automating component reuse in embedded systems. ACM Trans. Design Autom. Electr. Syst. 6 (4) (2001)
Partha S. Roop, Arcot Sowmya, S. Ramesh
A formal approach to component based development of synchronous programs. ASP-DAC (2001)
Sridhar Iyer, S. Ramesh
Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs. IEEE Trans. Software Eng. 27 (11) (2001)
Mangala Gowri Nanda, S. Ramesh
Slicing concurrent programs. ISSTA (2000)
Partha S. Roop, Arcot Sowmya, S. Ramesh
Automated Component Adaptation by Forced Simulation. ACAC (2000)
Partha S. Roop, Arcot Sowmya, S. Ramesh
Automatic Component Matching Using Forced Simulation. VLSI Design (2000)
S. Ramesh, Purandar Bhaduri
Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study. CAV (1999)
S. Ramesh
Implementation of communicating reactive processes. Parallel Comput. 25 (6) (1999)
S. Ramesh, Chandrashekar M. Shetty
Impossibility of Synchronization in the Presence of Preemption. Parallel Process. Lett. 8 (1) (1998)
Arcot Sowmya, S. Ramesh
Extending Statecharts with Temporal Logic. IEEE Trans. Software Eng. 24 (3) (1998)
Sridhar Iyer, S. Ramesh
Apportioning: a technique for efficient reachability analysis of concurrent object-oriented programs. HiPC (1998)
Sameer Mahajan, S. Ramesh
Concurrent Logic Programming and pi Calculus. ICLP (1997)
Sridhar Iyer, S. Ramesh
A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs. APSEC (1997)
S. Ramesh, Bommadevara N. Srinivas
A Direct Characterization of Completion. Theor. Comput. Sci. 154 (2) (1996)
Gérard Berry, S. Ramesh, R. K. Shyamasundar
Communicating Reactive Processes. POPL (1993)
S. Ramesh
Fully Abstract Semantics for Higher Order Communicating Systems. MFCS (1992)
Jozef Hooman, S. Ramesh, Willem P. de Roever
A Compositional Axiomatization of Statecharts. Theor. Comput. Sci. 101 (2) (1992)
S. Ramesh
On the Completeness of Modular Proof Systems. Inf. Process. Lett. 36 (4) (1990)
S. Ramesh
A New Efficient Implementation of CSP with Output Guards. ICDCS (1987)
S. Ramesh
A New and Efficient Implementation of Multiprocess Synchronization. PARLE (2) (1987)
S. Ramesh, S. L. Mehndiratta
A New Class of High Level Programs for Distributed Computing Systems. FSTTCS (1985)
S. Ramesh, S. L. Mehndiratta
The Liveness Property of On-the-Fly Garbage Collector - A Proof. Inf. Process. Lett. 17 (4) (1983)