The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Venkatesh Prasad Ranganath: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Venkatesh Prasad Ranganath, John Hatcliff
    Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. [Citation Graph (0, 0)][DBLP]
    CC, 2004, pp:39-56 [Conf]
  2. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
    A New Foundation for Control-Dependence and Slicing for Modern Program Structures. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:77-93 [Conf]
  3. Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
    Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:160-164 [Conf]
  4. Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff
    Kaveri: Delivering the Indus Java Program Slicer to Eclipse. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:269-272 [Conf]
  5. Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath
    A Correlation Framework for the CORBA Component Model. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:144-159 [Conf]
  6. Daniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath
    LYE: A High-Performance Caching SOAP Implementation. [Citation Graph (0, 0)][DBLP]
    ICPP, 2004, pp:143-150 [Conf]
  7. John Hatcliff, Xinghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
    Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:160-173 [Conf]
  8. Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh
    Cadena: enabling CCM-based application development in Eclipse. [Citation Graph (0, 0)][DBLP]
    OOPSLA Workshop on Eclipse Technology eXchange, 2003, pp:20-24 [Conf]
  9. John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby
    Slicing and partial evaluation of CORBA component model designs for avionics system. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:1-2 [Conf]
  10. Venkatesh Prasad Ranganath, Andrew King, Daniel Andresen
    Automatic Code Generation for LYE, a High-Performance Caching SOAP Implementation. [Citation Graph (0, 0)][DBLP]
    SWWS, 2006, pp:73-79 [Conf]
  11. Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine
    Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:73-89 [Conf]
  12. Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath
    Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:199-240 [Journal]
  13. Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer
    A new foundation for control dependence and slicing for modern program structures. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]

  14. ISOLATOR: dynamically ensuring isolation in comcurrent programs. [Citation Graph (, )][DBLP]


  15. Logical Concurrency Control from Sequential Proofs. [Citation Graph (, )][DBLP]


  16. Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002