S. Ramesh - RankMe

39 papers A* 2A 4B 5C 3Misc 4Journal 12Unranked 9

Year	Rank	Type	Title / 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