文卡特什·普拉萨德·兰加纳思
人员信息
附属: 堪萨斯州立大学,美国堪萨斯州曼哈顿
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2020 [j7] 文卡特斯·普拉萨德·兰加纳思 , 乔伊迪普·米特拉 :
免费Android应用程序安全分析工具在检测已知漏洞方面是否有效? 恩皮尔。 柔和。 工程师。 25 ( 1 ) : 178-219 ( 2020 ) [i6] 乔伊迪普·米特拉 , 文卡特斯·普拉萨德·兰加纳思 :
SeMA:扩展和分析情节提要以开发安全的Android应用程序。 CoRR公司 abs/2001.10052 ( 2020 )
2010 – 2019
2019 [公元24年] 乔伊迪普·米特拉 , 文卡特斯·普拉萨德·兰加纳思 , 阿迪蒂亚·纳卡尔 :
BenchPress:分析Android应用程序漏洞基准套件。 ASE研讨会 2019 : 13-18 【c23】 乔伊迪普·米特拉 , 文卡特斯·普拉萨德·兰加纳思 :
SeMA:构建安全Android应用程序的设计方法。 ASE研讨会 2019 : 19-22 [i5] 乔伊迪普·米特拉 , 文卡特斯·普拉萨德·兰加纳思 :
SeMA:构建安全Android应用程序的设计方法。 CoRR公司 abs/1902.10056 ( 2019 ) [i4] 乔迪普·米特拉 , 文卡特斯·普拉萨德·兰加纳思 :
BenchPress:分析Android应用程序漏洞基准套件。 CoRR公司 abs/1903.05170 ( 2019 ) 2018 [公元22年] 文卡特斯·普拉萨德·兰加纳思 , 丹尼尔·安德森 :
为什么用户会杀死HPC工作? 高性能计算机 2018 : 276-283 [i3] 文卡特斯·普拉萨德·兰加纳思 , 丹尼尔·安德森 :
为什么用户会杀死HPC工作? CoRR公司 腹肌/1805.01177 ( 2018 ) [i2] 文卡特斯·普拉萨德·兰加纳思 , 乔伊迪普·米特拉 :
免费Android应用程序安全分析工具在检测已知漏洞方面有效吗? CoRR公司 abs/1806.09059 ( 2018 ) 2017 【c21】 乔伊迪普·米特拉 , 文卡特斯·普拉萨德·兰加纳思 :
Ghera:Android应用程序漏洞基准库。 承诺 2017 : 43-52 [i1] 乔伊迪普·米特拉 , 文卡特斯·普拉萨德·兰加纳思 :
Ghera:Android应用程序漏洞基准库。 CoRR公司 abs/1708.02380 ( 2017 ) 2016 [第2页] 文卡特斯·普拉萨德·兰加纳思 :
拥抱动态伪影。 软件工程数据科学展望 2016 : 43-46 [第1页] 文卡特斯·普拉萨德·兰加纳思 :
虽然模型很好,但简单的解释更好。 软件工程数据科学展望 2016 : 349-352 2015 [公元20年] 桑卡达斯·罗伊 , 乔丹·德洛奇 , 李玉平 , 尼克·赫恩登 , 多伊娜·卡拉赫亚 , 欧新明 , 文卡特什·普拉萨德·兰加纳思 , 李洪民 , 尼古拉·格瓦拉 :
使用机器学习对Android应用程序安全分析的真实世界数据进行实验研究。 ACSAC公司 2015 : 81-90 [第19条] 文卡特斯·普拉萨德·兰加纳思 , 金宇进(Yu Jin Kim) , 约翰·哈特克利夫 , 罗比 :
互连和组成医疗系统的通信模式。 欧洲工商管理委员会 2015 : 1711-1716 [第18条] 金宇进(Yu Jin Kim) , 萨姆·普洛克特 , 约翰·哈特克利夫 , 文卡特斯·普拉萨德·兰加纳思 , 罗比 :
医疗应用平台的生态圈原则。 ICHI公司 2015 : 193-198 2014 [第17条] 克里斯蒂安·伯德 , 文卡特斯·普拉萨德·兰加纳思 , 托马斯·齐默尔曼 , 纳恰帕·纳加潘 , 安德利亚斯·策勒 :
软件可靠性的外部影响因素:对200000台windows机器的研究。 ICSE伴侣 2014 : 205-214 [第16条] 文卡特什·普拉萨德·兰加纳特 , 普拉迪普·瓦拉托尔 , 潘卡·古普塔 :
使用基于模式的跟踪比较进行兼容性测试。 酶 2014 : 469-478 2013 [第15条] 文卡特斯·普拉萨德·兰加纳思 , 吉辛·托马斯 :
基于结构和时间模式的特征。 DAPSE@ICSE公司 2013 : 32-34 2012 [j6] 大卫·罗 , G.拉马林加姆 , 文卡特什·普拉萨德·兰加纳思 , 卡皮尔·瓦斯瓦尼 :
挖掘量化的时态规则:形式主义、算法和评估。 科学。 计算。 程序。 77 ( 6 ) : 743-759 ( 2012 ) 2011 [j5] Jyotirmoy V.Deshmukh公司 , G.拉马林加姆 , 文卡特什·普拉萨德·兰加纳思 , 卡皮尔·瓦斯瓦尼 :
基于顺序证明的逻辑并发控制。 日志。 方法计算。 科学。 7 ( 三 ) ( 2011 ) 2010 [第14条] Jyotirmoy V.Deshmukh公司 , G.拉马林加姆 , 文卡特什·普拉萨德·兰加纳思 , 卡皮尔·瓦斯瓦尼 :
基于顺序证明的逻辑并发控制。 员工持股计划 2010 : 226-245
2000 – 2009
2009 [第13条] 斯里拉姆·拉贾马尼 , G.拉马林加姆 , 文卡特什·普拉萨德·兰加纳思 , 卡皮尔·瓦斯瓦尼 :
ISOLATOR:动态确保comcurrent程序中的隔离。 ASPLOS公司 2009 : 181-192 [第12条] 大卫·罗 , 加内桑·拉马林根 , 文卡特什·普拉萨德·兰加纳思 , 卡皮尔·瓦斯瓦尼 :
挖掘量化时态规则:形式主义、算法和评估。 WCRE公司 2009 : 62-71 2007 【j4】 文卡特什·普拉萨德·兰加纳思 , 约翰·哈特克利夫 :
使用Indus和Kaveri切片并发Java程序。 国际期刊软件。 技术工具。 Transf公司。 9 ( 5-6 ) : 489-504 ( 2007 ) [j3] 文卡特什·普拉萨德·兰加纳思 , 托本·阿姆托夫特 , 安妮迪亚·班纳吉 , 约翰·哈特克利夫 , 马修·德怀尔 :
现代程序结构的控制相关性和切片的新基础。 ACM事务处理。 程序。 语言系统。 29 ( 5 ) : 27 ( 2007 ) 2006 [注2] 阿文德·克里希纳 , Aniruddha S.Gokhale公司 , 道格拉斯·C·施密特 , 文卡特什·普拉萨德·兰加纳思 , 约翰·哈特克利夫 :
面向软件产品线体系结构的高度优化的实时中间件。 SIGBED版本。 三 ( 1 ) : 13-16 ( 2006 ) [第11条] 文卡特什·普拉萨德·兰加纳思 , 安德鲁·金 , 丹尼尔·安德森 :
高性能缓存SOAP实现LYE的自动代码生成。 西南水务局 2006 : 73-79 [第10条] 马修·德怀尔 , 约翰·哈特克利夫 , 马修·胡塞尔 , 文卡特什·普拉萨德·兰加纳思 , 罗比 , 托德·沃伦廷 :
评估切片对并发面向对象程序模型简化的有效性。 TACAS公司 2006 : 73-89 2005 【c9】 文卡特什·普拉萨德·兰加纳思 , 托本·阿姆托夫特 , 安妮迪亚·班纳吉 , 马修·德怀尔 , 约翰·哈特克利夫 :
现代程序结构的控制依赖和切片的新基础。 员工持股计划 2005 : 77-93 【c8】 加内山·贾亚拉曼 , 文卡特什·普拉萨德·兰加纳思 , 约翰·哈特克利夫 :
Kaveri:向Eclipse交付Indus Java程序切片器。 FASE公司 2005 : 269-272 2004 [j1] 马修·德怀尔 , 约翰·哈特克利夫 , 罗比 , 文卡特什·普拉萨德·兰加纳特 :
在并行面向对象程序的部分顺序约简中利用对象转义和锁定信息。 形式方法系统。 设计。 25 ( 2-3 ) : 199-240 ( 2004 ) 【c7】 文卡特什·普拉萨德·兰加纳思 , 约翰·哈特克利夫 :
切片并发Java程序的剪枝干扰和就绪依赖。 科科斯群岛 2004 : 39-56 【c6】 乔治·荣格 , 约翰·哈特克利夫 , 文卡特什·普拉萨德·兰加纳思 :
CORBA组件模型的关联框架。 FASE公司 2004 : 144-159 【c5】 亚当·查尔兹 , 杰西·格林沃尔德 , 文卡特什·普拉萨德·兰加纳思 , 邓向华 , 马修·德怀尔 , 约翰·哈特克利夫 , 乔治·荣格 , Prashant Shanti公司 , 古尔迪普·辛格 :
Cadena:基于组件的系统分析、合成和验证的集成开发环境。 FASE公司 2004 : 160-164 【c4】 丹尼尔·安德森 , 赛克斯顿 , 基兰·德瓦兰 , 文卡特什·普拉萨德·兰加纳思 :
LYE:一种高性能缓存SOAP实现。 ICPP公司 2004 : 143-150 2003 【c3】 约翰·哈特克利夫 , 邓向华 , 马修·德怀尔 , 乔治·荣格 , 文卡特什·普拉萨德·兰加纳思 :
Cadena:基于组件的系统的集成开发、分析和验证环境。 ICSE公司 2003 : 160-173 【c2】 文卡特什·普拉萨德·兰加纳思 , 亚当·查尔兹 , 杰西·格林沃尔德 , 马修·德怀尔 , 约翰·哈特克利夫 , 古尔迪普·辛格 :
Cadena:在Eclipse中支持基于CCM的应用程序开发。 电子交易系统 2003 : 20-24 【c1】 约翰·哈特克利夫 , 威廉·登 , 马修·德怀尔 , 乔治·荣格 , 文卡特什·普拉萨德·兰加纳思 , 罗比 :
航空电子系统CORBA组件模型设计的切片和部分评估。 政治公众人物 2003 : 1-2
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)