艾哈迈德·雷兹
人员信息
优化列表
2020年–今天
2024 [公元35年] 阿纳希塔·巴尼纳贾尔 , 艾哈迈德·雷兹 , 阿米尔·阿米尼法尔 :
VNN:具有硬鲁棒性保证的验证友好型神经网络。 ICML公司 2024 2023 [公元34年] 阿纳希塔·巴尼纳贾尔 , 卡姆兰·侯赛尼 , 艾哈迈德·雷兹 , 阿米尔·阿米尼法尔 :
SafeDeep:深度神经网络的可扩展鲁棒性验证框架。 ICASSP公司 2023 : 1-5 [i6] 阿纳希塔·巴尼纳贾尔 , 艾哈迈德·雷兹 , 阿米尔·阿米尼法尔 :
验证友好型深层神经网络。 CoRR公司 abs/2312.09748 ( 2023 ) 2022 [公元12年] 阿德里安·霍加 , 艾哈迈德·雷兹 , Sudipta Chattopadhyay公司 , 佩特鲁·埃利斯 , 彭泽波 :
GPU基于共享内存的银行冲突的符号标识。 J.系统。 阿奇特。 127 : 102518 ( 2022 ) 2021 [公元11年] 鲁霍拉·马哈福齐 , 阿米尔·阿米尼法尔 , 索海尔·萨米 , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
断开思洛存储器,通过以太网TSN通信确保控制稳定性。 IEEE设计。 测试 38 ( 5 ) : 48-56 ( 2021 ) [公元10年] 帕罗什·阿齐兹·阿卜杜拉 , 弗雷德里克·哈齐扎 , 卢卡斯·霍利克 , 本特·琼森 , 艾哈迈德·雷兹 :
更正为:高度并发数据结构的集成规范和验证技术。 国际期刊软件。 技术工具。 Transf公司。 23 ( 5 ) : 825 ( 2021 ) 2020 [公元9年] 张颖(音) , 克里希南德·查克拉巴蒂 , 彭泽波 , 艾哈迈德·雷兹 , 华为Li , 佩特鲁·埃利斯 , 姜建辉 :
使用有界模型检查无序超标量处理器的基于软件的自我测试。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 三 ) : 714-727 ( 2020 ) [公元33年] Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
验证参数化听说算法的安全性。 网络 2020 : 209-226
2010 – 2019
2019 [j8] Sudipta Chattopadhyay公司 , 莫里茨·贝克 , 艾哈迈德·雷兹 , 安德利亚斯·策勒 :
通过符号执行量化缓存攻击中的信息泄漏。 ACM事务处理。 嵌入。 计算。 系统。 18 ( 1 ) : 7:1-7:27 ( 2019 ) [公元32年] Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 卢多维克·亨利奥 , 佩特鲁·埃利斯 , 彭泽波 :
参数化相位器程序中的可达性。 TACAS(1) 2019 : 299-315 2018 [公元31年] 鲁霍拉·马哈福齐 , 阿米尔·阿米尼法尔 , 索海尔·萨米 , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
以太网中控制应用程序的稳定感知集成路由和调度。 日期 2018 : 682-687 [公元30年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 陈玉芳 , 布比迪普 , 卢卡斯·霍利克 , 艾哈迈德·雷兹 , 菲利普·吕默 :
Trau:SMT字符串约束求解器。 FMCAD公司 2018 : 1-5 [i5] Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 卢多维克·亨利奥 , 佩特鲁·埃利斯 , 彭泽波 :
参数化相位器程序中的可达性。 CoRR公司 abs/1811.07142 ( 2018 ) 2017 [j7] 帕罗什·阿齐兹·阿卜杜拉 , 弗雷德里克·哈齐扎 , 卢卡斯·霍利克 , 本特·琼森 , 艾哈迈德·雷兹 :
一种用于高度并发数据结构的集成规范和验证技术。 国际期刊软件。 技术工具。 Transf公司。 19 ( 5 ) : 549-563 ( 2017 ) [公元29年] Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
相位器程序的安全验证。 FMCAD公司 2017 : 68-75 [公元28年] Sudipta Chattopadhyay公司 , 莫里茨·贝克 , 艾哈迈德·雷兹 , 安德利亚斯·策勒 :
通过符号执行量化缓存攻击中的信息泄漏。 记忆码 2017 : 25-35 [公元27年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 陈玉芳 , 布比迪普 , 卢卡斯·霍利克 , 艾哈迈德·雷兹 , 菲利普·吕默 :
扁平化和征服:有效分析字符串约束的框架。 PLDI公司 2017 : 602-617 [i4] Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
相位器程序的安全验证。 CoRR公司 abs/1708.02801 ( 2017 ) 2016 [j6] Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
统计动态同步进程。 国际期刊软件。 技术工具。 Transf公司。 18 ( 5 ) : 517-534 ( 2016 ) [公元26年] Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
惰性约束单调抽象。 VMCAI公司 2016 : 147-165 [i3] Sudipta Chattopadhyay公司 , 莫里茨·贝克 , 艾哈迈德·雷兹 , 安德利亚斯·策勒 :
通过符号执行量化缓存攻击中的信息泄漏。 CoRR公司 abs/1611.04426 ( 2016 ) 2015 [公元25年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 陈玉芳 , 卢卡斯·霍利克 , 艾哈迈德·雷兹 , 菲利普·吕默 , 贾里·斯坦曼 :
Norn:字符串约束的SMT解算器。 CAV(1) 2015 : 462-469 [公元24年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 朱云云 :
缓存一致性协议与跟踪过滤器的验证。 FMCAD公司 2015 : 9-16 [c23] Zeinab Ganjei公司 , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
同步过程的抽象和计数。 VMCAI公司 2015 : 227-244 2014 [公元22年] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 陈玉芳 , 卢卡斯·霍利克 , 艾哈迈德·雷兹 , 菲利普·吕默 , 贾里·斯坦曼 :
验证的字符串约束。 CAV汽车 2014 : 150-166 【c21】 皮埃尔·甘蒂 , 艾哈迈德·雷兹 :
有序反抽象-参数化验证的可细化子词关系。 拉丁美洲旅游协会 2014 : 396-408 2013 [公元20年] 帕罗什·阿齐兹·阿卜杜拉 , 桑迪亚·达瓦卡达斯 , 艾哈迈德·雷兹 , Arrvindh Shriraman公司 , 朱云云 :
验证FlexTM混合事务内存的安全性和活性。 日期 2013 : 785-790 [第19条] 帕罗什·阿齐兹·阿卜杜拉 , 弗雷德里克·哈齐扎 , 卢卡斯·霍利克 , 本特·琼森 , 艾哈迈德·雷兹 :
高并发数据结构的集成规范和验证技术。 TACAS公司 2013 : 324-338 [第18条] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 陈玉芳 , 卡尔·伦纳德森 , 艾哈迈德·雷兹 :
Memorax,TSO下用于自动插入围栏的精确和声音工具。 TACAS公司 2013 : 530-536 2012 [j5] 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
参数化系统的轻量级常规模型检查方法。 国际期刊软件。 技术工具。 Transf公司。 14 ( 2 ) : 207-222 ( 2012 ) [第17条] 张颖(音) , 艾哈迈德·雷兹 , 佩特鲁·埃利斯 , 彭泽波 :
无序超标量处理器的自动测试程序生成。 亚洲测试研讨会 2012 : 338-343 [第16条] 阿拉·贝尔津吉 , 丽莎·卡蒂 , 艾哈迈德·雷兹 :
侦测恐怖网络中的关键角色。 EISIC公司 2012 : 297-302 [第15条] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 陈玉芳 , 卡尔·伦纳德森 , 艾哈迈德·雷兹 :
通过谓词抽象在整数程序中自动插入栅栏。 SAS公司 2012 : 164-180 [第14条] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 陈玉芳 , 卡尔·伦纳德森 , 艾哈迈德·雷兹 :
TSO下引导围栏插入的反例。 TACAS公司 2012 : 204-219 [电子2] 穆罕默德·法乌齐·阿提格 , 艾哈迈德·雷兹 :
2012年8月27日,法国巴黎,Infinity 2012,第14届Infinite-State系统验证国际研讨会论文集。 EPTCS系统 107, 2012 [目录] [i2] 艾哈迈德·雷兹 :
有序计数器摘要。 CoRR公司 abs/1204.0131 ( 2012 ) 2011 【j4】 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
具有图形约束的基于目录的一致性协议的自动验证。 发现的国际期刊。 计算。 科学。 22 ( 4 ) : 761-782 ( 2011 ) 2010 [第13条] 艾哈迈德·布阿贾尼 , 塞扎拉·德拉戈伊 , 康斯坦丁埃纳 , 艾哈迈德·雷兹 , 米哈拉·西希雷亚努 :
用无界数据操作列表的程序的不变综合。 CAV汽车 2010 : 72-88 [第12条] 帕罗什·阿齐兹·阿卜杜拉 , 陈玉芳 , 乔治·德尔扎诺 , 弗雷德里克·哈齐扎 , Chih-Duo Hong先生 , 艾哈迈德·雷兹 :
约束单调抽象:用于参数化验证的CEGAR。 CONCUR公司 2010 : 86-101 [电子1] 陈玉芳 , 艾哈迈德·雷兹 :
《第12届无限状态系统验证国际研讨会论文集》,INFINITY 2010,新加坡,新加坡,2010年9月21日。 EPTCS系统 39, 2010 [目录]
2000 – 2009
2009 [j3] 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
具有全局条件的无限状态过程的近似参数化验证。 形式方法系统。 设计。 34 ( 2 ) : 126-156 ( 2009 ) [注2] 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 努梅内·本·亨达 , 艾哈迈德·雷兹 :
单调抽象:关于参数化系统的有效验证。 发现的国际期刊。 计算。 科学。 20 ( 5 ) : 779-801 ( 2009 ) [第11条] 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
用于参数化验证的近似上下文敏感分析。 FMOODS/FORTE公司 2009 : 41-56 [c10] 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
基于目录的一致性协议的自动验证。 RP公司 2009 : 36-50 2008 【b1】 艾哈迈德·雷兹 :
参数化系统:通用化和简化自动验证。 瑞典乌普萨拉大学, 2008 【c9】 帕罗什·阿齐兹·阿卜杜拉 , 艾哈迈德·布阿贾尼 , 乔纳森·塞德伯格 , 弗雷德里克·哈齐扎 , 艾哈迈德·雷兹 :
具有动态内存堆的程序的单调抽象。 CAV汽车 2008 : 341-354 【c8】 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 乔治·德尔扎诺 , 弗雷德里克·哈齐扎 , 艾哈迈德·雷兹 :
参数化树状系统。 复地 2008 : 69-83 【c7】 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
单调抽象在行动。 ICTAC公司 2008 : 50-65 【c6】 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
处理具有非原子全局条件的参数化系统。 VMCAI公司 2008 : 22-36 【c5】 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
参数化验证中的单调抽象。 RP公司 2008 : 3-14 [i1] 帕罗什·阿齐兹·阿卜杜拉 , 艾哈迈德·布阿贾尼 , 乔纳森·塞德伯格 , 弗雷德里克·哈齐扎 , 冉姬 , 艾哈迈德·雷兹 :
通过单调抽象进行形状分析。 超越有限:验证和半结构化数据的新挑战 2008 2007 【c4】 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 艾哈迈德·雷兹 :
具有全局条件的无限状态过程的参数化验证。 CAV汽车 2007 : 145-157 【c3】 帕罗什·阿齐兹·阿卜杜拉 , 乔治·德尔扎诺 , 努梅内·本·亨达 , 艾哈迈德·雷兹 :
无传感器的常规模型检查(关于参数化系统的有效验证)。 TACAS公司 2007 : 721-736 2006 [j1] 帕罗什·阿齐兹·阿卜杜拉 , Axel Legay公司 , 朱利安·德奥索 , 艾哈迈德·雷兹 :
树规则模型检查:一种基于仿真的方法。 J.日志。 代数方法课程。 69 ( 1-2 ) : 93-121 ( 2006 ) 【c2】 帕罗什·阿齐兹·阿卜杜拉 , 本特·琼森 , 艾哈迈德·雷兹 , 马扬克·萨克塞纳 :
通过向后可达性证明活力。 CONCUR公司 2006 : 95-109 2005 【c1】 帕罗什·阿齐兹·阿卜杜拉 , Axel Legay公司 , 朱利安·德奥索 , 艾哈迈德·雷兹 :
树型传感器的基于仿真的迭代。 TACAS公司 2005 : 30-44