[ecoop-info] ICECCS 2017 [Call for Participation]

[malei at hit.edu.cn]

===
========================================================================
** 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/ <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 at conferenceservice.jp <mailto:iceccs17 at conferenceservice.jp>
https://iceccs.github.io/2017/#registration <https://iceccs.github.io/2017/#registration>
 
** PROGRAM HIGHLIGHTS **
### Keynote Speakers (https://iceccs.github.io/2017/#keynotes <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 <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 Daniel, Chris Bryan and Ian Broster
 

===