-
陈鑫1，王斌1,2，姬子恒1（南京财经大学信息工程学院；智能机器人湖北省重点实验室(武汉工程大学)）.高斯卷积角：用于叶片图像检索的形状描述不变量[J].软件学报,2021,第5期
-
安冬冬1，刘静2，陈小红2，孙海英2（上海师范大学信息与机电工程学院；华东师范大学软件工程学院）.不确定环境下hCPS系统的形式化建模与动态验证[J].软件学报,2021,第7期
-
张协力1,2，祝跃飞1,2，顾纯祥1,2，陈熹1,2（数学工程与先进计算国家重点实验室；网络密码技术河南省重点实验室）.C2P：基于Pi演算的协议C代码形式化抽象方法和工具[J].软件学报,2021,第6期
-
邝砾1，施如意1，赵雷浩1，张欢1，高洪皓2（中南大学计算机学院；上海大学计算机工程与科学学院）.大粒度Pull Request描述自动生成[J].软件学报,2021,第6期
-
郝宗寅1,2，鲁法明1（山东科技大学计算机科学与工程学院；厦门大学信息学院）.Petri网的反向展开及其在程序数据竞争检测的应用[J].软件学报,2021,第6期
-
马智1，乔磊1,2，杨孟飞3，李少峰1,4（北京控制工程研究所；计算机科学国家重点实验室(中国科学院软件研究所)；中国空间技术研究院；西安电子科技大学计算机科学与技术学院）.面向SPARC处理器架构的操作系统异常管理验证[J].软件学报,2021,第6期
-
苏卓1,2，王东艳3，杨镒箫1,2，张明睿1,2，姜宇1,2，孙家广1,2（清华大学软件学院；信息系统安全教育部重点实验室(清华大学)；北京大学信息科学技术学院）.基于分支标记的数据流模型的代码生成方法[J].软件学报,2021,第6期
-
陆寅1，秦树东2，习乐琪1，董云卫1（西北工业大学计算机学院；西北工业大学软件学院）.面向AADL模型的存储资源约束可调度性分析[J].软件学报,2021,第6期
-
王璐，李青山，吕文琪，张河，李昊（西安电子科技大学计算机科学与技术学院）.基于事件关系保障识别质量的自适应分析方法[J].软件学报,2021,第7期
-
李念语1,2，陈正胤1,2，刘坤1,2，焦文品1,2（北京大学信息科学技术学院计算机科学与技术系；高可信软件技术教育部重点实验室(北京大学)）.一种基于分层适应逻辑的自适应系统实现框架[J].软件学报,2021,第7期
-
麻莹莹1，马振威2，陈钢1（南京航空航天大学计算机科学与技术学院；上海寻梦信息技术有限公司）.基于Coq的分块矩阵运算的形式化[J].软件学报,2021,第6期
-
陈俊洁1，汤恩义2，何啸3，马晓星4（天津大学智能与计算学部；南京大学软件学院；北京科技大学计算机与通信工程学院；南京大学计算机科学与技术系）.面向非确定性的软件质量保障方法与技术专题前言[J].软件学报,2021,第7期
-
周小莉，赵建华（计算机软件新技术国家重点实验室(南京大学)）.基于偶然正确性概率的回归测试选择方法[J].软件学报,2021,第7期
-
田聪1，邓玉欣2，姜宇3（西安电子科技大学计算机学院；华东师范大学软件学院；清华大学软件学院）.形式化方法与应用专题前言[J].软件学报,2021,第6期
|