-
朱锐1,2,3,4，黄月1,4，金芝2,3，李彤4,5，汤雅惠1,4（云南大学软件学院；北京大学信息科学技术学院；高可信软件技术教育部重点实验室(北京大学)；云南省软件工程重点实验室(云南大学)；云南农业大学大数据学院）.基于完全有限前缀展开的行为等价过程树生成算法[J].软件学报,2021,第5期
-
陈鑫1，王斌1,2，姬子恒1（南京财经大学信息工程学院；智能机器人湖北省重点实验室(武汉工程大学)）.高斯卷积角：用于叶片图像检索的形状描述不变量[J].软件学报,2021,第5期
-
刘霄1，章昭辉1,2，魏子明1，王鹏伟1（东华大学计算机科学与技术学院；上海网络信息服务工程技术研究中心）.个体交互行为的平滑干预模型[J].软件学报,2021,第6期
-
陆芝浩1,2，王瑞1,2，孔辉3，关永1,4，施智平1,2（首都师范大学信息工程学院；轻型工业机器人与安全验证北京市重点实验室(首都师范大学)；华为技术上海研发中心；电子系统可靠性与数理交叉学科国家国际科技合作示范基地(首都师范大学)）.Ptolemy离散事件模型形式化验证方法[J].软件学报,2021,第6期
-
王晓峰1,2，许道云2，杨德仁3，姜久雷1，李强1，刘欣欣1（北方民族大学计算机科学与工程学院；贵州大学计算机科学与技术学院；宁夏医科大学理学院）.可满足性问题中信念传播算法的收敛性分析[J].软件学报,2021,第5期
-
李念语1,2，陈正胤1,2，刘坤1,2，焦文品1,2（北京大学信息科学技术学院计算机科学与技术系；高可信软件技术教育部重点实验室(北京大学)）.一种基于分层适应逻辑的自适应系统实现框架[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，李影1,2，贾统3（北京大学软件与微电子学院；北京大学软件工程国家工程研究中心；北京大学信息科学技术学院）.面向分布式图计算作业的容错技术研究综述[J].软件学报,2021,第7期
-
麻莹莹1，马振威2，陈钢1（南京航空航天大学计算机科学与技术学院；上海寻梦信息技术有限公司）.基于Coq的分块矩阵运算的形式化[J].软件学报,2021,第6期
-
田聪1，邓玉欣2，姜宇3（西安电子科技大学计算机学院；华东师范大学软件学院；清华大学软件学院）.形式化方法与应用专题前言[J].软件学报,2021,第6期
-
陈俊洁1，汤恩义2，何啸3，马晓星4（天津大学智能与计算学部；南京大学软件学院；北京科技大学计算机与通信工程学院；南京大学计算机科学与技术系）.面向非确定性的软件质量保障方法与技术专题前言[J].软件学报,2021,第7期
-
周小莉，赵建华（计算机软件新技术国家重点实验室(南京大学)）.基于偶然正确性概率的回归测试选择方法[J].软件学报,2021,第7期
|