-
陈存铜1,2，赵君峤1,2，叶晨1,2，邓蓉1,2，管林挺1,2,3，李德毅1,2,4（同济大学电子与信息工程学院；同济大学嵌入式重点实验室；浙江海洋大学数理与信息学院；总参第61研究所）.基于共享内存的智能无人车进程间消息异步传输机制[J].软件学报,2017,第5期
-
杜德慧1,2,3，昝慧3，姜凯强3，程贝3（教育部可信软件国际合作联合实验室(华东师范大学)；可信软件国际联合研究中心(华东师范大学)；上海市高可信重点实验室(华东师范大学)）.一种面向CPS 的自适应统计模型检测方法[J].软件学报,2017,第5期
-
张雨1,2，董云卫3，冯文龙1,2，黄梦醒1,2（南海海洋资源利用国家重点实验室(海南大学)；海南大学信息科学技术学院；西北工业大学计算机学院）.一种面向CPS 的控制应用程序协同验证方法[J].软件学报,2017,第5期
-
江俊彦1,2，彭智勇2，吴小莹2，彭承晨1，王敏1（武汉大学计算机学院；软件工程国家重点实验室(武汉大学)）.基于分层抽样的重叠深网数据源选择[J].软件学报,2017,第5期
-
刘立，李国强（上海交通大学软件学院）.异步多进程时间自动机的可覆盖性问题[J].软件学报,2017,第5期
-
文习明1,2，余泉3,2，常亮2，王驹2（广东省委党校信息技术教研部；广西可信软件重点实验室(桂林电子科技大学)；贵州省黔南师范学院数学与统计学院）.不确定观测下离散事件系统的可诊断性[J].软件学报,2017,第5期
-
郭德贵1,2，王冠成1，吕帅1,2,3，刘磊1,4（吉林大学计算机科学与技术学院；符号计算与知识工程教育部重点实验室(吉林大学)；吉林大学数学学院；吉林大学软件学院）.peC 语言的部分求值器及在编译器测试中的应用[J].软件学报,2017,第5期
-
李晅松1,2，陶先平2，吕建2，宋巍1,2（南京理工大学计算机科学与工程学院；计算机软件新技术国家重点实验室(南京大学)）.面向动作的上下文感知应用的规约与运行时验证[J].软件学报,2017,第5期
-
陈宇1,2，周巍1，段哲民1，钱叶魁3，赵鑫3,4（西北工业大学电子信息学院；郑州航空工业管理学院；解放军防空兵学院；中国电子科技集团公司第五十四研究所通信网信息传输与分发技术重点实验室）.一种IP 网络拥塞链路丢包率范围推断算法[J].软件学报,2017,第5期
-
常曦1，薛建新1,2，张卓2，毛晓光2（上海第二工业大学软件工程系；国防科学技术大学计算机学院）.面向收敛的并发程序执行轨迹静态简化方法[J].软件学报,2017,第5期
-
翟娟1,2，汤震浩1,3，李彬1,3，赵建华1,3，李宣东1,3（计算机软件新技术国家重点实验室(南京大学)；南京大学软件学院；南京大学计算机科学与技术系）.常用循环摘要的自动生成方法及其应用[J].软件学报,2017,第5期
-
王善侠1,2，马明辉1，陈武3，邓辉文1,3（西南大学逻辑与智能研究中心；西南大学计算机与信息科学学院；河南师范大学计算机与信息工程学院）.正则模型类的时态可定义性[J].软件学报,2017,第5期
-
董威1，赵建华2，吕鸣松3（国防科学技术大学计算机学院；南京大学计算机科学与技术系；东北大学计算机科学与工程学院）.形式化方法与应用专题前言[J].软件学报,2017,第5期
-
龚俭1,2,3，臧小东1,2,3，苏琪1,2,3，胡晓艳1,2,3，徐杰1,2,3（东南大学计算机科学与工程学院；江苏省计算机网络重点实验室；计算机网络和信息集成教育部重点实验室）.网络安全态势感知综述[J].软件学报,2017,第4期
-
高强1，张凤荔1，王瑞锦1,2，周帆1（电子科技大学信息与软件工程学院；Department of Electrical Engineering and Computer Science，Northwestern University）.轨迹大数据:数据处理关键技术研究综述[J].软件学报,2017,第4期
-
仝青1，张铮1，张为华2，邬江兴3（数学工程与先进计算国家重点实验室；复旦大学并行处理研究所；国家数字交换系统工程技术研究中心）.拟态防御Web服务器设计与实现[J].软件学报,2017,第4期
-
王蕾1,2，李丰1，李炼1，冯晓兵1（计算机系统结构国家重点实验室(中国科学院计算技术研究所)；中国科学院大学）.污点分析技术的原理和实践应用[J].软件学报,2017,第4期
-
黄健斌1，孙晓晶1,2，周瑜1,2，吕泽1,2，孙鹤立3，贾晓琳3（西安电子科技大学软件学院；西安电子科技大学计算机学院；西安交通大学计算机科学与技术系）.社会网络中的团队形成问题研究综述[J].软件学报,2017,第4期
-
胡森森，计卫星，王一拙，陈旭，付文飞，石峰（北京理工大学计算机学院嵌入式高性能计算实验室）.片上多核处理器Cache一致性协议优化研究综述[J].软件学报,2017,第4期
-
张恒若1，付明2,3（中国科学技术大学信息科学技术学院；中国科学技术大学计算机科学与技术学院；中国科学技术大学苏州研究院软件安全实验室）.基于Z3的Coq自动证明策略的设计和实现[J].软件学报,2017,第4期
-
高伟1，韩林1，赵荣彩1，徐金龙1，陈超然2（数学工程与先进计算国家重点实验室(解放军信息工程大学)；防空兵指挥学院）.向量并行度指导的循环SIMD向量化方法[J].软件学报,2017,第4期
-
蒋炎岩1,2，许畅1,2，马晓星1,2，吕建1,2（计算机软件新技术国家重点实验室(南京大学)；南京大学 计算机科学与技术系）.获取访存依赖:并发程序动态分析基础技术综述[J].软件学报,2017,第4期
-
何王全，刘勇，方燕飞，魏迪，漆锋滨（江南计算技术研究所）.面向国产异构众核系统的Parallel C语言设计与实现[J].软件学报,2017,第4期
-
李筱1,2，周严1,2，李孟宸1,2，陈园军1,2，XU Guo-Qing3，王林章1,2，李宣东1,2（计算机软件新技术国家重点实验室(南京大学)；南京大学计算机科学与技术系；Department of Computer Science，University of California）.C/C++程序静态内存泄漏警报自动确认方法[J].软件学报,2017,第4期
-
李彬，汤震浩，翟娟，赵建华（计算机软件新技术国家重点实验室(南京大学)）.通过抽象程序证明复杂具体程序[J].软件学报,2017,第4期
-
杨启哲，李国强（上海交通大学软件学院）.基于通信Petri网的异步通信程序验证模型[J].软件学报,2017,第4期
-
张俊娜，王尚广，孙其博，杨放春（网络与交换技术国家重点实验室(北京邮电大学)）.融合网络环境下快速可靠的服务组合容错方法[J].软件学报,2017,第4期
-
刘尧1,2，段振华1,2，田聪1,2（西安电子科技大学计算理论与技术研究所；综合业务网理论及关键技术国家重点实验室(西安电子科技大学)）.NuTL2PFG:νTL公式的可满足性检查[J].软件学报,2017,第4期
-
何啸1,2,3，李文峰1，张天3，麻志毅2，邵维忠2，胡长军1（北京科技大学计算机与通信工程学院；高可信软件技术教育部重点实验室(北京大学)；计算机软件新技术国家重点实验室(南京大学)）.一种随机化的软件模型生成方法[J].软件学报,2017,第4期
|