Program
20 July, 2013 (Room 8D-1, Level 8, Temasek Labs)
12:00 – 14:00 Lunch
14:00 – 14:50 Keynote Speech Session Chair: Dr. Yoshinori Tanabe
- Dr. Zhenjiang Hu, Programming Bidirectional Transformation Robustly and Intentionally, National Institute of Informatics (NII)
15:00 – 16:00 Section 1: Internet Systems Session Chair: Dr. Jun SUN
- Dr. Hiroyuki Kato, Query Reformulation in XML Data Integration Systems, National Institute of Informatics (NII)
- Dr. Lin Chen, Analyzing Software: A New Perspective from Complex Network, Nanjing University
- Drs. Lei Xu and Yanhui Li, Recommending Web Service Based on User Relationships and Preferences, Nanjing University
16:00 – 16:30 Coffee and Tea Break
16:30 – 17:10 Section 2: Methodology Session Chair: Dr. Yang LIU
- Dr. Soichiro Hidaka, Towards an interoperable bidirectional graph transformation system, National Institute of Informatics (NII)
- Dr. Jianjun Zhao, Speeding up Flow-Sensitive Points-to Analysis via Parallelization, Shanghai Jiao Tong University
18:00 – 20:00 Banquet
20:30 – 21:30 Singapore Flyer
21 July, 2013 (Room 8D-1, Level 8, Temasek Labs)
09:00 – 10:00 Keynote Speech Session Chair: Dr. Zhenjiang Hu
- Dr. Zhi Jin, "to be announced"
10:00 – 10:30 Coffee and Tea Break
10:30 – 11:50 Section 3: Model Checking Session Chair: Dr. Jin Song DONG
- Dr. Yoshinori Tanabe, State space reduction in software model checking using cut-off policies, National Institute of Informatics (NII)
- Dr. Yang LIU, Formal Modelling and Verification of Pervasive Computing Systems, Nanyang Technological University, Singapore
- Dr. Fuyuki Ishikawa, Toward Systematic Planning of Event-B Refinement, National Institute of Informatics (NII)
- Dr. Jun SUN, Dynamic Synthesis of Local Time Requirement for Service Composition, Singapore University of Technology and Design
12:00 – 14:00 Lunch
14:00 – 15:00 Section 4: Software Analysis Session Chair: Dr. Kenji Tei
- Dr. Kenji Tei, Supporting Multi-Level Design Changes in Adaptive Software Maintenance, National Institute of Informatics (NII)
- Dr. Jian Zhang, Static Program Analysis and Test Data Generation, Institute of Software, Chinese Academy of Sciences
- Dr. Xin Peng, Human Factors in Self-Adaptive Systems: A Requirements-Driven Perspective, Institute of Software, Chinese Academy of Sciences
15:00 – 15:30 Coffee and Tea Break
15:30 – 16:50 Section 5: System Session Chair: Dr. Shang-Wei LIN
- Dr. Nobukazu Yoshioka, Adaptation to Security and Privacy Changes, National Institute of Informatics (NII)
- Dr. Wenpin Jiao, Automatic Multi-agent Coordination based on Values Driven Self-organization, Peking University
- Dr. Haiyan Zhao, Construction of Traceability between Feature Model and Use Case: A language-based Approach, Peking University
- Dr. Zhiyong Feng, Web Service Network, Tianjin University