Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. - John Hatcliff; Xianghua Deng; Matthew B. Dwyer; Georg Jung; Venkatesh Prasad Ranganath (ICSE, 2003)

Cadena: enabling CCM-based application development in Eclipse. - Venkatesh Prasad Ranganath; Adam Childs; Jesse Greenwald; Matthew B. Dwyer; John Hatcliff; Gurdip Singh (eTX, 2003)

Slicing and partial evaluation of CORBA component model designs for avionics system. - John Hatcliff; William Deng; Matthew B. Dwyer; Georg Jung; Venkatesh Prasad Ranganath; Robby (PEPM, 2003)

Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. - Venkatesh Prasad Ranganath; John Hatcliff (CC, 2004)

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. - Adam Childs; Jesse Greenwald; Venkatesh Prasad Ranganath; Xianghua Deng; Matthew B. Dwyer; John Hatcliff; Georg Jung; Prashant Shanti; Gurdip Singh (FASE, 2004)

A Correlation Framework for the CORBA Component Model. - Georg Jung; John Hatcliff; Venkatesh Prasad Ranganath (FASE, 2004)

LYE: A High-Performance Caching SOAP Implementation. - Daniel Andresen; David Sexton; Kiran Devaram; Venkatesh Prasad Ranganath (ICPP, 2004)

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. - Matthew B. Dwyer; John Hatcliff; Robby; Venkatesh Prasad Ranganath (Formal Methods Syst. Des., 2004)

Kaveri: Delivering the Indus Java Program Slicer to Eclipse. - Ganeshan Jayaraman; Venkatesh Prasad Ranganath; John Hatcliff (FASE, 2005)

Automatic Code Generation for LYE, a High-Performance Caching SOAP Implementation. - Venkatesh Prasad Ranganath; Andrew L. King; Daniel Andresen (SWWS, 2006)

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. - Matthew B. Dwyer; John Hatcliff; Matthew Hoosier; Venkatesh Prasad Ranganath; Robby; Todd Wallentine (TACAS, 2006)

Towards highly optimized real-time middleware for software product-line architectures. - Arvind S. Krishna; Aniruddha S. Gokhale; Douglas C. Schmidt; Venkatesh Prasad Ranganath; John Hatcliff (SIGBED Rev., 2006)

Slicing concurrent Java programs using Indus and Kaveri. - Venkatesh Prasad Ranganath; John Hatcliff (Int. J. Softw. Tools Technol. Transf., 2007)

A new foundation for control dependence and slicing for modern program structures. - Venkatesh Prasad Ranganath; Torben Amtoft; Anindya Banerjee 001; John Hatcliff; Matthew B. Dwyer (ACM Trans. Program. Lang. Syst., 2007)

ISOLATOR: dynamically ensuring isolation in comcurrent programs. - Sriram K. Rajamani; G. Ramalingam; Venkatesh Prasad Ranganath; Kapil Vaswani (ASPLOS, 2009)

Logical Concurrency Control from Sequential Proofs - Jyotirmoy V. Deshmukh; G. Ramalingam; Venkatesh Prasad Ranganath; Kapil Vaswani (Log. Methods Comput. Sci., 2011)

Mining quantified temporal rules: Formalism, algorithms, and evaluation. - David Lo 001; G. Ramalingam; Venkatesh Prasad Ranganath; Kapil Vaswani (Sci. Comput. Program., 2012)

Structural and temporal patterns-based features. - Venkatesh-Prasad Ranganath; Jithin Thomas (DAPSE@ICSE, 2013)

Extrinsic influence factors in software reliability: a study of 200, 000 windows machines. - Christian Bird; Venkatesh-Prasad Ranganath; Thomas Zimmermann 001; Nachiappan Nagappan; Andreas Zeller (ICSE Companion, 2014)

Compatibility testing using patterns-based trace comparison. - Venkatesh-Prasad Ranganath; Pradip Vallathol; Pankaj Gupta (ASE, 2014)

Experimental Study with Real-world Data for Android App Security Analysis using Machine Learning. - Sankardas Roy; Jordan DeLoach; Yuping Li; Nic Herndon; Doina Caragea; Xinming Ou; Venkatesh Prasad Ranganath; Hongmin Li 001; Nicolais Guevara (ACSAC, 2015)

Communication patterns for interconnecting and composing medical systems. - Venkatesh-Prasad Ranganath; Yu Jin Kim; John Hatcliff; Robby (EMBC, 2015)

Ecosphere Principles for Medical Application Platforms. - Yu Jin Kim; Sam Procter; John Hatcliff; Venkatesh-Prasad Ranganath; Robby (ICHI, 2015)

Embrace dynamic artifacts. - Venkatesh-Prasad Ranganath (Perspectives on Data Science for Software Engineering, 2016)

While models are good, simple explanations are better. - Venkatesh-Prasad Ranganath (Perspectives on Data Science for Software Engineering, 2016)

Ghera: A Repository of Android App Vulnerability Benchmarks. - Joydeep Mitra; Venkatesh-Prasad Ranganath (PROMISE, 2017)

Why do Users Kill HPC Jobs? - Venkatesh-Prasad Ranganath; Daniel Andresen (HiPC, 2018)

SeMA: A Design Methodology for Building Secure Android Apps. - Joydeep Mitra; Venkatesh-Prasad Ranganath (ASE Workshops, 2019)

BenchPress: Analyzing Android App Vulnerability Benchmark Suites. - Joydeep Mitra; Venkatesh-Prasad Ranganath; Aditya Narkar (ASE Workshops, 2019)

BenchPress: Analyzing Android App Vulnerability Benchmark Suites. - Joydeep Mitra; Venkatesh-Prasad Ranganath (CoRR, 2019)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps. - Joydeep Mitra; Venkatesh-Prasad Ranganath (CoRR, 2020)

Are free Android app security analysis tools effective in detecting known vulnerabilities? - Venkatesh-Prasad Ranganath; Joydeep Mitra (Empir. Softw. Eng., 2020)