主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2022年专刊出版计划 微信服务介绍 最新一期:2021年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2021年第32卷第6期目录

   
浏览其它刊期:  
  

本期目录

C2P:基于Pi演算的协议C代码形式化抽象方法和工具
  张协力,祝跃飞,顾纯祥,陈熹
  2021,32(6):13-0 [摘要(60)]  [PDF 737.71 K (30)]
  
大粒度Pull Request描述自动生成
  邝砾,施如意,赵雷浩,张欢,高洪皓
  2021,32(6):14-0 [摘要(57)]  [PDF 568.24 K (24)]
  
Petri网的反向展开及其在程序数据竞争检测的应用
  郝宗寅,鲁法明
  2021,32(6):15-0 [摘要(57)]  [PDF 906.34 K (27)]
  
面向SPARC处理器架构的操作系统异常管理形式化验证
  马智,乔磊,杨孟飞,李少峰
  2021,32(6):16-0 [摘要(45)]  [PDF 612.79 K (26)]
  
基于分支标记的数据流模型的代码生成方法
  苏卓,王东艳,杨镒箫,张明睿,姜宇,孙家广
  2021,32(6):17-0 [摘要(53)]  [PDF 471.92 K (25)]
  
面向AADL系统架构的存储资源约束可调度性分析方法
  陆寅,秦树东,习乐琪,董云卫
  2021,32(6):18-0 [摘要(21)]  [PDF 944.52 K (29)]
  
基于锁增广分段图的多线程程序死锁检测
  鲁法明,郑佳静,包云霞,曾庆田,段华,王晓宇
  2021,32(6):19-0 [摘要(38)]  [PDF 649.21 K (19)]
  
基于污染变量关系图的Android应用污点分析工具
  张捷,田聪,段振华
  2021,32(6):20-0 [摘要(60)]  [PDF 1.14 M (28)]
  
以太坊中间语言的可执行语义
  韩宁,李希萌,张倩颖,王国辉,施智平,关永
  2021,32(6):21-0 [摘要(58)]  [PDF 452.60 K (42)]
  
个体交互行为的平滑干预模型
  刘霄,章昭辉,魏子明,王鹏伟
  2021,32(6):22-0 [摘要(54)]  [PDF 747.25 K (26)]
  
支持乱序执行的Raft协议
  谷晓松,魏恒峰,乔磊,黄宇
  2021,32(6):23-0 [摘要(47)]  [PDF 3.70 M (31)]
  
面向CPS时空性质验证的混成AADL建模与模型转换方法
  陈小颖,祝义,赵宇,王金永
  2021,32(6):24-0 [摘要(150)]  [PDF 621.28 K (39)]
  
芯片开发功能验证的形式化方法
  姚广宇,张南,田聪,段振华,刘灵敏,孙风津
  2021,32(6):25-0 [摘要(50)]  [PDF 524.00 K (31)]
  
面向数据流的ROS2数据分发服务形式建模与分析
  芦倩,李晓娟,关永,王瑞,施智平
  2021,32(6):26-0 [摘要(124)]  [PDF 761.73 K (35)]
  
Ptolemy离散事件模型形式化验证方法
  陆芝浩,王瑞,孔辉,关永,施智平
  2021,32(6):27-0 [摘要(55)]  [PDF 956.24 K (25)]
  
面向MSVL的智能合约形式化验证
  王小兵,杨潇钰,舒新峰,赵亮
  2021,32(6):28-0 [摘要(55)]  [PDF 505.50 K (25)]
  
面向ROS的差分模糊测试方法
  王颖,王冰青,关永,李晓娟,王瑞
  2021,32(6):29-0 [摘要(74)]  [PDF 820.19 K (24)]
  
基于Coq的分块矩阵运算的形式化
  麻莹莹,马振威,陈钢
  2021,32(6):30-0 [摘要(131)]  [PDF 1.32 M (32)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利