-
张学锋，李金晶（安徽工业大学 计算机科学与技术学院）.基于双注意力残差循环单幅图像去雨集成网络[J].软件学报,2021,第10期
-
张献，贲可荣，曾杰（海军工程大学电子工程学院）.基于代码自然性的切片粒度缺陷预测方法[J].软件学报,2021,第7期
-
王小兵1，杨潇钰1，舒新峰2，赵亮1（西安电子科技大学计算机科学与技术学院；西安邮电大学计算机学院）.面向MSVL的智能合约形式化验证[J].软件学报,2021,第6期
-
尤勇1，汪浩2,3，任天1，顾胜晖2,3，孙佳林1（美团点评；南京大学软件学院；计算机软件新技术国家重点实验室(南京大学)）.一种监控系统的链路跟踪型日志数据的存储设计[J].软件学报,2021,第5期
-
贺祥，刘磊，涂志莹，徐晓飞（哈尔滨工业大学计算机科学与技术学院）.多版本共存的微服务系统自适应演化方法[J].软件学报,2021,第5期
-
顾斌1，于波1，董晓刚1，李晓锋1，钟睿明1，杨孟飞2（北京控制工程研究所；中国空间技术研究院）.程序智能合成技术研究进展[J].软件学报,2021,第5期
-
牛长安1,2，葛季栋1,2，唐泽1,2，李传艺1,2，周宇3，骆斌1,2（计算机软件新技术国家重点实验室(南京大学)；南京大学软件学院；南京航空航天大学计算机科学与技术学院）.基于指针生成网络的代码注释自动生成模型[J].软件学报,2021,第7期
-
姜淑娟1,2，张旭1,2，王荣存1,2,3，黄颖1,2，张艳梅1,2，薛猛1,2（中国矿业大学矿山数字化教育部工程研究中心；中国矿业大学计算机科学与技术学院；高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)）.基于路径分析和信息熵的错误定位方法[J].软件学报,2021,第7期
-
曹翰林1，唐海娜1，王飞2，徐勇军2（中国科学院大学人工智能学院；中国科学院计算技术研究所）.轨迹表示学习技术研究进展[J].软件学报,2021,第5期
-
傅文渊（华侨大学信息科学与工程学院；厦门市专用集成电路系统重点实验室(华侨大学)；福建省电机控制与系统优化调度工程技术研究中心）.具有万有引力加速机理的布谷鸟搜索算法[J].软件学报,2021,第5期
-
马钰锡1，张全新1，谭毓安1，沈蒙2,3（北京理工大学计算机学院；北京理工大学网络空间安全学院；鹏城实验室网络空间安全研究中心）.面向智能攻击的行为预测研究[J].软件学报,2021,第5期
-
檀超1,2，张静宣1,2，王铁鑫1,2，岳涛1,2（南京航空航天大学计算机科学与技术学院；高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)）.复杂软件系统的不确定性[J].软件学报,2021,第7期
-
席亮，姚之钰，张凤斌（哈尔滨理工大学 计算机科学与技术学院）.邻域形态空间多源免疫检测器生成与检测[J].软件学报,2021,第10期
-
高猛1,2，滕俊元1,2，王政1,2（北京控制工程研究所；北京轩宇信息技术有限公司）.航天嵌入式软件整数溢出的形式化验证方法[J].软件学报,2021,第10期
-
刘霄1，章昭辉1,2，魏子明1，王鹏伟1（东华大学计算机科学与技术学院；上海网络信息服务工程技术研究中心）.个体交互行为的平滑干预模型[J].软件学报,2021,第6期
-
谷晓松1，魏恒峰1，乔磊2，黄宇1（计算机软件新技术国家重点实验室(南京大学)；北京控制工程研究所）.支持乱序执行的Raft协议[J].软件学报,2021,第6期
-
姚广宇1,2，张南1,2，田聪1,2，段振华1,2，刘灵敏1,2，孙风津1,2（西安电子科技大学计算理论与技术研究所；综合业务网理论及关键技术国家重点实验室(西安电子科技大学)）.芯片开发功能验证的形式化方法[J].软件学报,2021,第6期
-
陆芝浩1,2，王瑞1,2，孔辉3，关永1,4，施智平1,2（首都师范大学信息工程学院；轻型工业机器人与安全验证北京市重点实验室(首都师范大学)；华为技术上海研发中心；电子系统可靠性与数理交叉学科国家国际科技合作示范基地(首都师范大学)）.Ptolemy离散事件模型形式化验证方法[J].软件学报,2021,第6期
-
张程博1，李影1,2，贾统3（北京大学软件与微电子学院；北京大学软件工程国家工程研究中心；北京大学信息科学技术学院）.面向分布式图计算作业的容错技术研究综述[J].软件学报,2021,第7期
-
王颖1,2，王冰青1,2，关永1,3，李晓娟1,2，王瑞1,2（首都师范大学信息工程学院；轻型工业机器人与安全验证北京市重点实验室(首都师范大学)；电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学)）.面向ROS的差分模糊测试方法[J].软件学报,2021,第6期
-
冯能先1,2，田有亮1,3,2（贵州大学计算机科学与技术学院；贵州大学密码学与数据安全研究所；省部共建公共大数据国家重点实验室(筹)）.基于理性信任模型的理性委托计算协议[J].软件学报,2021,第6期
-
殷康璘，杜庆峰（同济大学软件学院）.基于混沌工程的微服务韧性风险识别和分析[J].软件学报,2021,第5期
-
晋武侠1,2，钟定洪1,2，张宇云1,2，杨名帆2，刘烃2（西安交通大学软件学院；智能网络与网络安全教育部重点实验室(西安交通大学)）.基于多源特征空间的微服务可维护性评估[J].软件学报,2021,第5期
-
王晓峰1,2，许道云2，杨德仁3，姜久雷1，李强1，刘欣欣1（北方民族大学计算机科学与工程学院；贵州大学计算机科学与技术学院；宁夏医科大学理学院）.可满足性问题中信念传播算法的收敛性分析[J].软件学报,2021,第5期
-
危剑豪，夏烨峰，宫学庆（华东师范大学 软件工程学院）.多查询共享技术研究综述[J].软件学报,2021,第10期
-
刘镇，韩益亮，杨晓元，柳曙光（武警工程大学 密码工程学院）.安全随机数部分重用及在多接收方签密的应用[J].软件学报,2021,第10期
-
石剑君，计卫星，石峰（北京理工大学计算机学院）.操作系统内核并发错误检测研究进展[J].软件学报,2021,第7期
-
高凤娟1，王豫1，周金果2，徐安孜1，王林章1，吴荣鑫3，张川4，苏振东5（计算机软件新技术国家重点实验室(南京大学)；蚂蚁集团；厦门大学信息学院；Department of Computer Science and Engineering，The Hongkong University of Science and Technology；Department of Computer Science(ETH Zurich)）.高精度的大规模程序数据竞争检测方法[J].软件学报,2021,第7期
-
徐海燕1,2，姜瑛1,2（云南省计算机技术应用重点实验室；昆明理工大学信息工程与自动化学院）.针对复杂用户评论的代码质量属性判断[J].软件学报,2021,第7期
-
朱锐1,2,3,4，黄月1,4，金芝2,3，李彤4,5，汤雅惠1,4（云南大学软件学院；北京大学信息科学技术学院；高可信软件技术教育部重点实验室(北京大学)；云南省软件工程重点实验室(云南大学)；云南农业大学大数据学院）.基于完全有限前缀展开的行为等价过程树生成算法[J].软件学报,2021,第5期
|