| 文章编号 | 标题 | 作者 | 年卷期:起止页码 | 复制 |
| 7610 |
形式化方法与应用专题前言
|
安杰，顾斌，李建文
|
2026,37(9):3405-3406
|
|
| 7600 |
AWTaint: 面向Web应用漏洞检测的增量静态分析框架
|
罗天涵，肖庆，戴嘉润，谭杰
|
2026,37(9):3407-3434
|
|
| 7602 |
基于按需切片计算的并行化程序分析框架
|
李俊锋，苑旭东，魏晨雨，厉剑豪，张迎周
|
2026,37(9):3435-3456
|
|
| 7604 |
数学分析机械化工程I: 一元微积分形式化系统
|
窦国威，郁文生
|
2026,37(9):3457-3490
|
|
| 7609 |
基于Auto-active与交互式集成的L4线程管理形式化验证
|
章乐平，赵永望，王布阳，李建欣
|
2026,37(9):3491-3507
|
|
| 7601 |
混成精化逻辑
|
孙欢，王竟亦，王文海
|
2026,37(9):3508-3520
|
|
| 7605 |
从设计到安全分析: 异构模型转换与交叉验证
|
吴梦丹，杨顺昆，侯展意，佘志坤，曾福萍，冀振燕
|
2026,37(9):3521-3556
|
|
| 7608 |
模糊映射熵驱动的强化学习系统安全监控方法
|
杨敏，周子渊，李晓锋，刘关俊
|
2026,37(9):3557-3576
|
|
| 7607 |
观察树驱动的确定性时间自动机主动学习
|
滕宇，张苗苗
|
2026,37(9):3577-3597
|
|
| 7606 |
基于大语言模型的Python到Dafny 代码翻译
|
杜奕成，卢奕函，朱雪阳，张文辉
|
2026,37(9):3598-3614
|
|
| 7611 |
Web 3.0 前沿技术研究综述
|
王斌，伍羽放，高阳，刘天健，翁渊，李超，张大伟，徐光侠，许光全，祝咏升，沈蒙，祝烈煌，王伟
|
2026,37(9):3615-3647
|
|
| 7503 |
面向分类的TSK模糊遗忘学习方法
|
王攀，王士同
|
2026,37(9):3648-3666
|
|
| 7553 |
面向方位词的时空逻辑语义分析
|
于知衡，辛欣
|
2026,37(9):3667-3683
|
|
| 7576 |
时序图数据中近似环路的检测方法
|
姜涛，李战怀
|
2026,37(9):3684-3704
|
|
| 7502 |
基于SM2的匿名认证与密钥协商协议
|
赵璇，赵艳琦，孙铭鸿，禹勇
|
2026,37(9):3705-3718
|
|
| 7534 |
基于难样本挖掘的灰度图像着色模型评估
|
鄢杰斌，彭振团，祝文涛，蔡超，毛阿敏，方玉明
|
2026,37(9):3719-3738
|
|
|
