-
尤勇1，汪浩2,3，任天1，顾胜晖2,3，孙佳林1（美团点评；南京大学软件学院；计算机软件新技术国家重点实验室(南京大学)）.一种监控系统的链路跟踪型日志数据的存储设计[J].软件学报,2021,第5期
-
贺祥，刘磊，涂志莹，徐晓飞（哈尔滨工业大学计算机科学与技术学院）.多版本共存的微服务系统自适应演化方法[J].软件学报,2021,第5期
-
顾斌1，于波1，董晓刚1，李晓锋1，钟睿明1，杨孟飞2（北京控制工程研究所；中国空间技术研究院）.程序智能合成技术研究进展[J].软件学报,2021,第5期
-
马智1，乔磊1,2，杨孟飞3，李少峰1,4（北京控制工程研究所；计算机科学国家重点实验室(中国科学院软件研究所)；中国空间技术研究院；西安电子科技大学计算机科学与技术学院）.面向SPARC处理器架构的操作系统异常管理验证[J].软件学报,2021,第6期
-
马钰锡1，张全新1，谭毓安1，沈蒙2,3（北京理工大学计算机学院；北京理工大学网络空间安全学院；鹏城实验室网络空间安全研究中心）.面向智能攻击的行为预测研究[J].软件学报,2021,第5期
-
张捷，田聪，段振华（西安电子科技大学计算机科学与技术学院）.基于污染变量关系图的Android应用污点分析工具[J].软件学报,2021,第6期
-
韩宁1,2，李希萌1,3，张倩颖1,3，王国辉1,3，施智平1,3，关永1,2（首都师范大学信息工程学院；北京成像理论与技术高精尖创新中心首都师范大学；电子系统可靠性技术北京市重点实验室(首都师范大学)）.以太坊中间语言的可执行语义[J].软件学报,2021,第6期
-
谷晓松1，魏恒峰1，乔磊2，黄宇1（计算机软件新技术国家重点实验室(南京大学)；北京控制工程研究所）.支持乱序执行的Raft协议[J].软件学报,2021,第6期
-
陈小颖1，祝义1，赵宇1，王金永2（江苏师范大学计算机科学与技术学院；南京航空航天大学计算机科学与技术学院）.面向CPS时空性质验证的混成AADL建模与模型转换方法[J].软件学报,2021,第6期
-
姚广宇1,2，张南1,2，田聪1,2，段振华1,2，刘灵敏1,2，孙风津1,2（西安电子科技大学计算理论与技术研究所；综合业务网理论及关键技术国家重点实验室(西安电子科技大学)）.芯片开发功能验证的形式化方法[J].软件学报,2021,第6期
-
芦倩1,2，李晓娟1,2，关永1,3，王瑞1,4，施智平1,4（首都师范大学信息工程学院；高可靠嵌入式系统技术北京市工程研究中心(首都师范大学)；北京成像理论与技术高精尖创新中心(首都师范大学)；轻型工业机器人与安全验证北京市重点实验室(首都师范大学)）.面向数据流的ROS2数据分发服务形式建模与分析[J].软件学报,2021,第6期
-
檀超1,2，张静宣1,2，王铁鑫1,2，岳涛1,2（南京航空航天大学计算机科学与技术学院；高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)）.复杂软件系统的不确定性[J].软件学报,2021,第7期
-
张献，贲可荣，曾杰（海军工程大学电子工程学院）.基于代码自然性的切片粒度缺陷预测方法[J].软件学报,2021,第7期
-
王小兵1，杨潇钰1，舒新峰2，赵亮1（西安电子科技大学计算机科学与技术学院；西安邮电大学计算机学院）.面向MSVL的智能合约形式化验证[J].软件学报,2021,第6期
-
王颖1,2，王冰青1,2，关永1,3，李晓娟1,2，王瑞1,2（首都师范大学信息工程学院；轻型工业机器人与安全验证北京市重点实验室(首都师范大学)；电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学)）.面向ROS的差分模糊测试方法[J].软件学报,2021,第6期
-
石剑君，计卫星，石峰（北京理工大学计算机学院）.操作系统内核并发错误检测研究进展[J].软件学报,2021,第7期
-
牛长安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,2，钟定洪1,2，张宇云1,2，杨名帆2，刘烃2（西安交通大学软件学院；智能网络与网络安全教育部重点实验室(西安交通大学)）.基于多源特征空间的微服务可维护性评估[J].软件学报,2021,第5期
-
王晓峰1,2，许道云2，杨德仁3，姜久雷1，李强1，刘欣欣1（北方民族大学计算机科学与工程学院；贵州大学计算机科学与技术学院；宁夏医科大学理学院）.可满足性问题中信念传播算法的收敛性分析[J].软件学报,2021,第5期
-
王璐，李青山，吕文琪，张河，李昊（西安电子科技大学计算机科学与技术学院）.基于事件关系保障识别质量的自适应分析方法[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,2，王东艳3，杨镒箫1,2，张明睿1,2，姜宇1,2，孙家广1,2（清华大学软件学院；信息系统安全教育部重点实验室(清华大学)；北京大学信息科学技术学院）.基于分支标记的数据流模型的代码生成方法[J].软件学报,2021,第6期
-
陆寅1，秦树东2，习乐琪1，董云卫1（西北工业大学计算机学院；西北工业大学软件学院）.面向AADL模型的存储资源约束可调度性分析[J].软件学报,2021,第6期
-
朱锐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期
|