S. Ramesh

Affiliations:
  • Indian Institute of Technology, Bombay, Mumbai, India


According to our database1, S. Ramesh authored at least 33 papers between 1983 and 2007.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2007
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.
Proceedings of the Computer Safety, 2007

2006
Interprocedural slicing of multithreaded programs with applications to Java.
ACM Trans. Program. Lang. Syst., 2006

2004
Bridge Over Troubled Wrappers: Automated Interface Synthesis.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Slicing tools for synchronous reactive programs.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

CESC: a visual formalism for specification and verification of SoCs.
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.
Proceedings of the 2004 Design, 2004

2003
Assertion checking environment (ACE) for formal verification of C programs.
Reliab. Eng. Syst. Saf., 2003

Static Slicing of Reactive Programs.
Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

Visual Modeling and Verification of Distributed Reactive Systems.
Proceedings of the Computer Safety, 2003

Pointer Analysis of Multithreaded Java Programs.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

2002
Slicing Synchronous Reactive Programs.
Proceedings of the Synchronous Languages, Applications, and Programming, 2002

k-time Forced Simulation: A Formal Verification Technique for IP Reuse.
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.
IEEE Trans. Software Eng., 2001

Forced simulation: A technique for automating component reuse in embedded systems.
ACM Trans. Design Autom. Electr. Syst., 2001

A formal approach to component based development of synchronous programs.
Proceedings of ASP-DAC 2001, 2001

2000
Automatic Component Matching Using Forced Simulation.
Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000

Slicing concurrent programs.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Automated Component Adaptation by Forced Simulation.
Proceedings of the 5th Australasian Computer Architecture Conference (ACAC 2000), 31 January, 2000

1999
Implementation of communicating reactive processes.
Parallel Comput., 1999

Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
Extending Statecharts with Temporal Logic.
IEEE Trans. Software Eng., 1998

Impossibility of Synchronization in the Presence of Preemption.
Parallel Process. Lett., 1998

1997
Concurrent Logic Programming and pi Calculus.
Proceedings of the Logic Programming, 1997

A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996
A Direct Characterization of Completion.
Theor. Comput. Sci., 1996

1993
Communicating Reactive Processes.
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.
Theor. Comput. Sci., 1992

Fully Abstract Semantics for Higher Order Communicating Systems.
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

1990
On the Completeness of Modular Proof Systems.
Inf. Process. Lett., 1990

1987
A New and Efficient Implementation of Multiprocess Synchronization.
Proceedings of the PARLE, 1987

A New Efficient Implementation of CSP with Output Guards.
Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1985
A New Class of High Level Programs for Distributed Computing Systems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1983
The Liveness Property of On-the-Fly Garbage Collector - A Proof.
Inf. Process. Lett., 1983


  Loading...