Quoc-Sang Phan公司
人员信息
优化列表
2020年–今天
2023 [第17条] Quoc-Sang Phan公司 , 金浩恩(Kim Hao Nguyen) , ThanhVu Nguyen先生 :
左移静态分析的挑战。 ICSE-SEIP系统 2023 : 340-342 2022 [第16条] 金浩恩(Kim Hao Nguyen) , ThanhVu Nguyen(越南) , Quoc-Sang Phan公司 :
分析CMake构建系统。 ICSE(SEIP) 2022 : 27日至28日 2020 [j6] 西里尔·阿瑟 , Quoc-Sang Phan公司 , 彼得·奥尔德斯 , 阿利亚斯·阿尔马维 , 卢卡斯·邦 , 拉斯·伯格伦德 , 特夫菲克·布尔坦 , 陈振邦 , 海耶斯·匡威 , 魏东 , 威廉·艾尔斯 , 米洛斯·格利戈里克 , 西蒙·戈德史密斯 , 拉尔斯·格伦斯克 , 约书亚·胡克 , Ismet Burak Kadron公司 , 蒂莫·凯勒 , 萨尔夫拉兹·库希德 , 宣白丁乐 , 大卫·罗 , 埃里克·默瑟 , 萨萨·米塞洛维奇 , 埃戈尔·纳马可诺夫 , 黄林阮 , 亚尼克·诺勒 , 本杰明·奥格尔斯 , 罗汉·帕迪 , 帕维尔·帕里泽克 , 科琳娜·帕萨雷努 , 谢里丹·雅各布·鲍威尔 , 西曼塔·萨哈 , 库什克森 , 埃琳娜·谢尔曼 , 凯尔·斯托里 , 闵行堂 , 威廉·维瑟 , Ji Wang(音译) , 余恒彪 :
Java开拓者研讨会2019。 ACM SIGSOFT软件。 工程注释 45 ( 2 ) : 20-22 ( 2020 )
2010 – 2019
2019 [j5] 科琳娜·帕萨雷努 , 罗迪·克尔斯滕 , 卡斯珀·瑟·勒科夫 , Quoc-Sang Phan公司 :
第六章-符号执行和最坏情况执行、负载测试和安全分析的最新应用。 高级计算。 113 : 289-314 ( 2019 ) [第15条] 长H.Pham , 广乐路 , Quoc-Sang Phan公司 , 孙军(Jun Sun) , 秦胜超 :
使用测试输入生成的分离逻辑增强基于堆的程序的符号执行。 ATVA公司 2019 : 209-227 [第14条] 长H.Pham , 广乐路 , Quoc-Sang Phan公司 , 孙军 :
协和测试堆操作程序。 FM公司 2019 : 442-461 [i5] 长H.Pham , 广乐路 , Quoc-Sang Phan公司 , 孙军(Jun Sun) :
协和测试堆操作程序。 CoRR公司 abs/1907.05637 ( 2019 ) 2018 【j4】 Quoc-Sang Phan公司 :
使用分离逻辑测试输入生成。 ACM SIGSOFT软件。 工程注释 43 ( 4 ) : 55 ( 2018 ) [j3] 郑国龙 , 广乐路 , ThanhVu Nguyen先生 , Quoc-Sang Phan公司 :
使用分离逻辑的自动数据结构修复。 ACM SIGSOFT软件。 工程注释 43 ( 4 ) : 66 ( 2018 ) [第13条] 帕斯奎尔·马拉卡里亚 , M.H.R.Khouzani先生 , 科琳娜·帕萨雷努 , Quoc-Sang Phan公司 , 卡斯珀·瑟·勒科夫 :
概率程序的符号侧信道分析。 CSF公司 2018 : 313-327 [第12条] 长H.Pham , 广乐路 , Quoc-Sang Phan公司 , 孙军(Jun Sun) , 秦胜超 :
使用Java StarFinder测试基于堆的程序。 ICSE(配套卷) 2018 : 268-269 [i4] 帕斯奎尔·马拉卡里亚 , M.H.R.Khouzani先生 , 科琳娜·帕萨雷努 , Quoc-Sang Phan公司 , 卡斯珀·瑟·勒科夫 :
概率程序的符号边信道分析。 IACR加密。 电子打印架构。 2018 : 329 ( 2018 ) 2017 [第11条] Quoc-Sang Phan公司 , 卢卡斯·邦 , 科琳娜·帕萨雷努 , 帕斯奎尔·马拉卡里亚 , 特夫菲克·布尔坦 :
自适应旁道攻击的合成。 CSF公司 2017 : 328-342 [第10条] 马特乌斯·博尔赫斯 , Quoc-Sang Phan公司 , 安东尼奥·菲列里 , 科琳娜·帕萨雷努 :
非线性数值约束的模型计算方法。 非金融市场 2017 : 131-138 [i3] 马特乌斯·博尔赫斯 , Quoc Sang Phan公司 , 安东尼奥·菲列里 , 科琳娜·帕萨雷努 :
非线性数值约束的模型计算方法。 IACR加密。 电子打印架构。 2017 : 244 ( 2017 ) [i2] Quoc-Sang Phan公司 , 卢卡斯·邦 , 科琳娜·帕萨雷努 , 帕斯奎尔·马拉卡里亚 , 特夫菲克·布尔坦 :
自适应旁道攻击的合成。 IACR加密。 电子打印架构。 2017 : 401 ( 2017 ) 2016 【c9】 科琳娜·帕萨雷努 , Quoc-Sang Phan公司 , 帕斯奎尔·马拉卡里亚 :
使用符号执行和Max-SMT的多运行边信道分析。 CSF公司 2016 : 387-400 【c8】 卢卡斯·邦 , 阿卜杜勒巴基·艾丁 , Quoc-Sang Phan公司 , 科琳娜·帕萨雷努 , 特夫菲克·布尔坦 :
分段甲骨侧通道的字符串分析。 SIGSOFT FSE公司 2016 : 193-204 2015 【b1】 Quoc-Sang Phan公司 :
模型计数模理论。 英国伦敦玛丽女王大学, 2015 [j2] Quoc-Sang Phan公司 , 帕斯奎尔·马拉卡里亚 , 科琳娜·帕萨雷努 :
并发有界模型检查。 ACM SIGSOFT软件。 工程注释 40 ( 1 ) : 1-5 ( 2015 ) 【c7】 Quoc-Sang Phan公司 , 帕斯奎尔·马拉卡里亚 :
全解可满足模理论:应用、算法和基准。 ARES公司 2015 : 100-109 [i1] Quoc-Sang Phan公司 :
模型计数模理论。 CoRR公司 abs/1504.02796 ( 2015 ) 2014 【c6】 Quoc-Sang Phan公司 , 帕斯奎尔·马拉卡里亚 :
抽象模型计数:一种量化信息泄漏的新方法。 亚洲CCS 2014 : 283-292 【c5】 Quoc-Sang Phan公司 :
作为DPLL模理论的符号执行。 ICCSW公司 2014 : 58-65 【c4】 Quoc-Sang Phan公司 , 帕斯奎尔·马拉卡里亚 , 科琳娜·帕萨雷努 , 马塞洛·阿莫林 :
使用可靠性分析量化信息泄漏。 自旋蛋白 2014 : 105-108 2013 【c3】 Quoc Sang Phan公司 :
符号执行的自我组合。 ICCSW公司 2013 : 95-102 2012 [j1] Quoc-Sang Phan公司 , 帕斯奎尔·马拉卡里亚 , Oksana Tkachuk公司 , 科琳娜·帕萨雷努 :
符号定量信息流。 ACM SIGSOFT软件。 工程注释 37 ( 6 ) : 1-5 ( 2012 ) 2011 【c2】 阿尔贝托·格里乔 , Quoc-Sang Phan公司 , 罗伯托·塞巴斯蒂亚尼 , 西尔维娅·托马西 :
SMT的随机局部搜索:结合理论解算器和WalkSAT。 FroCoS公司 2011 : 163-178
2000 – 2009
2009 【c1】 亚伦·西吉 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 , 安德烈亚·马蒂奥利 , Quoc-Sang Phan公司 :
通过综合业务流程重组环境支持公共行政。 非洲通信公司 2009 : 50-59