威廉·艾尔斯
人员信息
优化列表
2020年–今天
2023 【c5】 威廉·艾尔斯 , Ganesh Sankaran公司 , 特夫菲克·布尔坦 :
云上访问控制的定量策略修复。 ISSTA公司 2023 : 564-575 2022 【c4】 威廉·艾尔斯 , Ganesh Sankaran公司 , 阿尔伯特·李 , 艾米丽·奥马霍尼 , 本杰明·普林斯 , 特夫菲克·布尔坦 :
量化访问控制策略的权限。 ICSE公司 2022 : 1805-1817 【c3】 威廉·艾尔斯 , Ganesh Sankaran公司 , 阿尔伯特·李 , 艾米丽·奥马霍尼 , 本杰明·普林斯 , 特夫菲克·布尔坦 :
Quacky:定量访问控制权限分析器✱。 酶 2022 : 163:1-163:5 2020 [j3] 西里尔·阿瑟 , Quoc-Sang Phan公司 , 彼得·奥尔德斯 , 阿利亚斯·阿尔马维 , 卢卡斯·邦 , 拉塞·贝格隆德 , 特夫菲克·布尔坦 , 陈振邦 , 海耶斯·匡威 , 魏东 , 威廉·艾尔斯 , 米洛斯·格里戈里奇 , 西蒙·戈德史密斯 , 拉尔斯·格伦斯克 , 约书亚·胡克 , Ismet Burak Kadron公司 , 蒂莫·凯勒 , 萨尔夫拉兹·库希德 , 宣白丁乐 , 大卫·罗 , 埃里克·默瑟 , 萨萨·米塞洛维奇 , 埃戈尔·纳马可诺夫 , 黄林阮 , 亚尼克·诺勒 , 本杰明·奥格尔斯 , 罗汉·帕迪 , 帕维尔·帕里泽克 , 科琳娜·帕萨雷努 , 谢里丹·雅各布·鲍威尔 , 西曼塔·萨哈 , 库什克森 , 埃琳娜·谢尔曼 , 凯尔·斯托里 , 闵行堂 , 威廉·维瑟 , Ji Wang(音译) , 余恒彪 :
2019年Java探路者研讨会。 ACM SIGSOFT软件。 工程注释 45 ( 2 ) : 20-22 ( 2020 )
2010 – 2019
2019 [注2] 西曼塔·萨哈 , 威廉·艾尔斯 , Ismet Burak Kadron公司 , 卢卡斯·邦 , 特夫菲克·布尔坦 :
增量攻击合成。 ACM SIGSOFT软件。 工程注释 44 ( 4 ) : 16 ( 2019 ) 【c2】 威廉·艾尔斯 , 西曼塔·萨哈 , 特根·布伦南 , 特夫菲克·布尔坦 :
用于模型计数和定量程序分析的子公式缓存。 酶 2019 : 453-464 [i2] 西曼塔·萨哈 , 威廉·艾尔斯 , Ismet Burak Kadron公司 , 卢卡斯·邦 , 特夫菲克·布尔坦 :
增量自适应攻击合成。 CoRR公司 abs/1905.05322 ( 2019 ) [i1] 西曼塔·萨哈 , Ismet Burak Kadron公司 , 威廉·艾尔斯 , 卢卡斯·邦 , 特夫菲克·布尔坦 :
使用元神经系统的字符串攻击合成。 CoRR公司 abs/1907.11710 ( 2019 ) 2018 [j1] 西曼塔·萨哈 , Ismet Burak Kadron公司 , 威廉·艾尔斯 , 卢卡斯·邦 , 特夫菲克·布尔坦 :
使用元神经系统的字符串攻击合成。 ACM SIGSOFT软件。 工程注释 43 ( 4 ) : 56 ( 2018 ) 【c1】 阿卜杜勒巴基·艾丁 , 威廉·艾尔斯 , 卢卡斯·邦 , 特根·布伦南 , 米罗斯拉夫·加夫里洛夫 , 特夫菲克·布尔坦 , 方瑜 :
字符串和数字约束的参数化模型计数。 ESEC/SIGSOFT FSE 2018 : 400-410