Venkatesh Prasad Ranganath Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

Venkatesh-Prasad Ranganath

Kansas State University, Manhattan, KS, USA

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2015
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSankardas Roy, Jordan DeLoach, Yuping Li, Nic Herndon, Doina Caragea, Xinming Ou, Venkatesh Prasad Ranganath, Hongmin Li, Nicolais Guevara: Experimental Study with Real-world Data for Android App Security Analysis using Machine Learning. ACSAC 2015: 81-90
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby: Communication patterns for interconnecting and composing medical systems. EMBC 2015: 1711-1716
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby: Ecosphere Principles for Medical Application Platforms. ICHI 2015: 193-198
2014
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Bird, Venkatesh-Prasad Ranganath, Thomas Zimmermann, Nachiappan Nagappan, Andreas Zeller: Extrinsic influence factors in software reliability: a study of 200, 000 windows machines. ICSE Companion 2014: 205-214
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh-Prasad Ranganath, Pradip Vallathol, Pankaj Gupta: Compatibility testing using patterns-based trace comparison. ASE 2014: 469-478
2013
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh-Prasad Ranganath, Jithin Thomas: Structural and temporal patterns-based features. DAPSE@ICSE 2013: 32-34
2012
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Mining quantified temporal rules: Formalism, algorithms, and evaluation. Sci. Comput. Program. 77(6): 743-759 (2012)
2011
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Logical Concurrency Control from Sequential Proofs .Logical Methods in Computer Science 7(3) (2011)
2010
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Logical Concurrency Control from Sequential Proofs. ESOP 2010: 226-245
2009
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Lo, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. WCRE 2009: 62-71
2007
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, John Hatcliff: Slicing concurrent Java programs using Indus and Kaveri. STTT 9(5-6): 489-504 (2007)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh 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. 29(5): 27 (2007)
2006
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArvind S. Krishna, Aniruddha S. Gokhale, Douglas C. Schmidt, Venkatesh Prasad Ranganath, John Hatcliff: Towards highly optimized real-time middleware for software product-line architectures. SIGBED Review 3(1): 13-16 (2006)
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, Andrew L. King, Daniel Andresen: Automatic Code Generation for LYE, a High-Performance Caching SOAP Implementation. SWWS 2006: 73-79
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew 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: 73-89
2005
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh 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: 77-93
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGaneshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff: Kaveri: Delivering the Indus Java Program Slicer to Eclipse. FASE 2005: 269-272
2004
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew 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 25(2-3): 199-240 (2004)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh Prasad Ranganath, John Hatcliff: Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. CC 2004: 39-56
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Jung, John Hatcliff, Venkatesh Prasad Ranganath: A Correlation Framework for the CORBA Component Model. FASE 2004: 144-159
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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: 160-164
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath: LYE: A High-Performance Caching SOAP Implementation. ICPP 2004: 143-150
2003
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath: Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE 2003: 160-173
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVenkatesh 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: 20-24
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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: 1-2

Coauthor Index

1Torben Amtoft[j3] [c9]
2Daniel Andresen[c11] [c4]
3Anindya Banerjee[j3] [c9]
4Christian Bird[c17]
5Doina Caragea[c20]
6Adam Childs[c5] [c2]
7Jordan DeLoach[c20]
8William Deng[c1]
9Xianghua Deng[c5] [c3]
10Jyotirmoy V. Deshmukh[j5] [c14]
11Kiran Devaram[c4]
12Matthew B. Dwyer[j3] [c10] [c9] [j1] [c5] [c3] [c2] [c1]
13Aniruddha S. Gokhale[j2]
14Jesse Greenwald[c5] [c2]
15Nicolais Guevara[c20]
16Pankaj Gupta[c16]
17John Hatcliff[c19] [c18] [j4] [j3] [j2] [c10] [c9] [c8] [j1] [c7] [c6] [c5] [c3] [c2] [c1]
18Nic Herndon[c20]
19Matthew Hoosier[c10]
20Ganeshan Jayaraman[c8]
21Georg Jung[c6] [c5] [c3] [c1]
22Yu Jin Kim[c19] [c18]
23Andrew L. King[c11]
24Arvind S. Krishna[j2]
25Hongmin Li[c20]
26Yuping Li[c20]
27David Lo[j6] [c12]
28Nachiappan Nagappan[c17]
29Xinming Ou[c20]
30Sam Procter[c18]
31Sriram K. Rajamani[c13]
32G. Ramalingam
Ganesan Ramalingam
[j6] [j5] [c14] [c13] [c12]
33Robby[c19] [c18] [c10] [j1] [c1]
34Sankardas Roy[c20]
35Douglas C. Schmidt[j2]
36David Sexton[c4]
37Prashant Shanti[c5]
38Gurdip Singh[c5] [c2]
39Jithin Thomas[c15]
40Pradip Vallathol[c16]
41Kapil Vaswani[j6] [j5] [c14] [c13] [c12]
42Todd Wallentine[c10]
43Andreas Zeller[c17]
44Thomas Zimmermann 0001[c17]

 

Last update 2017-04-13 05:54 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page