Παρακολούθηση
Venkatesh-Prasad Ranganath
Venkatesh-Prasad Ranganath
Independent
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ksu.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Cadena: An integrated development, analysis, and verification environment for component-based systems
J Hatcliff, X Deng, MB Dwyer, G Jung, VP Ranganath
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
2672003
A new foundation for control dependence and slicing for modern program structures
VP Ranganath, T Amtoft, A Banerjee, J Hatcliff, MB Dwyer
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 27-es, 2007
1382007
Experimental study with real-world data for android app security analysis using machine learning
S Roy, J DeLoach, Y Li, N Herndon, D Caragea, X Ou, VP Ranganath, ...
Proceedings of the 31st Annual Computer Security Applications Conference, 81-90, 2015
1102015
Slicing concurrent Java programs using Indus and Kaveri
VP Ranganath, J Hatcliff
International Journal on Software Tools for Technology Transfer 9 (5), 489-504, 2007
972007
A set-based approach to packet classification
VP Ranganath, D Andresen
Proceedings of the IASTED International Conference on Parallel and …, 2003
972003
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
MB Dwyer, J Hatcliff, Robby, VP Ranganath
Formal Methods in System Design 25, 199-240, 2004
962004
Kaveri: Delivering the indus java program slicer to eclipse
G Jayaraman, VP Ranganath, J Hatcliff
International Conference on Fundamental Approaches to Software Engineering …, 2005
842005
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
MB Dwyer, J Hatcliff, M Hoosier, V Ranganath, Robby, T Wallentine
Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006
792006
Mining quantified temporal rules: Formalism, algorithms, and evaluation
D Lo, G Ramalingam, VP Ranganath, K Vaswani
Science of Computer Programming 77 (6), 743-759, 2012
702012
Isolator: dynamically ensuring isolation in comcurrent programs
S Rajamani, G Ramalingam, VP Ranganath, K Vaswani
ACM SIGARCH Computer Architecture News 37 (1), 181-192, 2009
692009
System to reduce interference in concurrent programs
S Rajamani, G Ramalingam, VP Ranganath, K Vaswani
US Patent 7,941,616, 2011
662011
A new foundation for control-dependence and slicing for modern program structures
VP Ranganath, T Amtoft, A Banerjee, MB Dwyer, J Hatcliff
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
632005
Ghera: A repository of android app vulnerability benchmarks
J Mitra, VP Ranganath
Proceedings of the 13th international conference on predictive models and …, 2017
622017
Are free android app security analysis tools effective in detecting known vulnerabilities?
VP Ranganath, J Mitra
Empirical Software Engineering 25 (1), 178-219, 2020
512020
LYE: a high-performance caching SOAP implementation
D Andresen, D Sexton, K Devaram, VP Ranganath
International Conference on Parallel Processing, 2004. ICPP 2004., 143-150, 2004
512004
Pruning interference and ready dependence for slicing concurrent java programs
VP Ranganath, J Hatcliff
International Conference on Compiler Construction, 39-56, 2004
462004
Logical concurrency control from sequential proofs
J Deshmukh, G Ramalingam, VP Ranganath, K Vaswani
Logical Methods in Computer Science 7, 2011
252011
Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems
A Childs, J Greenwald, VP Ranganath, X Deng, M Dwyer, J Hatcliff, ...
International Conference on Fundamental Approaches to Software Engineering …, 2004
222004
Extrinsic influence factors in software reliability: A study of 200,000 windows machines
C Bird, VP Ranganath, T Zimmermann, N Nagappan, A Zeller
Companion Proceedings of the 36th International Conference on Software …, 2014
182014
Object-flow analysis for optimizing finite-state models of java software
VP Ranganath
Kansas State University, 2002
172002
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20