Subformula Caching for Model Counting and Quantitative Program Analysis
Subformula Caching for Model Counting and Quantitative Program Analysis
复制标题
用于模型计数和定量程序分析的子公式缓存
DOI：
10.1109/ase.2019.00050
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Bultan, Tevfik
中科院分区：
文献类型：
--
作者：
Eiers, William;Saha, Seemanta;Brennan, Tegan;Bultan, Tevfik
登录
查看更多内容
递归定义字符串的模型计数
DOI：
--
发表时间：
2017
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Minh;D. Chu;J. Jaffar
通讯作者：
J. Jaffar
DOI：
10.1007/978-3-319-57288-8_9
发表时间：
2017
期刊：
IACR Cryptol. ePrint Arch.
影响因子：
--
作者：
Mateus Borges;Quoc;A. Filieri;C. Păsăreanu
通讯作者：
C. Păsăreanu
影响因子：
0.8
作者：
Constantinos Bartzis;T. Bultan
通讯作者：
T. Bultan
用于定量程序分析的约束归一化和参数化缓存
DOI：
--
发表时间：
2017
期刊：
ESEC/SIGSOFT FSE
影响因子：
--
作者：
Tegan Brennan;Nestan Tsiskaridze;Nicolás Rosner;Abdulbaki Aydin;T. Bultan
通讯作者：
T. Bultan
基于噪声观测的自适应侧信道攻击的在线合成
DOI：
10.1109/eurosp.2018.00029
发表时间：
2018
期刊：
2018 IEEE European Symposium on Security and Privacy (EuroS&P)
影响因子：
--
作者：
Lucas Bang;Nicolás Rosner;T. Bultan
通讯作者：
T. Bultan