Journal: Int. J. Software and Informatics

Volume 11, Issue 4

379 -- 381Cong Tian, Yuxin Deng, Yu Jiang. Preface to the Topic of Formal Methods and Their Applications
383 -- 403Li Kuang, Ruyi Shi, Leihao Zhao, Huan Zhang, Honghao Gao. Automatic Generation of Large-Granularity Pull Request Description
405 -- 428Zongyin Hao, Faming Lu. Reverse Unfolding of Petri Nets and its Application in Program Data Race Detection
429 -- 452Yin Lu, Shudong Qin, Leqi Xi, Yunwei Dong. On Schedulability Analysis of AADL Architecture with Storage Resource Constraint
453 -- 472Xiao Liu, Zhaohui Zhang, Ziming Wei, Pengwei Wang. Smooth Intervention Model of Individual Interactive Behavior
473 -- 503Xiaosong Gu, Hengfeng Wei, Lei Qiao, Yu Huang 0002. Raft with Out-of-Order Executions
505 -- 520Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang 0024, Zhi-Ping Shi 0002. Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service

Volume 11, Issue 3

259 -- 262Minxue Pan, Jun Wei, Zhanqi Cui. Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling
263 -- 286Bian Han, Xiaohong Chen, Zhi Jin, Min Zhang. Approach to Generating TAP Rules in IoT Systems Based on Enviro nment Modeling
287 -- 313Ting Cai, Hui Lin, Wuhui Chen, Zibin Zheng, Yang Yu 0027. Efficient Blockchain-Empowered Data Sharing Incentive Scheme for Internet of Things
315 -- 333Menghan Zhang, Dehui Du, Mingzhuo Zhang, Lei Zhang, Yao Wang, Wentao Zhou. A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD
335 -- 355Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang. Deep Learning-Based Hybrid Fuzz Testing
357 -- 378Yingkui Cao, Zeyu Sun, Yanzhen Zou, Bing Xie. Structurally-Enhanced Approach for Automatic Code Transformation

Volume 11, Issue 2

117 -- 119Yanjun Wu. Preface: Special Issue on Advances in System Software
121 -- 147Fengjuan Gao, Yu Wang 0002, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li. Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis
149 -- 168Mengwei Xu, Yuanqiang Liu, Kang Huang, Xuanzhe Liu, Gang Huang. Autonomous Learning System Towards Mobile Intelligence
169 -- 193Dingji Li, Zeyu Mi, Baodong Wu, Xun Chen, Yongwang Zhao, Zuohua Ding, Haibo Chen 0001. Accelerator Virtualization Framework Based on Inter-VM Exitless Communication
195 -- 216Hongjun Zhang, Yanjun Wu, Heng Zhang, Libo Zhang. Hybrid Access Cache Indexing Framework Adapted to GPU
217 -- 241Guanyu Liang, Yanjun Wu, JingZheng Wu, Chen Zhao. Open Source Software Supply Chain for Reliability Assurance of Operating Systems
243 -- 258Wenqi Lou, Chao Wang 0003, Lei Gong, Xuehai Zhou. Neural Network Instruction Set Extension and Code Mapping Mechanism

Volume 11, Issue 1

1 -- 4Lei Chen 0002, Hongzhi Wang, Yongxin Tong, Hong Gao. Preface to the Special Issue on Data Management and Analysis Technique Supporting AI
5 -- 28Anbiao Wu, Ye Yuan 0001, Yuliang Ma, Guoren Wang. Node Embedding Research Over Temporal Graph
29 -- 54Fei Gao, Shaoxu Song, Jianmin Wang 0001. Time Series Data Cleaning under Multi-Speed Constraints
55 -- 67Changsheng Li, Qixing Min, Yurong Cheng, Ye Yuan 0001, Guoren Wang. Local Semantic Structure Captured and Instance Discriminated by Unsupervised Hashing
69 -- 90Zhihong Shen, Zihao Zhao, Huajin Wang, Zhongxin Liu, Chuan Hu, Chunyuan Zhou. PandaDB: Intelligent Management System for Heterogeneous Data
91 -- 116Baozhu Liu, Xin Wang 0030, Pengkai Liu, Sizhuo Li, Xiaowang Zhang, Yajun Yang. KGDB: Knowledge Graph Database System with Unified Model and Query Language