S. Ramesh - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Some results on Parametric Temporal LogicManoj G. Dixit, S. Ramesh, Pallab Dasgupta. ipl, 111(20):994-998, 2011. [doi]

Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checkingJean-Vivien Millo, Swarup Mohalik, S. Ramesh. indiaSE 2011: 41-50 [doi]

2010

2009

2008

Symbolic analysis for improving simulation coverage of Simulink/Stateflow modelsRajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar. emsoft 2008: 89-98 [doi]

A Formal Approach To The Protocol Converter ProblemKarin Avnit, Vijay D Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran. date 2008: 294-299 [doi]

A Dynamic Assertion-Based Verification Platform for Validation of UML DesignsAnsuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan. ATVA 2008: 222-227 [doi]

Interface synthesis and protocol conversionPurandar Bhaduri, S. Ramesh. fac, 20(2):205-224, 2008. [doi]

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control SystemsAmbar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar. cav 2008: 204-208 [doi]

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock driftsSwarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang. dac 2008: 296-299 [doi]

Behaviour Directed Testing of Auto-code GeneratorsPrahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar. sefm 2008: 191-200 [doi]

Randomized directed testing (REDIRECT) for Simulink/Stateflow modelsManoranjan Satpathy, Anand Yeolekar, S. Ramesh. emsoft 2008: 217-226 [doi]

Conflict-Tolerant Real-Time FeaturesDeepak D Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath. qest 2008: 274-283 [doi]

2007

Synchronous Paradigm in Embedded SystemsAlain Girault, S. Ramesh, Jean-Pierre Talpin. ejes, 2007, 2007. [doi]

Detection of Runtime Errors in MISRA C Programs: A Deductive ApproachAjith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh. safecomp 2007: 491-504 [doi]

Best Effort Session-Level Congestion ControlS. Ramesh, Sneha Kumar Kasera. icnp 2007: 236-245 [doi]

A Test Bed for Web Services ProtocolsPemadeep Ramsokul, Arcot Sowmya, S. Ramesh. aict 2007: 16 [doi]

Testing Model-Processing Tools for Embedded SystemsPrahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar. rtas 2007: 203-214 [doi]

How to Test Program Generators? A Case Study using flexPrahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh. sefm 2007: 80-92 [doi]

Automatic Testing from Formal SpecificationsManoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh. tap 2007: 95-113 [doi]

Test case generation from formal models through abstraction refinement and model checkingManoranjan Satpathy, S. Ramesh. amost 2007: 85-94 [doi]

Existential abstractions for distributed reactive systems via syntactic transformationsVijay D Silva, Sampada Sonalkar, S. Ramesh. emsoft 2007: 240-248 [doi]

2006

2005

2004

2003

2002

2001

Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented ProgramsSridhar Iyer, S. Ramesh. TSE, 27(11):1037-1056, 2001. [doi]

Forced simulation: A technique for automating component reuse in embedded systemsPartha S. Roop, Arcot Sowmya, S. Ramesh. todaes, 6(4):602-628, 2001. [doi]

A formal approach to component based development of synchronous programsPartha S. Roop, Arcot Sowmya, S. Ramesh. aspdac 2001: 421-424 [doi]

2000

1999

Implementation of communicating reactive processesS. Ramesh. pc, 25(6):703-727, 1999.

Efficient Translation of Statecharts to Hardware CircuitsS. Ramesh. vlsid 1999: 384-389 [doi]

Validation of Pipelined Processor Designs Using Esterel Tools: A Case StudyS. Ramesh, Purandar Bhaduri. cav 1999: 84-95 [doi]

1998

Impossibility of Synchronization in the Presence of PreemptionS. Ramesh, Chandrashekar M. Shetty. ppl, 8(1):111-120, 1998.

Extending Statecharts with Temporal LogicArcot Sowmya, S. Ramesh. TSE, 24(3):216-231, 1998. [doi]

1997

A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented ProgramsSridhar Iyer, S. Ramesh. apsec 1997: 160 [doi]

Concurrent Logic Programming and pi CalculusSameer Mahajan, S. Ramesh. ICLP 1997: 411

Distributed Shared Memory on IBM SP2S. Ramesh, R. Lakshmi, R. Govindarajan. icpads 1997: 338-345 [doi]

Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, ProceedingsS. Ramesh, G. Sivakumar, editors, Volume 1346 of Lecture Notes in Computer Science, Springer, 1997.

1996

A Direct Characterization of CompletionS. Ramesh, Bommadevara N. Srinivas. TCS, 154(2):379-385, 1996. [doi]

1994

Languages for Reactive Specifications: Synchrony Vs AsynchronyR. K. Shyamasundar, S. Ramesh. ftrtft 1994: 621-640

Semantics and Verification of Hierarchical CRP ProgramsR. K. Shyamasundar, S. Ramesh. hybrid 1995: 436-461

1993

Communicating Reactive ProcessesG. Berry, S. Ramesh, R. K. Shyamasundar. POPL 1993: 85-98

1992

A Compositional Axiomatization of StatechartsJozef Hooman, S. Ramesh, Willem P. de Roever. TCS, 101(2):289-335, 1992.

Fully Abstract Semantics for Higher Order Communicating SystemsS. Ramesh. mfcs 1992: 463-471

1990

On the Completeness of Modular Proof SystemsS. Ramesh. ipl, 36(4):195-201, 1990.

1987

A Methodology for Developing Distributed ProgramsS. Ramesh, S. L. Mehndiratta. TSE, 13(8):967-976, 1987.

A New Efficient Implementation of CSP with Output GuardsS. Ramesh. icdcs 1987: 266-273

A New and Efficient Implementation of Multiprocess SynchronizationS. Ramesh. parle 1987: 387-401

1985

A New Class of High Level Programs for Distributed Computing SystemsS. Ramesh, S. L. Mehndiratta. fsttcs 1985: 42-72

1983

The Liveness Property of On-the-Fly Garbage Collector - A ProofS. Ramesh, S. L. Mehndiratta. ipl, 17(4):189-195, 1983.