Saturday Sep 12, 2015
(Lecture Hall, Library of NUAA, Jiangjun Road Campus)
8:10-8:45 Registration
8:45-9:00 Opening
9:00-10:00: Invited Talk 1 (Chair: Huibiao Zhu)
Modeling and Reasoning about Software Systems Containing Uncertainty and Variability
Marsha Chechik (University of Toronto, Canda)
10:00-10:30: Photo & Coffee break
10:30-12:00 Session 1 (Chair: Bixin Li)
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks
Xi Wu, Hanne Riis Nielson and Huibiao Zhu
An Open Framework for Semantic Code Queries on Heterogeneous Repositories
Tian Zhang, Minxue Pan, Jizhou Zhao, Yijun Yu and Xuandong Li
Singular Spectrum Analysis and ARIMA Hybrid Model for Software Reliability Forecasting
Liu Guoqiang, Zhang Deping and Zhang Tingting
12:00-13:30 Lunch Break
13:30-15:00 Session 2 (Chair: Geguang Pu)
Polychronous Automata
Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin and Loïc Besnard
An Effective Approach to Measuring and Assessing the Risk of Android Application
Hao Huikang, Li Zhoujun and Yu Haibo
Formal verification of Plastic User Interface Exploiting Domain Ontologies
Abdelkrim Chebieb and Yamine Ait-Ameur
15:00-15:30 Coffee Break
15:30-17:40 Session 3 (Chair: Tian Zhang)
Verifying Interaction between Methods in Classes
Tingting Hu, Shuling Wang and Zongyan Qiu
A Framework for Off-Line Conformance Testing of Timed Connectors
Shaodong Li, Xiaohong Chen, Yiwu Wang and Meng Sun
Evaluating Initial Inputs for Concolic Testing
Weiguang Wang and Qingkai Zeng
Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC
Zhihua Yang, Bo Xiao and Yixiang Chen
Transferable Optimal-size Fair E-cash with Optimal Anonymity
Jiangxiao Zhang, Zhoujun Li, Xia Liu, Lina Huo, Baoen Guo and Jinxin Ma
18:00-19:30 Dinner
Sunday Sep 13, 2015
(Lecture Hall, Library of NUAA, Jiangjun Road Campus)
9:00-10:00: Invited Talk 2 (Chair: Xingyuan Zhang)
On Various Abstract Understandings of Abstract Interpretation
Patrick Cousot (New York University, USA)
10:00-10:30: Coffee Break
10:30-12:00 Session 4 (Chair: Thierry Gautier)
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking
Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi and Yang Liu
Formal Verification of PKMv3 Protocol Using DT-Spin
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu and Weikai Miao
Formally Modeling and Analyzing the Reliability of Composite Service Evolution
Guisheng Fan, Huiqun Yu and Liqiong Chen
12:00-13:30 Lunch Break
13:30-14:30 Invited Talk 3 (Chair: Jun Sun)
Event and Strategy Analytics
Jin Song Dong (National University of Singapore)
14:30-15:00 Coffee Break
15:00-17:10 Session 5 (Chair: Meng Sun)
Formal Semantics of Runtime Control
Zhe Chen and Hongwei Xi
QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model
Xiaomin Wei and Yunwei Dong
A Bottom-Up Approach To Check The Correctness of Interorganisational Workflows
Kais Klai and Hanen Ochi
Probabilistic Model Checking of Pipe protocol
Kangli He, Min Zhang, Jia He and Yixiang Chen
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge
Weikai Miao, Xi Wang and Shaoying Liu
18:00-21:00 Banquet and Excursion
Monday Sep 14, 2015
(Lecture Hall, Library of NUAA, Jiangjun Road Campus)
9:00-12:00 Invited Tutorial 1
Pervasive Model Checking
Jin Song Dong, Guodong Bai (National University of Singapore)
12:00-13:30 Lunch Break
13:30-16:30 Invited Tutorial 2
A Gentle Tutorial on Abstract Interpretation
Patrick Cousot (New York University, USA)
16:30-16:40 Closing
TASE2015
书记信箱