Abstract is missing.
- Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-BChenyang Zhu 0001, Michael J. Butler, Corina Cîrstea. 1-8 [doi]
- Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-BGuillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. 9-16 [doi]
- Distributed MediatorYi Li 0010, Meng Sun 0002. 17-24 [doi]
- A Logical Approach for the Schedulability Analysis of CCSLYuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen. 25-32 [doi]
- ABAC Requirements Engineering for Database ApplicationsJim J. Longstaff, Mengda He. 33-40 [doi]
- A Co-Occurrence Recommendation Model of Software Security RequirementYilin Xu, Weimin Ge, Xiaohong Li, Zhiyong Feng, Xiaofei Xie, Yude Bai. 41-48 [doi]
- Android Malware Family Classification and Characterization Using CFG and DFGZhiwu Xu, Kerong Ren, Fu Song. 49-56 [doi]
- Large-scale Detection of Privacy Leaks for BAT Browsers Extensions in ChinaYufei Zhao, Longtao He, Zhoujun Li, Liqun Yang, Hao Dong, Chao Li, Yu Wang. 57-64 [doi]
- Constructing Benchmarks for Supporting Explainable Evaluations of Static Application Security Testing ToolsGaojian Hao, Feng Li, Wei Huo, Qing Sun, Wei Wang, Xinhua Li, Wei Zou. 65-72 [doi]
- Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case StudyZhenbing Zeng, Jianlin Wang, Zhengfeng Yang. 73-80 [doi]
- Hardware Tripartite Synapse Architecture based on Stochastic ComputingJunxiu Liu, Zhewei Liang, Yuling Luo, Jiadong Huang, Su Yang. 81-85 [doi]
- Non-Intrusive MC/DC Measurement Based on TracesFaustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz 0001, Volker Stolz, Daniel Thoma. 86-92 [doi]
- Optimized Step Semantics Encoding for Bounded Model Checking of Timed AutomataZuxi Chen, Huixing Fang, Xiangyu Luo. 93-98 [doi]
- Efficient Counter-factual Type Error DebuggingSheng Chen 0008, Baijun Wu. 99-106 [doi]
- Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in CoqXiyue Zhang, Yi Li 0010, Weijiang Hong, Meng Sun 0002. 107-112 [doi]
- Steering Interpolants Generation with Efficient Interpolation Abstraction ExplorationXiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda. 113-120 [doi]
- A HOL Theory of the Differential for Matrix FunctionsYuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li 0003, Guohui Wang, Yong Guan. 121-127 [doi]
- A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous DrivingBingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du. 128-135 [doi]
- A Denotational Semantics for Dynamic ArchitecturesDiego Marmsoler. 136-143 [doi]
- Stuttering for Markov AutomataArpit Sharma. 144-151 [doi]
- Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDPXin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du. 152-159 [doi]
- SMT-based Multi-objective Optimization for Scheduling of MPSoC ApplicationsRongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan 0009. 160-167 [doi]
- Certified Embedding of B Models in an Integrated Verification FrameworkAlexandra Halchin, Yamine Aït Ameur, Neeraj Kumar Singh, Abderrahmane Feliachi, Julien Ordioni. 168-175 [doi]
- Formalizing Time4sys using parametric timed automataÉtienne André. 176-183 [doi]
- Optimizing Quantum Programs Against Decoherence: Delaying Qubits into Quantum SuperpositionYu Zhang, Haowei Deng, Quanxi Li, Haoze Song, Leihai Nie. 184-191 [doi]
- Low complexity and large interactions are possible in Strategy logicPatrick Gardy. 192-199 [doi]
- Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic ExecutionLi Hao, Jianqi Shi, Ting Su, Yanhong Huang. 200-207 [doi]
- Software Complexity Reduction by Automated Refactoring SchemaSiteng Cao, Yongxin Zhao, Ling Shi. 208-215 [doi]
- IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIsZuxing Gu, Min Zhou 0001, Jiecheng Wu, Yu Jiang 0001, Jiaxiang Liu, Ming Gu 0001. 216-223 [doi]
- Identify Blackboard Pattern Based on OntologyLihui Tang, Lulu Wang, Bixin Li. 224-231 [doi]
- Verifying Opacity of a Modified PSTMYucheng Fang, Huibiao Zhu, Jiaqi Yin. 232-239 [doi]
- Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSPChao Xu, Xi Wu 0005, Huibiao Zhu, Miroslav Popovic. 240-247 [doi]
- Verifying the Relationship Among Three Descriptions in Problem Frames Using CSPXiaohong Chen 0007, Xi Wu, Mengyao Zhao, Haiying Sun. 248-255 [doi]
- A Common Semantic Scoring Method for Chinese Subjective QuestionsXinhua Zhu, Qingting Xu, Lanfang Zhang, Han Deng, Hongchao Chen. 256-263 [doi]
- Understanding Ineffective Events and Reducing Test Sequences for Android ApplicationsPing Wang, Jiwei Yan, Xi Deng, Jun Yan, Jian Zhang 0001. 264-272 [doi]
- An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUsDehui Du, Yao Wang, Yi Ao, Biao Chen. 273-280 [doi]