default search action
9th TASE 2015: Nanjing, China
- 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7612-9
Invited Talks
- Marsha Chechik:
Modeling and Reasoning about Software Systems Containing Uncertainty and Variability. 1 - Patrick Cousot:
On Various Abstract Understandings of Abstract Interpretation. 2-3 - Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi:
Event and Strategy Analytics. 4-6
Regular Papers
- Kais Klai, Hanen Ochi:
A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows. 7-14 - Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun:
A Framework for Off-Line Conformance Testing of Timed Connectors. 15-22 - Xi Wu, Hanne Riis Nielson, Huibiao Zhu:
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. 23-30 - Huikang Hao, Zhoujun Li, Haibo Yu:
An Effective Approach to Measuring and Assessing the Risk of Android Application. 31-38 - Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu, Xuandong Li:
An Open Framework for Semantic Code Queries on Heterogeneous Repositories. 39-46 - Weiguang Wang, Qingkai Zeng:
Evaluating Initial Inputs for Concolic Testing. 47-54 - Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu:
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. 55-62 - Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi:
Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. 63-70 - Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao:
Formal Verification of PKMv3 Protocol Using DT-Spin. 71-78 - Abdelkrim Chebieb, Yamine Aït Ameur:
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. 79-86 - Guisheng Fan, Liqiong Chen, Huiqun Yu, Dongmei Liu:
Formally Modeling and Analyzing the Reliability of Composite Service Evolution. 87-94 - Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard:
Polychronous Automata. 95-102 - Xiaomin Wei, Yunwei Dong, Hong Ye:
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model. 103-110 - Guoqiang Liu, Deping Zhang, Tingting Zhang:
Software Reliability Forecasting: Singular Spectrum Analysis and ARIMA Hybrid Model. 111-118 - Tingting Hu, Shuling Wang, Zongyan Qiu:
Verifying Interaction between Methods in Classes. 119-126
Short Papers
- Weikai Miao, Xi Wang, Shaoying Liu:
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge. 127-130 - Zhihua Yang, Bo Xiao, Yixiang Chen:
Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC. 131-134 - Kangli He, Min Zhang, Jia He, Yixiang Chen:
Probabilistic Model Checking of Pipe protocol. 135-138 - Jiangxiao Zhang, Lina Huo, Xia Liu, Chunrong Sui, Zhoujun Li, Jinxin Ma:
Transferable Optimal-size Fair E-cash with Optimal Anonymity. 139-142
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.