帕沃尔·塞恩
人员信息
SPARQL查询
优化列表
2020年–今天
2021 [j6] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 斯里拉姆·桑卡拉纳拉亚南 , 阿什图什·特里维迪 :
用神经网络定量估计侧通道泄漏。 国际期刊软件。 技术工具。 变压器。 23 ( 4 ) : 641-654 ( 2021 ) 2020 [公元39年] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 阿什图什·特里维迪 :
检测和理解机器学习库中的实际差异性能错误。 ISSTA公司 2020 : 189-199 [公元38年] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 阿什图什·特里维迪 :
功能侧通道的数据驱动调试。 NDSS公司 2020 [i18] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 阿什图什·特里维迪 :
检测和理解机器学习库中的现实世界差异性能错误。 CoRR公司 abs/2006.01991 ( 2020 )
2010 – 2019
2019 [j5] 尼古拉斯·莱申科(Nicholas V.Lewchenko) , 阿琼·拉德哈克里什纳 , 阿卡什·甘卡 , 帕沃尔·塞恩 :
复制数据存储的顺序编程。 程序。 ACM计划。 语言。 三 ( ICFP公司 ) : 106:1-106:28 ( 2019 ) [公元37年] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 阿什图什·特里维迪 :
定时侧信道的定量缓解。 CAV(1) 2019 : 140-160 [c36] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 斯里拉姆·桑卡拉纳拉亚南 , 阿什图什·特里维迪 :
利用神经网络有效检测和量化定时泄漏。 RV汽车 2019 : 329-348 [公元35年] 天汉路 , 帕沃尔·塞恩 , Bor-Yuh Evan Chang先生 , 阿什图什·特里维迪 :
反应式程序中集合的类型定向边界。 VMCAI公司 2019 : 275-296 [i17] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 阿什图什·特里维迪 :
定时侧信道的定量缓解。 CoRR公司 abs/1906.08957 ( 2019 ) [i16] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 斯里拉姆·桑卡拉纳拉亚南 , 阿什图什·特里维迪 :
利用神经网络有效检测和量化定时泄漏。 CoRR公司 abs/1907.10159 ( 2019 ) 2018 [公元34年] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , Bor-Yuh Evan Chang先生 , 阿什图什·特里维迪 :
使用判别回归树进行差异性能调试。 AAAI公司 2018 : 2468-2475 [c33] 阿琼·拉德哈克里什纳 , 尼古拉斯·莱申科(Nicholas V.Lewchenko) , 肖恩·迈尔 , 塞尔吉奥·莫弗 , 克里希纳·查塔尼亚·斯里帕达 , 达米安·祖弗里 , Bor-Yuh Evan Chang先生 , 帕沃尔·塞恩 :
DroidStar:Android类的回调类型状态。 ICSE公司 2018 : 1160-1170 【i15】 尼古拉斯·莱申科(Nicholas V.Lewchenko) , 阿琼·拉德哈克里什纳 , 帕沃尔·塞恩 :
冲突软件复制数据类型。 CoRR公司 abs/1802.08733 ( 2018 ) [第14条] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , 阿什图什·特里维迪 :
功能侧通道的数据驱动调试。 CoRR公司 abs/1808.10502 ( 2018 ) [i13] 天汉路 , 帕沃尔·塞恩 , Bor-Yuh Evan Chang先生 , 阿什图什·特里维迪 :
反应程序中集合的类型定向边界。 CoRR公司 abs/1810.10443 ( 2018 ) 2017 【j4】 帕沃尔·塞恩 , 埃德蒙·克拉克 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 , 列奥尼德·雷日克 , 萨曼塔屋顶 , 托尔斯滕·塔拉赫 :
使用同步合成从非抢占调度到抢占调度。 形式方法系统。 设计。 50 ( 2-3 ) : 97-139 ( 2017 ) [公元32年] 杰迪迪亚·麦克卢格 , 侯赛因·霍贾特 , 帕沃尔·塞恩 :
网络程序的同步合成。 CAV(2) 2017 : 301-321 [公元31年] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , Bor-Yuh Evan Chang先生 , 斯里拉姆·桑卡拉纳拉亚南 , 阿什图什·特里维迪 :
用时间区分痕迹。 TACAS(2) 2017 : 21-37 [i12] 阿琼·拉德哈克里什纳 , 尼古拉斯·莱申科(Nicholas V.Lewchenko) , 肖恩·迈尔 , 塞尔吉奥·莫弗 , 克里希纳·查塔尼亚·斯里帕达 , 达米安·祖弗里 , Bor-Yuh Evan Chang先生 , 帕沃尔·塞恩 :
学习Android类的异步类型状态。 CoRR公司 abs/1701.07842 ( 2017 ) [i11] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , Bor-Yuh Evan Chang先生 , 斯里拉姆·桑卡拉纳拉亚南 , 阿什图什·特里维迪 :
用时间区分痕迹。 CoRR公司 abs/1702.07103 ( 2017 ) [i10] 塞伊德·蒂兹帕兹·尼亚里 , 帕沃尔·塞恩 , Bor-Yuh Evan Chang先生 , 阿什图什·特里维迪 :
使用判别回归树进行差异性能调试。 CoRR公司 abs/1711.04076 ( 2017 ) 2016 [公元30年] 帕沃尔·塞恩 :
网络程序综合。 FMCAD公司 2016 : 7 [公元29年] 侯赛因·霍贾特 , 菲利普·吕默 , 杰迪迪亚·麦克卢格 , 帕沃尔·塞恩 , 内特·福斯特 :
优化喇叭解决方案以进行网络修复。 FMCAD公司 2016 : 73-80 [公元28年] 杰迪迪亚·麦克卢格 , 侯赛因·霍贾特 , 内特·福斯特 , 帕沃尔·塞恩 :
事件驱动的网络编程。 PLDI公司 2016 : 369-385 [公元27年] 帕沃尔·塞恩 , 内特·福斯特 , 尼勒什·贾尼克 , 杰迪迪亚·麦克卢格 :
多项式时间内的最优一致网络更新。 磁盘 2016 : 114-128 [e1] 帕沃尔·塞恩 , 维克托·昆恰克 , Parthasarathy Madhusudan公司 :
《第四次综合研讨会论文集》,SYNT 2015,美国加利福尼亚州旧金山,2015年7月18日。 EPTCS系统 202, 2016 [目录] [第九章] 帕沃尔·塞恩 , 内特·福斯特 , 尼勒什·贾尼克 , 杰迪迪亚·麦克卢格 :
多项式时间内的最优一致网络更新。 CoRR公司 abs/1607.05159 ( 2016 ) 2015 [公元26年] 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 , 阿琼·拉德哈克里什纳 :
通过统一进行合成。 CAV(2) 2015 : 163-179 [公元25年] 帕沃尔·塞恩 , 埃德蒙·克拉克 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 , 列奥尼德·雷日克 , 萨曼塔屋顶 , 托尔斯滕·塔拉赫 :
使用同步合成从非抢占调度到抢占调度。 CAV(2) 2015 : 180-197 [公元24年] 帕沃尔·塞恩 , 托马斯·汉津格 , 劳拉·科瓦奇 , 阿尔琼·拉达克里什纳 , 雅各布·兹维奇梅尔 :
最坏情况执行时间分析的段抽象。 员工持股计划 2015 : 105-131 【c23】 Youngsung Kim(金永生) , 帕沃尔·塞恩 , 约翰·丹尼斯 :
性能搜索引擎由优化的先验知识驱动。 PLDI阵列 2015 : 25-30 [公元22年] 杰迪迪亚·麦克卢格 , 侯赛因·霍贾特 , 帕沃尔·塞恩 , 内特·福斯特 :
网络更新的高效合成。 PLDI公司 2015 : 196-207 [i8] 帕沃尔·塞恩 , 埃德蒙·克拉克 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 , 列奥尼德·雷日克 , 萨曼塔屋顶 , 托尔斯滕·塔拉赫 :
使用同步合成从非抢占调度到抢占调度。 CoRR公司 abs/1505.04533 ( 2015 ) [i7] 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 , 阿琼·拉德哈克里什纳 :
通过统一进行合成。 CoRR公司 abs/1505.05868 ( 2015 ) [i6] 杰迪迪亚·麦克卢格 , 侯赛因·霍贾特 , 内特·福斯特 , 帕沃尔·塞恩 :
事件驱动SDN程序的规范和编译。 CoRR公司 abs/1507.07049 ( 2015 ) [i5] 帕沃尔·塞恩 , 埃德蒙·克拉克 , 托马斯·亨辛格 , 阿琼·拉德哈克里什纳 , 列奥尼德·雷日克 , 萨曼塔屋顶 , 托尔斯滕·塔拉赫 :
优化同步合成中的解决方案质量。 CoRR公司 abs/1511.07163 ( 2015 ) 2014 [j3] 帕沃尔·塞恩 , 马丁·克梅利克 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 :
接口模拟距离。 西奥。 计算。 科学。 560 : 348-363 ( 2014 ) 【c21】 帕沃尔·塞恩 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 , 列奥尼德·雷日克 , 托尔斯滕·塔拉赫 :
并行的无回归综合。 CAV汽车 2014 : 568-584 [i4] 杰迪迪亚·麦克卢格 , 内特·福斯特 , 帕沃尔·塞恩 :
网络更新的有效综合。 CoRR公司 abs/1403.5843 ( 2014 ) [i3] 帕沃尔·塞恩 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 , 列奥尼德·雷日克 , 托尔斯滕·塔拉赫 :
无回归并发综合。 CoRR公司 abs/1407.3681 ( 2014 ) 2013 [公元20年] 帕沃尔·塞恩 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 , 列奥尼德·雷日克 , 托尔斯滕·塔拉赫 :
通过语义保持变换实现并发的高效合成。 CAV汽车 2013 : 951-967 [第19条] 帕沃尔·塞恩 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 :
定量抽象细化。 POPL公司 2013 : 115-128 [c18] 诺耶斯 , 托德·沃萨夫斯基 , 帕沃尔·塞恩 , 内特·福斯特 :
走向网络更新的综合。 同步 2013 : 8-23 2012 [注2] 帕沃尔·塞恩 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 :
模拟距离。 西奥。 计算。 科学。 413 ( 1 ) : 21-35 ( 2012 ) [j1] 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 , 斯科特·温斯坦 :
阵列存取程序的算法分析。 ACM事务处理。 计算。 日志。 13 ( 三 ) : 27:1-27:29 ( 2012 ) [c17] 帕沃尔·塞恩 , Sivakanth Gopi公司 , 托马斯·亨辛格 , 阿尔琼·拉达克里什纳 , Nishant Totla公司 :
不兼容规范的合成。 EMSOFT公司 2012 : 53-62 [第16条] 帕沃尔·塞恩 , 马丁·克梅利克 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 :
接口模拟距离。 甘道夫 2012 : 29-42 2011 [第15条] 帕沃尔·塞恩 , 克里希南德·查特吉 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 , 罗希特·辛格 :
并发程序的定量综合。 CAV汽车 2011 : 243-259 [第14条] 帕沃尔·塞恩 , 克里希南德·查特吉 , 托马斯·汉津格 :
定量信息流问题的复杂性。 CSF公司 2011 : 205-217 [第13条] 帕沃尔·塞恩 , 托马斯·汉津格 :
从布尔到定量合成。 EMSOFT公司 2011 : 149-154 [c12] 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 :
用于单程列表处理程序算法验证的流式传感器。 POPL公司 2011 : 599-610 [i2] 帕沃尔·塞恩 , 克里希南德·查特吉 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 , 罗希特·辛格 :
并发程序的定量综合。 CoRR公司 abs/1104.4306 ( 2011 ) 2010 [第11条] 帕沃尔·塞恩 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 :
定量模拟游戏。 纪念埃米尔·普努利的散文 2010 : 42-60 [第10条] 帕沃尔·塞恩 , 阿琼·拉德哈克里什纳 , 达米安·祖弗里 , 斯瓦拉特·乔杜里 , 拉杰夫·阿鲁尔 :
并发列表实现线性化的模型检查。 CAV汽车 2010 : 465-479 【c9】 帕沃尔·塞恩 , 托马斯·汉津格 , 阿琼·拉德哈克里什纳 :
模拟距离。 CONCUR公司 2010 : 253-268 【c8】 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 :
流串传感器的表现力。 FSTTCS公司 2010 : 1-12 [i1] 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 :
单通列表处理程序的算法验证。 CoRR公司 abs/1007.4958 ( 2010 )
2000 – 2009
2009 【c7】 帕沃尔·塞恩 , 拉杰夫·阿鲁尔 :
Java保密方法的自动分析。 CAV汽车 2009 : 173-187 【c6】 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 , 斯科特·温斯坦 :
数组访问程序的算法分析。 CSL公司 2009 : 86-101 【c5】 罗伯托·卢布里内曼 , 斯瓦拉特·乔杜里 , 帕沃尔·塞恩 :
使用对象程序集进行并行编程。 乌普斯拉 2009 : 61-80 2008 【c4】 亚当·J·阿维夫 , 帕沃尔·塞恩 , 桑迪·克拉克 , 埃里克·克罗宁 , 高拉夫·沙阿 , 迈卡·谢尔 , 马特·布拉泽 :
ES&S投票机和选举管理系统的安全评估。 电动汽车 2008 2007 【c3】 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 , 斯瓦拉特·乔杜里 :
具有路径等价的树上的模型检查。 TACAS公司 2007 : 664-678 2006 【c2】 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 , 史蒂夫·兹丹塞维奇 :
在改进中保持机密。 ICALP(二) 2006 : 107-118 2005 【c1】 拉杰夫·阿鲁尔 , 帕沃尔·塞恩 , 马杜苏丹 , Wonhong Nam公司 :
Java类的接口规范的综合。 POPL公司 2005 : 98-109