目录
形式化方法与应用专题
形式化方法与应用专题前言陈立前;孙猛;2753-2754
面向SQLite3数据库API调用序列的并行运行时验证方法于斌;陆旭;田聪;段振华;张南;2755-2768
一种利用非确定规划的LTL合成方法陆旭;于斌;田聪;段振华;2769-2781
基于基本并行进程的异步通信程序的验证方法赵樱;谭锦豪;李国强;2782-2796
运用时间分类树的确定单时钟时间自动机学习米钧日;张苗苗;安杰;杜博闻;2797-2814
面向CPS时空约束的资源建模及其安全性验证方法陈小颖;祝义;赵宇;王金永;2815-2838
基于消息传递关系网络的布尔可满足性预测包冬庆;葛宁;翟树茂;张莉;2839-2850
基于SysML的机载软件分层精化建模与验证方法肖思慧;刘琦;黄滟鸿;史建琦;郭欣;2851-2874
智能合约的时间约束模式及其形式化验证赵颖琪;朱雪阳;李广元;包玉龙;2875-2895
TSO内存模型下限界可线性化的可判定性研究王超;吕毅;吴鹏;贾巧雯;2896-2917
基于深度学习和反例制导的循环程序秩函数生成林开鹏;梅国泉;林望;丁佐华;2918-2929
基于时态测试器的实时分支时态逻辑模型检测骆翔宇;黄欣玥;古天龙;苏开乐;陈祖希;郑黎晓;2930-2946
模拟实时系统的点区间优先级时间Petri网与TCTL验证何雷锋;刘关俊;2947-2963
基于抽象解释的函数内联过程间分析优化方法陈涛清;范广生;尹帮虎;陈立前;王戟;2964-2979
基于锁耦合遍历算法的文件系统终止性验证邹沫;谢昊彤;魏卓然;陈海波;2980-2994
软硬件综合AADL可靠性建模及分析方法陆寅;秦树东;郭鹏;董云卫;2995-3014
系统软件与软件工程
代码自然性及其应用研究进展陈浙哲;鄢萌;夏鑫;刘忠鑫;徐洲;雷晏;3015-3034
开源许可证合规性研究王志强;伍胜;肖国强;张自力;刘志有;彭景;3035-3058
智能合约安全漏洞检测技术研究综述钱鹏;刘振广;何钦铭;黄步添;田端正;王勋;3059-3085
模式识别与人工智能
基于受限MDP的无模型安全强化学习方法朱斐;葛洋洋;凌兴宏;刘全;3086-3102
计算机网络与信息安全
基于感染结果的传播网络推断方法赛影辉;王明鑫;陈畅;雷伯涵;侯叶俏;李翔翔;孙月明;陈旭;3103-3114
动态网络中多规则的最短路径查询算法李艳红;王猛;李国徽;罗昌银;杜小坤;3115-3136