zbMATH参考文献（参考 67篇文章 参考）

1. 安娜·贝奇（Becchi）；扎法内拉（Zaffanella），Enea:PPLite:NNC多面体零开销编码（2020）
2. Aziem Chawdhary；Robbins，Ed；King，Andy:渐进式关闭八角形（2019）
3. Dimovski，Aleksandar S.；Brabrand，Claus；Wąsowski，Andrzej:为提升分析寻找合适的可变性抽象（2019）
4. Howe，Jacob M.；King，Andy；Simon，Axel:每个不等式两变量系统的增量闭包（2019）
5. 马尔可夫链的定量分析（Abdonotine，2019年）
6. Zolotykh，Nikolai Yu.；Bastrakov，Sergei I.：双描述方法下的两个图形测试变体（2019）
7. Boutonet，Rémy；Halbwachs，Nicolas:通过超越递减序列的抽象解释改进程序分析的结果（2018）
8. Heo，Kihong；Oh，Hakjoo；Yang，Hongseok：从静态分析生成的标记数据中学习八角形和上下文敏感性的分析策略（2018）
9. Blazy，Sandrine；Bühler，David；Yakobowski，Boris：通过状态和价值抽象构建抽象解释器（2017）
10. Botbol，Vincent；Chailloux，Emmanuel；Le Gall，Tristan：使用符号传感器对通信过程进行静态分析（2017）
11. Dan，Andrei；Meshman，Yuri；Vechev，Martin；Yahav，Eran:松弛记忆模型下验证的有效抽象（2017）
12. 蒋佳红；陈丽倩；吴学光；王吉：抽象域与SMT相结合的块式抽象解释（2017）
13. Liu，Jiangchao；Rival，Xavier:基于非连续分区的数组内容静态分析（2017）
14. Magron，Victor；Constantinides，George；Donaldson，Alastair:使用半定规划的认证舍入误差界（2017）
15. Maréchal，Alexandre；Monniaux，David；Périn，Michaël:通过参数线性规划实现多面体上的可伸缩最小化算子（2017）
16. Maréchal，Alexandre；Périn，Michaël:光线追踪有效消除多面体中的冗余（2017）
17. Monat，Raphaël；Miné，Antoine:使用关系干扰抽象对并发程序的精确线程模块化抽象解释（2017）
18. Singh，Gagandeep；Püschel，Markus；Vechev，Martin:快速多面体抽象域（2017）
19. Urban，Caterina；Miné，Antoine:通过抽象解释证明时间属性的排序函数推论（2017）
20. Frohn，F.；Naaf，M.；Hensel，J.；Brockschmidt，M.；Giesl，J.：整数程序的运行时下限（2016年）