-
安冬冬1，刘静2，陈小红2，孙海英2（上海师范大学信息与机电工程学院；华东师范大学软件工程学院）.不确定环境下hCPS系统的形式化建模与动态验证[J].软件学报,2021,第7期
-
李念语1,2，陈正胤1,2，刘坤1,2，焦文品1,2（北京大学信息科学技术学院计算机科学与技术系；高可信软件技术教育部重点实验室(北京大学)）.一种基于分层适应逻辑的自适应系统实现框架[J].软件学报,2021,第7期
-
张程博1，李影1,2，贾统3（北京大学软件与微电子学院；北京大学软件工程国家工程研究中心；北京大学信息科学技术学院）.面向分布式图计算作业的容错技术研究综述[J].软件学报,2021,第7期
-
高猛1,2，滕俊元1,2，王政1,2（北京控制工程研究所；北京轩宇信息技术有限公司）.航天嵌入式软件整数溢出的形式化验证方法[J].软件学报,2021,第10期
-
危剑豪，夏烨峰，宫学庆（华东师范大学 软件工程学院）.多查询共享技术研究综述[J].软件学报,2021,第10期
-
刘镇，韩益亮，杨晓元，柳曙光（武警工程大学 密码工程学院）.安全随机数部分重用及在多接收方签密的应用[J].软件学报,2021,第10期
-
冯能先1,2，田有亮1,3,2（贵州大学计算机科学与技术学院；贵州大学密码学与数据安全研究所；省部共建公共大数据国家重点实验室(筹)）.基于理性信任模型的理性委托计算协议[J].软件学报,2021,第6期
-
高凤娟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期
-
席亮，姚之钰，张凤斌（哈尔滨理工大学 计算机科学与技术学院）.邻域形态空间多源免疫检测器生成与检测[J].软件学报,2021,第10期
-
麻莹莹1，马振威2，陈钢1（南京航空航天大学计算机科学与技术学院；上海寻梦信息技术有限公司）.基于Coq的分块矩阵运算的形式化[J].软件学报,2021,第6期
-
田聪1，邓玉欣2，姜宇3（西安电子科技大学计算机学院；华东师范大学软件学院；清华大学软件学院）.形式化方法与应用专题前言[J].软件学报,2021,第6期
-
陈俊洁1，汤恩义2，何啸3，马晓星4（天津大学智能与计算学部；南京大学软件学院；北京科技大学计算机与通信工程学院；南京大学计算机科学与技术系）.面向非确定性的软件质量保障方法与技术专题前言[J].软件学报,2021,第7期
-
周小莉，赵建华（计算机软件新技术国家重点实验室(南京大学)）.基于偶然正确性概率的回归测试选择方法[J].软件学报,2021,第7期
|