当前位置:首页  old  通知公告old

The 9th International Symposium on Theoretical Aspects of Software Engineering

时间:2015-09-11作者:来源:计算机科学与技术学院点击:8

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

Web:http://tase2015.nuaa.edu.cn/program.htm

附件下载

地址:江苏省南京市江宁区将军大道29号

邮政编码: 211106

版权所有:南京航空航天大学计算机科学与技术学院/人工智能学院 ALL RIGHTS RESERVED 苏ICP备05070685号 后台管理 书记信箱 院长信箱

友情链接

校外导航链接