|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 19 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Mining quantified temporal rules: Formalism, algorithms, and evaluation.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Logical Concurrency Control from Sequential Proofs |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Logical Concurrency Control from Sequential Proofs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
ISOLATOR: dynamically ensuring isolation in comcurrent programs. |
ASPLOS |
2009 |
DBLP DOI BibTeX RDF |
concurreny, isolation, memory protection |
| 1 | David Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. |
WCRE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer |
A new foundation for control dependence and slicing for modern program structures. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence |
| 1 | Venkatesh Prasad Ranganath, John Hatcliff |
Slicing concurrent Java programs using Indus and Kaveri. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Concurrent Java, Indus, Kaveri, Program slicing, Program dependences |
| 1 | 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. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Prasad Ranganath, Andrew L. King, Daniel Andresen |
Automatic Code Generation for LYE, a High-Performance Caching SOAP Implementation. |
SWWS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff |
Kaveri: Delivering the Indus Java Program Slicer to Eclipse. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff |
A New Foundation for Control-Dependence and Slicing for Modern Program Structures. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath |
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
software verifcation, locking discipline, software model checking, partial order reduction, escape analysis |
| 1 | Daniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath |
LYE: A High-Performance Caching SOAP Implementation. |
ICPP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath |
A Correlation Framework for the CORBA Component Model. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Prasad Ranganath, John Hatcliff |
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing |
| 1 | Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh |
Cadena: enabling CCM-based application development in Eclipse. |
OOPSLA Workshop on Eclipse Technology eXchange |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath |
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")