S. Ramesh

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