软件学报2023年07期_最新目录

软件学报2023年07期

形式化方法与应用专题
形式化方法与应用专题前言董云卫;刘关俊;毛晓光;
安全的混成系统神经网络控制器生成与验证赵庆晔;王豫;李宣东;
自动驾驶交叉路口测试场景建模及验证方法夏春艳;黄松;郑长友;张清睿;王宇;魏瑀皓;
基于LLVM Pass的复杂嵌套循环自动并行化框架马春燕;吕炳旭;叶许姣;张雨;
目标导向的多线程程序UAF漏洞预测方法鲁法明;唐梦凡;包云霞;曾庆田;李彦成;
基于约束依赖图的并发程序模型检测工具苏杰;杨祖超;田聪;段振华;
基于SMT的区域控制器同步反应式模型的形式化验证李腾飞;孙军峰;吕新军;陈祥;刘静;孙海英;何积丰;
智能规划中面向简单偏好的高效求解方法陆旭;于斌;段振华;王德奎;陈矗;崔进;
面向未解释程序的合作验证方法杜一德;洪伟疆;陈振邦;王戟;
前馈神经网络和循环神经网络的鲁棒性验证综述刘颖;杨鹏飞;张立军;吴志林;冯元;
系统软件与软件工程
面向Java微服务系统的透明请求追踪及采样方法黄梓程;陈鹏飞;余广坝;陈泓仰;
基于多重异质图的恶意软件相似性度量方法谷勇浩;王翼翡;刘威歆;吴铁军;孟国柱;
模式识别与人工智能
基于实例加权和双分类器的稳定学习算法杨帅;王浩;俞奎;曹付元;
基于双重注意力机制的事件抽取方法朱敏;毛莺池;程永;陈程军;王龙宝;
主动自动机学习中的等价查询算法优化潘雁;祝跃飞;
互信息与多条元路径融合的异质网络表示学习方法贾霄生;赵中英;李超;栾文静;梁永全;
计算机网络与信息安全
基于雾计算的智能医疗三方认证与密钥协商协议王菲菲;汪定;
区块链中可监管的身份隐私保护方案宋靖文;张大伟;韩旭;杜晔;
基于义原级语句稀释法的文本对抗攻击能力强化方法叶文滔;张敏;陈仪香;
一种支持分级用户访问的文件分层CP-ABE方案刘帅南;刘彬;郭真;冯朝胜;秦志光;卿昱;
集合交集元素之和的保密计算李顺东;张凯鑫;杨晨;汪榆淋;
基于SM9的CCA安全广播加密方案赖建昌;黄欣沂;何德彪;宁建廷;
基于跨域关联与隐私保护的深度推荐模型王利娥;李东城;李先贤;
基于U-Net结构的生成式多重对抗隐写算法马宾;韩作伟;徐健;王春鹏;李健;王玉立;
计算机图形学与计算机辅助设计
基于卷积神经网络的全景分割Transformer模型毛琳;任凤至;杨大伟;张汝波;
操作系统
基于避让阻塞的优先级天花板协议陈熙;乔磊;杨孟飞;刘洪标;
多媒体技术
基于标记增强的离散跨模态哈希方法王永欣;田洁茹;陈振铎;罗昕;许信顺;
计算机体系结构
申威1621处理器上矩阵乘法优化研究闫昊;刘芳芳;马文静;陈道琨;
《软件学报》2023年出版专刊/专题--
软件运行时配置综述周书林;李姗姗;董威;王戟;廖湘科;
IATG:基于解释分析的自动驾驶软件测试方法谢瑞麟;崔展齐;陈翔;郑丽伟;
基于知识图谱的跨项目安全缺陷报告预测方法郑炜;刘程远;吴潇雪;陈翔;成婧源;孙小兵;孙瑞阳;
HTAP数据库系统数据共享模型和优化策略胡梓锐;翁思扬;王清帅;俞融;徐金凯;张蓉;周烜;
基于多样性SAT求解器和新颖性搜索的软件产品线测试向毅;黄翰;罗川;杨晓伟;
基于模板匹配的BPEL程序故障修复及优化技术孙昌爱;吴思懿;张守峰;付安;
量子计算系统软件研究综述谢磊;翟季冬;
全局和局部信息融合的案情关键要素识别毛星亮;陈晓红;宁肯;李芳芳;张师超;
面向指-笔混合输入的交互原语和交互模型研究仝青山;康文惠;付强;黄进;田丰;戴国忠;
基于关系图卷积网络的代码搜索方法周光有;谢琦;余啸;
支持实时流计算应用的关键技术研究进展徐志榛;徐辰;丁光耀;陈梓浩;周傲英;
合作-竞争混合型多智能体系统的虚拟遗憾优势自博弈方法张明悦;金芝;刘坤;
LibPass:基于包结构和签名的第三方库检测方法徐建;袁倩婷;
基于静态和动态混合分析的内存拷贝类函数识别尹小康;蔡瑞杰;杨启超;刘胜利;
特征扩展的随机向量函数链神经网络龙茂森;王士同;
面向代码搜索的函数功能多重图嵌入徐杨;陈晓杰;汤德佑;黄翰;
基于人体和场景上下文的多人3D姿态估计何建航;孙郡瑤;刘琼;
分组密码复杂线性层可分性传播的MILP刻画方法黄明;张莎莎;洪春雷;曾乐;向泽军;
主题方面共享的领域主题层次模型万常选;张奕韬;刘德喜;刘喜平;廖国琼;万齐智;
多标记学习中基于交互表示的深度森林方法吕沈欢;陈一赫;姜远;
基于顶点组重分配的动态增量图划分算法李贺;刘延娜;杨舒琪;黄健斌;乔少杰;
基于遗传算法的划分序乘积空间问题求解层选择徐怡;邱紫恒;
基于学习-推理的约束求解方法研究进展邹悦;赖家洋;张永刚;
针对MUS求解问题的加强剪枝策略蒋璐宇;欧阳丹彤;董博文;张立明;
加密恶意流量检测及对抗综述侯剑;鲁辉;刘方爱;王兴伟;田志宏;
带有预验证机制的区块链动态共识算法侯凯祥;邱铁;徐天一;周晓波;池建成;