期刊的影响因子--文章列表

期刊文章列表
邢颖¹，钱晓萌²，管宇¹，章世豪¹，赵梦赐¹，林婉婷¹（北京邮电大学人工智能学院；北京邮电大学现代邮政学院(自动化学院)）.一种采用对抗学习的跨项目缺陷预测方法[J].软件学报,2022,第6期江南¹，汪吕蒙²，张晓瞳²，何炎祥²（湖北工业大学计算机学院；武汉大学计算机学院）.机械化验证一个高效的迭代数据流求解算法[J].软件学报,2022,第6期王小兵，寇蒙莎，李春奕，赵亮（西安电子科技大学计算机科学与技术学院）.支持索引式的PPTL定理证明器的实现[J].软件学报,2022,第6期靳翠珍¹，张倩颖^1,2,3，马雨薇¹，李希萌^1,4，王国辉^1,2，施智平^1,4，关永^1,5（首都师范大学信息工程学院；高可靠嵌入式系统北京市工程研究中心(首都师范大学)；计算机体系结构国家重点实验室(中国科学院计算技术研究所)；电子系统可靠性技术北京市重点实验室(首都师范大学)；电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学)）.基于精化的可信执行环境内存隔离机制验证[J].软件学报,2022,第6期严升，郁文生，付尧顺（天地互联与融合北京市重点实验室(北京邮电大学电子工程学院)）.基于Coq的杨忠道定理形式化证明[J].软件学报,2022,第6期张博闻^1,2，金钊^1,2，王捍贫^1,3,2，曹永知^1,2（北京大学计算机学院；高可信软件技术教育部重点实验室(北京大学)；广州大学计算机科学与网络工程学院）.一种基于分离逻辑的块云存储系统验证工具[J].软件学报,2022,第6期郑炜^1,2,3，王晓龙¹，陈翔^4,5，夏鑫⁶，廖慧玲¹，刘程远¹，孙瑞阳¹（西北工业大学软件学院；空天地海一体化大数据应用技术国家工程实验室(西北工业大学)；大数据存储与管理工业和信息化部重点实验室(西北工业大学)；南通大学信息科学技术学院；信息安全国家重点实验室(中国科学院信息工程研究所)；Faculty of Information Technology，Monash University）.重复软件缺陷报告检测方法综述[J].软件学报,2022,第6期李少峰¹，乔磊²，杨孟飞³，张锦坤²，马智²，刘洪标¹（西安电子科技大学计算机科学与技术学院；北京控制工程研究所；中国空间技术研究院）.面向安全关键内存管理系统分层验证方法[J].软件学报,2022,第6期李明煜，夏虞斌，陈海波（上海交通大学软件学院并行与分布式系统研究所）.面向SGX2代新型可信执行环境的内存优化系统[J].软件学报,2022,第6期谈心，杨悉瑜，曹家俊，张源（复旦大学计算机科学技术学院）.基于深度学习的Linux内核引用计数字段识别方法[J].软件学报,2022,第6期李广威^1,2，袁挺^1,2，李炼^1,2（计算机体系结构国家重点实验室(中国科学院计算技术研究所)；中国科学院大学）.开源C/C++静态软件缺陷检测工具实证研究[J].软件学报,2022,第6期杨松涛¹，陈凯翔²，王准²，张超²（清华大学计算机科学与技术系；清华大学网络科学与网络空间研究院）.面向缓解机制评估的自动化信息泄露方法[J].软件学报,2022,第6期于银菠，刘家佳，慕德俊（西北工业大学网络空间安全学院）.反例引导的C代码空间流模型检测方法[J].软件学报,2022,第6期凌振¹，杨彦¹，刘睿钊¹，张悦²，贾康¹，杨明¹（东南大学计算机科学与工程学院；暨南大学网络空间安全学院）.基于Toast重复绘制机制的口令攻击技术[J].软件学报,2022,第6期郭昊，曹钦翔（上海交通大学电子信息与电气工程学院）.步进索引模型下的语义及其形式化[J].软件学报,2022,第6期杨珉¹，张超²，宋富³，张源¹（复旦大学计算机科学技术学院；清华大学网络科学与网络空间研究院；上海科技大学信息科学与技术学院）.系统软件安全专题前言[J].软件学报,2022,第6期石正璞，崔敏，谢果君，陈钢（南京航空航天大学计算机科学与技术学院）.多旋翼飞控推进子系统的Coq形式化验证[J].软件学报,2022,第6期麻莹莹，陈钢（南京航空航天大学计算机科学与技术学院）.基于Coq的矩阵代码生成技术[J].软件学报,2022,第6期曹钦翔¹，詹博华²，赵永望³（上海交通大学电子信息与电气工程学院；中国科学院软件研究所；浙江大学计算机科学与技术学院）.定理证明理论与应用专题前言[J].软件学报,2022,第6期徐晓¹，丁世飞^1,2，丁玲¹（中国矿业大学计算机科学与技术学院；矿山数字化教育部工程研究中心）.密度峰值聚类算法研究进展[J].软件学报,2022,第5期于旭¹，何亚东¹，杜军威¹，王昭哲¹，江峰¹，巩敦卫^1,2（青岛科技大学信息科学技术学院；中国矿业大学信息与电气工程学院）.一种结合显式特征和隐式特征的开发者混合推荐算法[J].软件学报,2022,第5期于庆洋^1,2，白晓颖³，李明杰^1,2，李奇原⁴，刘涛⁴，刘泽胤⁴，裴丹^1,2（清华大学计算机科学与技术系；北京信息科学与技术国家研究中心；北京大数据先进技术研究院；百度商业平台研发部）.基于调用链控制流分析的大型微服务系统性能建模与异常定位[J].软件学报,2022,第5期毕秀丽，陆猛，肖斌，李伟生（图像认知重庆市重点实验室）.基于双解码U型卷积神经网络的胰腺分割[J].软件学报,2022,第5期冷林珊¹，刘爽²，田承霖²，窦淑洁²，王赞^1,2，张梅山¹（天津大学新媒体与传播学院；天津大学智能与计算学部）.预训练增强的代码克隆检测技术[J].软件学报,2022,第5期张健^1,2，周乃春²，李明²，刘杰¹，陈江涛²，向栋²，金韬²（国防科技大学计算机学院；中国空气动力研究与发展中心计算空气动力研究所）.面向航空航天领域的工业CFD软件研发设计[J].软件学报,2022,第5期张杨¹，东春浩¹，刘辉²，葛楚妍¹（河北科技大学信息科学与工程学院；北京理工大学计算机学院）.基于预训练模型和多层次信息的代码坏味检测方法[J].软件学报,2022,第5期袁天昊^1,2，吉顺慧^1,2，张鹏程^1,2，蔡涵博^1,2，戴启印^1,2，叶仕俊^1,2，任彬^1,2（水利部水利大数据重点实验室(河海大学)；河海大学计算机与信息学院）.针对黑盒智能语音软件的对抗样本生成方法[J].软件学报,2022,第5期杨慧文¹，崔展齐^1,2，陈翔³，贾明华⁴，郑丽伟¹，刘建宾¹（北京信息科技大学计算机学院；网络文化与数字传播北京市重点实验室(北京信息科技大学)；南通大学计算机科学与技术学院；中央财经大学信息学院）.基于软件度量的Solidity智能合约缺陷预测方法[J].软件学报,2022,第5期李聪^1,2，蒋炎岩^1,2，许畅^1,2（计算机软件新技术国家重点实验室(南京大学)；南京大学计算机科学与技术系）.基于GUI事件的安卓应用录制重放关键技术综述[J].软件学报,2022,第5期沙子涵¹，舒辉¹，武成岗²，熊小兵¹，康绯¹（数学工程与先进计算国家重点实验室；中国科学院计算技术研究所）.基于回调函数的控制流深度模糊模型[J].软件学报,2022,第5期首页上一页 4 5 6 7 8 下一页尾页共有10页，转到页

期刊文章列表