| 2017 | 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017 |
| 2017 | A Composition Mechanism for Refinement-Based Methods. Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler |
| 2017 | A Model Driven Method to Design and Analyze Secure Architectures of Systems-of-Systems. Jamal El Hachem, Tarek Al Khalil, Vanea Chiprianov, Muhammad Ali Babar, Philippe Aniorté |
| 2017 | A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. Xue-Yang Zhu |
| 2017 | BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. Wanling Xie, Huibiao Zhu, Qiwen Xu |
| 2017 | Class Modularization Using Indirect Relationships. Junha Lee, Dae-Kyoo Kim, Jiwoo Park, Sooyong Park |
| 2017 | Decomposition and Collaboration of Industrial Control System with Resource Constraints. Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang |
| 2017 | Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons. Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif |
| 2017 | Efficient Parameter Synthesis Using Optimized State Exploration Strategies. Étienne André, Hoang Gia Nguyen, Laure Petrucci |
| 2017 | Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking. Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin |
| 2017 | Evaluating Suitability of Applying Blockchain. Sin Kuang Lo, Xiwei Xu, Yin Kia Chiam, Qinghua Lu |
| 2017 | Extending ERS for Modelling Dynamic Workflows in Event-B. Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi |
| 2017 | Formal Modeling and Automatic Code Synthesis for Robot System. Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song |
| 2017 | Functional Requirements-Based Automated Testing for Avionics. Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster |
| 2017 | Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman |
| 2017 | Learning Likely Invariants to Explain Why a Program Fails. Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng |
| 2017 | Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design. Lorenzo Pagliari, Raffaela Mirandola, Catia Trubiani |
| 2017 | Reachability Analysis of Self Modifying Code. Tayssir Touili, Xin Ye |
| 2017 | Search-Based Uncertainty-Wise Requirements Prioritization. Yan Li, Man Zhang, Tao Yue, Shaukat Ali, Li Zhang |
| 2017 | Software Reliability Modeling and Analysis via Kernel-Based Approach. Kei Okumura, Hiroyuki Okamura, Tadashi Dohi |
| 2017 | Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems. Andrea Rosà, Walter Binder |
| 2017 | Study of Software-Related Causes in the FDA Medical Device Recalls. Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha |
| 2017 | TLSsem: A TLS Security-Enhanced Mechanism against MITM Attacks in Public WiFis. Wei Yang, Xiaohong Li, Zhiyong Feng, Jianye Hao |
| 2017 | Towards Solving Decision Making Problems Using Probabilistic Model Checking. Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong |