Abstract is missing.
- Modeling and Reasoning about Software Systems Containing Uncertainty and VariabilityMarsha Chechik. 1 [doi]
- On Various Abstract Understandings of Abstract InterpretationPatrick Cousot. 2-3 [doi]
- Event and Strategy AnalyticsJin Song Dong, Jun Sun 0001, Yang Liu, Yuan-Fang Li, Jing Sun 0002, Ling Shi. 4-6 [doi]
- A Bottom-Up Approach to Check the Correctness of Interorganisational WorkflowsKais Klai, Hanen Ochi. 7-14 [doi]
- A Framework for Off-Line Conformance Testing of Timed ConnectorsShaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun. 15-22 [doi]
- A SAT-Based Analysis of a Calculus for Wireless Sensor NetworksXi Wu 0001, Hanne Riis Nielson, Huibiao Zhu. 23-30 [doi]
- An Effective Approach to Measuring and Assessing the Risk of Android ApplicationHuikang Hao, Zhoujun Li, Haibo Yu. 31-38 [doi]
- An Open Framework for Semantic Code Queries on Heterogeneous RepositoriesTian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li. 39-46 [doi]
- Evaluating Initial Inputs for Concolic TestingWeiguang Wang, Qingkai Zeng. 47-54 [doi]
- Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model CheckingConghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu. 55-62 [doi]
- Formal Semantics of Runtime Monitoring, Verification, Enforcement and ControlZhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi. 63-70 [doi]
- Formal Verification of PKMv3 Protocol Using DT-SpinXiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao. 71-78 [doi]
- Formal Verification of Plastic User Interfaces Exploiting Domain OntologiesAbdelkrim Chebieb, Yamine Aït Ameur. 79-86 [doi]
- Formally Modeling and Analyzing the Reliability of Composite Service EvolutionGuisheng Fan, Liqiong Chen, Huiqun Yu, Dongmei Liu. 87-94 [doi]
- Polychronous AutomataPaul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard. 95-102 [doi]
- QaSten: Integrating Quantitative Verification with Safety Analysis for AADL ModelXiaomin Wei, Yunwei Dong, Hong Ye. 103-110 [doi]
- Software Reliability Forecasting: Singular Spectrum Analysis and ARIMA Hybrid ModelGuoqiang Liu, Deping Zhang, Tingting Zhang. 111-118 [doi]
- Verifying Interaction between Methods in ClassesTingting Hu, Shuling Wang, Zongyan Qiu. 119-126 [doi]
- A Tool for Supporting Requirements Formalization Based on Specification Pattern KnowledgeWeikai Miao, Xi Wang, Shaoying Liu. 127-130 [doi]
- Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeCZhihua Yang, Bo Xiao, Yixiang Chen. 131-134 [doi]
- Probabilistic Model Checking of Pipe protocolKangli He, Min Zhang 0007, Jia He, Yixiang Chen. 135-138 [doi]
- Transferable Optimal-size Fair E-cash with Optimal AnonymityJiangxiao Zhang, Lina Huo, Xia Liu, Chunrong Sui, Zhoujun Li, Jinxin Ma. 139-142 [doi]