-
赵樱，谭锦豪，李国强（上海交通大学 软件学院）.基于基本并行进程的异步通信程序的验证方法[J].软件学报,2022,第8期
-
王超1，吕毅2,3，吴鹏2,3，贾巧雯2,3（西南大学计算机与信息科学学院软件研究与创新中心；计算机科学国家重点实验室(中国科学院软件研究所)；中国科学院大学）.TSO内存模型下限界可线性化的可判定性研究[J].软件学报,2022,第8期
-
陈立前1，孙猛2（国防科技大学计算机学院；北京大学数学科学学院）.形式化方法与应用专题前言[J].软件学报,2022,第8期
-
王淑灵1,2，詹博华1,2，盛欢欢1,2，吴昊1,2，易士程1,2，王令泰1,2，金翔宇1,2，薛白1,2，李静辉3，向霜晴3，向展3，毛碧飞3（计算机科学国家重点实验室(中国科学院软件研究所)；中国科学院大学；华为技术有限公司可信理论研究室）.可信系统性质的分类和形式化研究综述[J].软件学报,2022,第7期
-
张帆1，赵世坤1，袁操1，陈伟2，刘小丽3,4，赵涵捷5（武汉轻工大学数学与计算机学院；南京邮电大学计算机学院；暨南大学信息科学技术学院；暨南大学网络空间安全学院；台湾东华大学电机工程学系）.人脸识别反欺诈研究进展[J].软件学报,2022,第7期
-
丁佳，许智武（深圳大学计算机与软件学院）.基于Rectified Adam和颜色不变性的对抗迁移攻击[J].软件学报,2022,第7期
-
沐燕舟1，王赞1,2，陈翔3，陈俊洁1，赵静珂2，王建敏4（天津大学智能与计算学部；天津大学新媒体与传播学院；南通大学信息科学技术学院；中国科学院空间应用工程与技术中心）.采用多目标优化的深度学习测试优化方法[J].软件学报,2022,第7期
-
钟陈星1,2，李文君1,2，任贵杰1,2，荣国平1,2（南京大学软件学院；计算机软件新技术国家重点实验室(南京大学)）.面向领域驱动设计的逆向建模支持方法[J].软件学报,2022,第7期
-
危前进1，魏继鹏2，古天龙1，常亮1，文益民1（广西可信软件重点实验室(桂林电子科技大学)；桂林电子科技大学计算机与信息安全学院）.粗糙集多目标并行属性约简算法[J].软件学报,2022,第7期
-
李琳1，段围1，周栋2，袁景凌1（武汉理工大学计算机科学与技术学院；湖南科技大学计算机科学与工程学院）.基于深度语义匹配的法律条文推荐方法[J].软件学报,2022,第7期
-
田卓钰1，马苗1,2,3，杨楷芳1（陕西师范大学计算机科学学院；现代教学技术教育部重点实验室(陕西师范大学)；空天地海一体化大数据应用技术国家工程实验室）.基于级联注意力与点监督机制的考场目标检测模型[J].软件学报,2022,第7期
-
蒋逸1,2，张伟1,2，王佩1,2，张馨月1,2，梅宏1,2（高可信软件技术教育部重点实验室(北京大学)；北京大学计算机学院）.基于互联网群体智能的知识图谱构造方法[J].软件学报,2022,第7期
-
林耀进1,2，白盛兴1,2，赵红1,2，李绍滋3，胡清华4（闽南师范大学计算机学院；数据科学与智能应用福建省高校重点实验室(闽南师范大学)；厦门大学人工智能系；天津大学智能与计算学部）.基于标签关联性的分层分类共有与固有特征选择[J].软件学报,2022,第7期
-
邹福泰，俞汤达，许文亮（上海交通大学网络空间安全学院）.基于隐马尔可夫模型的加密恶意流量检测[J].软件学报,2022,第7期
-
马舒岑1,2，史建琦1,2，黄滟鸿1,2，秦胜潮3，侯哲4（国家可信嵌入式软件工程技术研究中心(华东师范大学)；华东师范大学软件工程学院；深圳大学计算机与软件学院；School of Information and Communication Technology，Griffith University）.基于最小不满足核的随机森林局部解释性分析[J].软件学报,2022,第7期
-
郑烨，施晓牧，刘嘉祥（深圳大学计算机与软件学院）.基于多路径回溯的神经网络验证方法[J].软件学报,2022,第7期
-
王艳1,2，侯哲3，黄滟鸿1,2，史建琦1,2，张格林1,2（华东师范大学软件工程学院；国家可信嵌入式软件工程技术研究中心(华东师范大学)；School of Information and Communication Technology Griffith University）.基于概率模型检查的树模型公平性验证方法[J].软件学报,2022,第7期
-
赵恒军1,2，李权忠1,2，曾霞1,2，刘志明3,2（西南大学计算机与信息科学学院软件学院；西南大学软件研究与创新中心；西北工业大学智能嵌入式软件研究中心）.安全强化学习算法及其在CPS智能控制中的应用[J].软件学报,2022,第7期
-
王青叶1，万志远1，李善平1，夏鑫2（浙江大学计算机科学与技术学院；Faculty of Information Technology Monash University）.代码审查中代码变更恢复的经验研究[J].软件学报,2022,第7期
-
舒祥波，施成龙，孙运莲，唐金辉（南京理工大学计算机科学与工程学院）.基于类别注意实例归一化机制的人脸年龄合成[J].软件学报,2022,第7期
-
王佳欣1,2,3，朱志亮2,3,4，邓小明2,3，马翠霞1,2,3，王宏安1,2,3（中国科学院大学计算机科学与技术学院；计算机科学国家重点实验室(中国科学院软件研究所)；人机交互北京市重点实验室(中国科学院软件研究所)；华东交通大学软件学院）.基于深度学习的草图分割算法综述[J].软件学报,2022,第7期
-
张珠君1,2，范伟1，朱大立1（中国科学院信息工程研究所；中国科学院大学网络空间安全学院）.面向智能家居的区块链轻量级认证机制[J].软件学报,2022,第7期
-
明仲1，张立军2,3，秦胜潮4（深圳大学计算机与软件学院；中国科学院软件研究所；中国科学院大学；华为香港研究所）.智能系统的分析和验证专题前言[J].软件学报,2022,第7期
-
方浩然，郭帆，李航宇（江西师范大学计算机信息工程学院）.TaintPoint：使用活跃轨迹高效挖掘污点风格漏洞[J].软件学报,2022,第6期
-
陈善言1,2，关永1,2,3，施智平1,4，王国辉1,5（首都师范大学信息工程学院；电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学)；轻型工业机器人与安全验证北京市重点实验室(首都师范大学)；电子系统可靠性技术北京市重点实验室(首都师范大学)；高可靠嵌入式系统北京市工程研究中心(首都师范大学)）.机器人碰撞检测方法形式化[J].软件学报,2022,第6期
-
孙琛琛1，申德荣2，肖迎元1，李玉坤1（计算机视觉与系统省部共建教育部重点实验室(天津理工大学)；东北大学计算机科学与工程学院）.面向查询式实体解析的多属性数据索引技术[J].软件学报,2022,第6期
-
张啸剑，徐雅鑫，夏庆荣（河南财经政法大学计算机与信息工程学院）.基于混洗差分隐私的直方图发布方法[J].软件学报,2022,第6期
-
徐浩然1，王勇军1，黄志坚2，解培岱1，范书珲1（国防科技大学计算机学院；军事科学院系统工程研究院）.基于前馈神经网络的编译器测试用例生成方法[J].软件学报,2022,第6期
|