*** Call for Participation ***
*The 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017)*
*6-8 November 2017, Fukuoka, Japan *
https://iceccs.github.io/2017/
========================================================================
Complex computer systems are common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome.
*** REGISTRATION ***
Sunday, 15 October 2017 (Early Registration Deadline)
Contact: iceccs17@conferenceservice.jp
https://iceccs.github.io/2017/#registration
*** PROGRAM HIGHLIGHTS ***
*### Keynote Speakers (*https://iceccs.github.io/2017/#keynotes_)_
- David Basin (ETH Zurich, Switzerland)
Verified Secure Routing: The Verified Scion Project
- Katsuro Inoue (Osaka University, Japan)
Exploring Similar Code - From Code Clone Detection to Provenance Identification
-Yang Liu (Nanyang Technological University, Singapore)
Cyber-security, The Journey from Formal Methods, Program Analysis to Data Analytics
*### Conference Program (*https://iceccs.github.io/2017/#program*)*
**
*### Accepted Papers*
*Full Papers*
-Efficient Parameter Synthesis Using Optimized State Exploration Strategies
/ Hoang Gia Nguyen, Étienne André and Laure Petrucci/
-TLSsem: A TLS Security-Enhanced Mechanism against MITM Attacks in Public WiFis
/Wei Yang, //Xiaohong Li, Zhiyong Feng and Jianye Hao/
-Integrating Tools: Co-Simulation in UPPAAL using FMI-FMU
/ Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay and Ulrik
Nyman/
-Extending ERS for Modelling Dynamic Workflows in Event-B
/ Dana Dghaym, Michael Butler and Asieh Salehi Fathabadi/
-Distributed Object-Oriented Design of Autonomous Control Systems for Connected Platoons
/ Sebti Mouelhi, Daniela Cancila and Amar Ramdane-Cherif/
-BigrTiMo-A Process Algebra for Structure-aware Mobile Systems
/ Wanling Xie and Huibiao Zhu/
-Model Driven Method to Design and Analyze Secure Architectures of Systems-of-Systems
/ Jamal El Hachem, Tarek Al Khalil, Vanea Chiprianov, Ali Babar and
Philippe Aniorte/
-Learning Likely Invariants to Explain Why a Program Fails
/ Long H. Pham, Jun Sun, Ly Ly Tran Thi, Jingyi Wang and Xin Peng/
-Search-based Uncertainty-wise Requirements Prioritization
/ Yan Li, Man Zhang, Tao Yue, Shaukat Ali and Li Zhang/
-Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking
/ Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye and Shang-Wei Lin/
-A Composition Mechanism for Refinement-Based Methods
/ Thai Son Hoang, Dana Dghaym, Colin Snook and Michael Butler/
-Class Modularization Using Indirect Relationships
/ Junha Lee, Dae-Kyoo Kim and Sooyong Park/
-Reachability Analysis of Self Modifying Code
/ Tayssir Touili and Xin Ye/
-A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints
/ Xue-Yang Zhu/
*Short Papers*
-Speeding up Type-specific Instrumentation for the Analysis of Complex Systems
/ Andrea Rosà and Walter Binder/
-Multi-modeling approach to performance engineering of Cyber-Physical Systems design
/ Lorenzo Pagliari, Raffaela Mirandola and Catia Trubiani/
-Formal Modeling and Automatic Code Synthesis for Robot System
/ Xinxin Li, Rui Wang and Yu Jiang/
-Towarding Solving Decision Making Problems Using Probabilistic Model Checking
/ Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou and Jin
Song Dong/
-Software Reliability Modeling and Analysis via Kernel-based Approach
/ Kei Okumura, Hiroyuki Okamura and Tadashi Dohi/
-Evaluating Suitability of Applying Blockchain
/ Sin Kuang Lo, Xiwei Xu, Yin Kia Chiam and Qinghua Lu/
-Decomposition and Collaboration of Industrial Control System with Resource Constraints
/ Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye and Yanhong
Huang/
-Study of Software-Related Causes in the FDA Medical Device Recalls
/ Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Yu Jiang, Lui Sha and
Shangping Ren/
-Functional Requirements-Based Automated Testing for Avionics
/ Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn,
Thomas Wilson, Florian Schanda, Francisco Javier Guzmán Jiménez, Simon
