compsac 2014 header image

COMPSAC 2015: The 39th Annual International Computers, Software & Applications Conference

Taichung, Taiwan - July 1-5, 2015

Mobile and Cloud Systems – Challenges and Applications

Questions about DSA? Please contact the Workshop Organizer.

 

Workshop Organizer

Zhenyu Chen, Nanjing University, (zychen (at) software.nju.edu.cn)

Honorary Chair

Stephen S. Yau, Arizona State University

Conference Co-Chairs

Hong Mei, Peking University

Jian Lv, Nanjing University

William Chu, Tunghai University

Program Chair

Baowen Xu, Nanjing University

 

DSA 2015: International Workshop on Dependable Software and Applications

Program

Sunday July 5
Session 1: 11:00 - 12:30
Location: H103
Session Chair: Zhenyu Chen, Nanjing University
  • Formal Modelling and Verification fo the Safety Critical Fire-fighting Control System
    Ya Wang, Rui Wang, Yong Guan, Hongxing Wei, Xiaojuan Li, Jie Zhang
  • A Clustering-Bayesian Network based Approach for Test Case Prioritization
    Xiaobin Zhao, Zan Wang, Xiangyu Fan, Zhenhua Wang
  • Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano

DSA short paper/posters: Displayed during breaks (all sessions)
  • Spectrum-based Fault Localization Method with Test Case Reduction
    Xiaohong Zhang, Ziyuan Wang, Weifeng Zhang, Hui Ding, Lin Chen
  • A Model for Assessing the Dependability of Internetware Software Systems
    Huiqun Zhao, Jing Sun, RuiXue Zhao
  • An Agent-based Self-adaptive Mechanism with Reinforcement Learning
    Danni Yu Qingshan, Li Lu Wang, Yishuai Lin
  • Detecting SQL Vulnerability Attack based on the Dynamic and Static Analysis Technology
    Yaohui Wang, Dan Wang, Wenbing Zhao, Yuan Liu

Session 2: 13:30 - 15:00
Location: H103
Session Chair: Mohammad Zulkernine, Queens University, Canada
  • Dependence Based Model-healing
    Yue Wang, Zheng Li, Ruilian Zhao
  • Unified Programming Model and Software Framework for Big Data Machine Learning and Data Analytics
    Rong Gu, Yun Tang, Qianhao Dong, Zhaokang Wang, Zhiqiang Liu, Shuai Wang, Chunfeng Yuan, Yihua Huang
  • Replay Debugging of Real-time Vxworks Applications
    Chunlei Ma, Xiang Long, Bo Jiang, Zhenyu Zhang
  • A Method of Building Model for Anomaly Detection Based on Automation
    Sun Haoyang, Dan Wang, Lihua Fu, Wenbing Zhao, Liu Yuang

Session 3: 15:30 - 17:00
Location: H103
Session Chair: Chih-Hung Chang, Hsiuping University of Science & Technology, Taiwan
  • Analyzing Lifecycle Behavior of Android Application Components
    Shin Jakajima
  • Software for Wearable Devices: Challenges and Opportunities
    He Jiang, Xin Chen, Shuwei Zhang, Xin Zhang, Weiqiang Kong, Tao Zhang
  • An Architecture for Cloud Service Testing and Real Time Management
    Win-Tsung Lo, Xiao-Long Liu, Ruey-Kai Sheu, Shyan-Ming Yuan, Chun-Yu Chang
  • Detecting SQL Vulnerability Attack based on the Dynamic and Static Analysis Technology
    Yaohui Wang, Dan Wang, Webing Zhao, Yuan Liu

The International Workshop on Dependable Software and Applications (DSA 2015) will be held at COMPSAC 2015. It will provide researchers and practitioners with a forum for exchanging ideas, experiences, understanding of the problems, promising solutions to the problems, for dependable software and applications.

 

Topics of interest, but not limited to:

  • Architecture and design for dependable software
  • Big data and cloud computing
  • Components, services, and middleware
  • Embedded and real-time software
  • Empirical software engineering
  • Formal methods and testing
  • Human and social factors for dependable software
  • Knowledge based software engineering
  • Mobile, ubiquitous, and pervasive software
  • Safety-critical systems
  • Safety, security, and reliability
  • Software evolution and maintenance

 

Authors are invited to submit original, unpublished research papers as well as industrial practice papers. Simultaneous submissions to other publications and conferences are not permitted.

The length of a camera ready paper will be limited to 6 pages (IEEE Proceedings style) with up to 2 additional pages (with charges for each additional page) printed on 10-12 point fonts.

Authors must follow IEEE CS Press Proceedings Author Guidelines to prepare papers. At least one of the authors of each accepted paper is required to pay full registration fee and present the paper at the workshop in person. Arrangements are being made to publish selected papers in reputable journals. The submissions must be in PDF, Postscript or RTF format and uploaded to the conference submission site.

 Announcements

Signichat conference mobile app is now available!

    

Signichat is also sponsoring a best presentation award. Authors can enter their presentation for consideration. Attendees can vote for best presentation. 

The COMPSAC 2015 Survey has been posted to the Social Events page.

Hotel information has been posted to the Travel and Venue page.

The link for registration has been posted to the Registration page.
 

Important Dates


PC Meeting: March 13-14, 2015 - Shanghai, China

COMPSAC 2015 Deadlines
April 28, 2015: Updated: April 30 - Camera-ready copy and registration due

Workshop & Tutorial Deadlines
April 10, 2015 Extended: April 15, 2015: Updated: April 24 - Workshop paper notifications
April 24, 2015 Updated: April 30 Updated: May 8 - Camera-ready copy and registration due

Fast Abstracts, Posters Deadlines
April 24, 2015: Poster/paper notification
Updated: April 30 Updated: May 8 - Camera-ready copy & registration due

Student Research Symposium/Competition Deadlines
April 16th, 2015: Updated: April 26, 2015: Notifications
April 28, 2015:Updated: April 30 Updated: May 8 - Camera-ready submissions due