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

期刊文章列表
何天祥¹，肖正^1,2，陈岑^1,2，刘楚波^1,2，李肯立^1,2（湖南大学信息科学与工程学院；国家超级计算长沙中心）.硬件加速功能验证问题的DAG划分算法[J].软件学报,2022,第9期潘家晔¹，庄毅²，孙炳林²（南京邮电大学现代邮政学院；南京航空航天大学计算机科学与技术学院）.基于渐进扩展的二进制程序数据流分析方法[J].软件学报,2022,第9期平昱恺¹，黄鸿云²，江贺³，丁佐华¹（浙江理工大学信息学院；浙江理工大学图书馆；大连理工大学软件学院）.目标检测模型的决策依据与可信度分析[J].软件学报,2022,第9期孙昌爱^1,2，卫新洁¹，刘镇贤¹，宫云战³（北京科技大学计算机与通信工程学院；计算机科学国家重点实验室(中国科学院软件研究所)；北京邮电大学网络技术研究院）.DFSampling：一种数据流分析指导的变异体精简策略[J].软件学报,2022,第9期张德干^1,2，颜浩然^1,2，张捷³，张婷^1,2，王嘉旭^1,2（天津理工大学计算机科学与工程学院；计算机视觉与系统教育部重点实验室(天津理工大学)；北京交通大学电子信息工程学院）.ApproxECIoT：一种基于自适应分层采样的边缘计算新架构[J].软件学报,2022,第9期古天龙^1,2，郝峰锐²，李龙^1,2，李晶晶¹，常亮²（暨南大学信息科学技术学院/网络空间安全学院；广西可信软件重点实验室(桂林电子科技大学)）.社交网络中负责隐私协商的智能体行为追责[J].软件学报,2022,第9期李静¹，王文成^2,3（中国科学院动物研究所动物进化与系统学院重点实验室；计算机科学国家重点实验室(中国科学院软件研究所)；中国科学院大学）.基于六边形的自适应层次网格及其应用于点在球面多边形内的判断[J].软件学报,2022,第9期汪萌¹，张勇东²，俞俊³，张伟⁴（合肥工业大学计算机与信息学院；中国科学技术大学信息科学技术学院；杭州电子科技大学计算机学院；广播电视科学研究院）.融合媒体环境下的媒体内容分析与信息服务技术专题前言[J].软件学报,2022,第9期方焱志，黄煜坤，彭煜玮（武汉大学计算机学院）.基于统计量特征的数据库指纹方法[J].软件学报,2022,第9期钱鹏¹，刘振广^1,2，何钦铭²，黄步添²，田端正¹，王勋¹（浙江工商大学计算机与信息工程学院；浙江大学计算机科学与技术学院）.智能合约安全漏洞检测技术研究综述[J].软件学报,2022,第8期朱斐^1,2,3，葛洋洋¹，凌兴宏¹，刘全¹（苏州大学计算机科学与技术学院；软件新技术与产业化协同创新中心；江苏省计算机信息处理技术重点实验室(苏州大学)）.基于受限MDP的无模型安全强化学习方法[J].软件学报,2022,第8期王志强，伍胜，肖国强，张自力，刘志有，彭景（西南大学计算机与信息科学学院/软件学院）.开源许可证合规性研究[J].软件学报,2022,第8期何雷锋，刘关俊（同济大学计算机科学与技术系）.模拟实时系统的点区间优先级时间Petri网与TCTL验证[J].软件学报,2022,第8期于斌^1,2，陆旭^1,2，田聪^1,2，段振华^1,2，张南^1,2（西安电子科技大学计算机科学与技术学院；综合业务网理论与关键技术国家重点实验室(西安电子科技大学)）.面向SQLite3数据库API调用序列的并行运行时验证方法[J].软件学报,2022,第8期赛影辉¹，王明鑫¹，陈畅¹，雷伯涵²，侯叶俏¹，李翔翔³，孙月明¹，陈旭¹（武汉大学计算机学院；浙江大学计算机科学与技术学院；航天恒星科技有限公司）.基于感染结果的传播网络推断方法[J].软件学报,2022,第8期李艳红¹，王猛¹，李国徽²，罗昌银^3,4,5，杜小坤¹（中南民族大学计算机科学学院；华中科技大学软件学院；人工智能与智慧学习湖北省重点实验室(华中师范大学)；国家语言资源监测与研究网络媒体中心；华中师范大学计算机学院）.动态网络中多规则的最短路径查询算法[J].软件学报,2022,第8期陈浙哲^1,2，鄢萌^1,2，夏鑫³，刘忠鑫⁴，徐洲^1,2，雷晏^1,2（信息物理社会可信服务计算教育部重点实验室(重庆大学)；重庆大学大数据与软件学院；Faculty of Information Technology Monash University；浙江大学计算机科学与技术学院）.代码自然性及其应用研究进展[J].软件学报,2022,第8期米钧日¹，张苗苗¹，安杰²，杜博闻³（同济大学软件学院；Max Planck Institute for Software Systems；University of Warwick）.运用时间分类树的确定单时钟时间自动机学习[J].软件学报,2022,第8期陈小颖¹，祝义^1,2，赵宇¹，王金永²（江苏师范大学计算机科学与技术学院；高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)）.面向CPS时空约束的资源建模及其安全性验证方法[J].软件学报,2022,第8期包冬庆¹，葛宁^1,2，翟树茂¹，张莉^1,3,2（北京航空航天大学软件学院；软件开发环境国家重点实验室(北京航空航天大学)；北京航空航天大学计算机学院）.基于消息传递关系网络的布尔可满足性预测[J].软件学报,2022,第8期肖思慧^1,2，刘琦^1,2，黄滟鸿^1,2，史建琦^1,2，郭欣^1,2（华东师范大学软件工程学院；国家可信嵌入式软件工程技术研究中心(华东师范大学)）.基于SysML的机载软件分层精化建模与验证方法[J].软件学报,2022,第8期赵颖琪^1,2，朱雪阳^1,2，李广元^1,2，包玉龙¹（计算机科学国家重点实验室(中国科学院软件研究所)；中国科学院大学）.智能合约的时间约束模式及其形式化验证[J].软件学报,2022,第8期林开鹏，梅国泉，林望，丁佐华（浙江理工大学信息学院）.基于深度学习和反例制导的循环程序秩函数生成[J].软件学报,2022,第8期骆翔宇^1,2，黄欣玥¹，古天龙^2,3，苏开乐⁴，陈祖希¹，郑黎晓¹（华侨大学计算机科学与技术学院；广西可信软件重点实验室(桂林电子科技大学)；暨南大学信息科学技术学院/网络空间安全学院；南京信息工程大学人工智能学院）.基于时态测试器的实时分支时态逻辑模型检测[J].软件学报,2022,第8期陈涛清¹，范广生¹，尹帮虎²，陈立前¹，王戟^1,3（国防科技大学计算机学院；国防科技大学系统工程学院；高性能计算国家重点实验室(国防科技大学)）.基于抽象解释的函数内联过程间分析优化方法[J].软件学报,2022,第8期邹沫，谢昊彤，魏卓然，陈海波（上海交通大学软件学院）.基于锁耦合遍历算法的文件系统终止性验证[J].软件学报,2022,第8期陆寅¹，秦树东¹，郭鹏^2,3，董云卫¹（西北工业大学计算机学院；南京航空航天大学计算机科学与技术学院；中国航空工业集团公司西安航空计算技术研究所）.软硬件综合AADL可靠性建模及分析方法[J].软件学报,2022,第8期陆旭^1,2，于斌^1,2，田聪^1,2，段振华^1,2（西安电子科技大学计算机科学与技术学院；综合业务网理论及关键技术国家重点实验室(西安电子科技大学)）.一种利用非确定规划的LTL合成方法[J].软件学报,2022,第8期首页上一页 2 3 4 5 6 下一页尾页共有10页，转到页

期刊文章列表