S. Ramesh

According to our database, S. Ramesh authored at least 36 papers between 1983 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2007

2006

Interprocedural slicing of multithreaded programs with applications to Java.

Mangala Gowri Nanda, S. Ramesh

ACM Trans. Program. Lang. Syst., 2006

Synthesis of Synchronous Interfaces.

Purandar Bhaduri, S. Ramesh

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2004

Bridge Over Troubled Wrappers: Automated Interface Synthesis.

Vijay D'Silva, S. Ramesh, Arcot Sowmya

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Slicing tools for synchronous reactive programs.

S. Ramesh, Aditya Rajeev Kulkarni, Viraj Kamat

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

CESC: a visual formalism for specification and verification of SoCs.

Ambar A. Gadkari, S. Ramesh, Rubin A. Parekhji

Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004

Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures.

Vijay D'Silva, S. Ramesh, Arcot Sowmya

Proceedings of the 2004 Design, 2004

2003

Assertion checking environment (ACE) for formal verification of C programs.

Babita Sharma, S. D. Dhodapkar, S. Ramesh

Reliab. Eng. Syst. Saf., 2003

Static Slicing of Reactive Programs.

Aditya Rajeev Kulkarni, S. Ramesh

Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

Visual Modeling and Verification of Distributed Reactive Systems.

Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2003

Pointer Analysis of Multithreaded Java Programs.

Mangala Gowri Nanda, S. Ramesh

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

2002

Slicing Synchronous Reactive Programs.

Vinod Ganapathy, S. Ramesh

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

k-time Forced Simulation: A Formal Verification Technique for IP Reuse.

Partha S. Roop, Arcot Sowmya, S. Ramesh

Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

2001

Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs.

Sridhar Iyer, S. Ramesh

IEEE Trans. Software Eng., 2001

Forced simulation: A technique for automating component reuse in embedded systems.

Partha S. Roop, Arcot Sowmya, S. Ramesh

ACM Trans. Design Autom. Electr. Syst., 2001

A formal approach to component based development of synchronous programs.

Partha S. Roop, Arcot Sowmya, S. Ramesh

Proceedings of ASP-DAC 2001, 2001

2000

Languages for Reactive Specifications: Synchrony Vs Asynchrony.

R. K. Shyamasundar, S. Ramesh

Int. J. Found. Comput. Sci., 2000

Automatic Component Matching Using Forced Simulation.

Partha S. Roop, Arcot Sowmya, S. Ramesh

Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000

Slicing concurrent programs.

Mangala Gowri Nanda, S. Ramesh

Proceedings of the International Symposium on Software Testing and Analysis, 2000

Automated Component Adaptation by Forced Simulation.

Partha S. Roop, Arcot Sowmya, S. Ramesh

Proceedings of the 5th Australasian Computer Architecture Conference (ACAC 2000), 31 January, 2000

1999

Implementation of communicating reactive processes.

S. Ramesh

Parallel Comput., 1999

Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study.

S. Ramesh, Purandar Bhaduri

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Extending Statecharts with Temporal Logic.

Arcot Sowmya, S. Ramesh

IEEE Trans. Software Eng., 1998

Impossibility of Synchronization in the Presence of Preemption.

S. Ramesh, Chandrashekar M. Shetty

Parallel Process. Lett., 1998

1997

Concurrent Logic Programming and pi Calculus.

Sameer Mahajan, S. Ramesh

Proceedings of the Logic Programming, 1997

A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs.

Sridhar Iyer, S. Ramesh

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

A Direct Characterization of Completion.

S. Ramesh, Bommadevara N. Srinivas

Theor. Comput. Sci., 1996

1994

Semantics and Verification of Hierarchical CRP Programs.

R. K. Shyamasundar, S. Ramesh

Proceedings of the Hybrid Systems II, 1994

1993

Communicating Reactive Processes.

Gérard Berry, S. Ramesh, R. K. Shyamasundar

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1992

A Compositional Axiomatization of Statecharts.

Jozef Hooman, S. Ramesh, Willem P. de Roever

Theor. Comput. Sci., 1992

Fully Abstract Semantics for Higher Order Communicating Systems.

S. Ramesh

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

1990

On the Completeness of Modular Proof Systems.

S. Ramesh

Inf. Process. Lett., 1990

1987

A New and Efficient Implementation of Multiprocess Synchronization.

S. Ramesh

Proceedings of the PARLE, 1987

A New Efficient Implementation of CSP with Output Guards.

S. Ramesh

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1985

A New Class of High Level Programs for Distributed Computing Systems.

S. Ramesh, S. L. Mehndiratta

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1983

The Liveness Property of On-the-Fly Garbage Collector - A Proof.

S. Ramesh, S. L. Mehndiratta

Inf. Process. Lett., 1983