ask others

22nd ICECCS 2017: Fukuoka, Japan

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > ICECCS

- view
- export record
  dblp key:
  - conf/iceccs/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/2017
22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-2431-9

Formal Methods

- view
- export record
  dblp key:
  - conf/iceccs/AndreNP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/AndreNP17
Étienne André, Hoang Gia Nguyen, Laure Petrucci:
Efficient Parameter Synthesis Using Optimized State Exploration Strategies. 1-10
- view
- export record
  dblp key:
  - conf/iceccs/JensenLLN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/JensenLLN17
Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. 11-19
- view
- export record
  dblp key:
  - conf/iceccs/DghaymBF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/DghaymBF17
Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi:
Extending ERS for Modelling Dynamic Workflows in Event-B. 20-29
- view
- export record
  dblp key:
  - conf/iceccs/YangLFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/YangLFH17
Wei Yang, Xiaohong Li, Zhiyong Feng, Jianye Hao:
TLSsem: A TLS Security-Enhanced Mechanism against MITM Attacks in Public WiFis. 30-39

IoT/CPS

- view
- export record
  dblp key:
  - conf/iceccs/MouelhiCR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/MouelhiCR17
Sebti Mouelhi, Daniela Cancila, Amar Ramdane-Cherif:
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons. 40-49
- view
- export record
  dblp key:
  - conf/iceccs/XieZX17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/XieZX17
Wanling Xie, Huibiao Zhu, Qiwen Xu:
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. 50-59
- view
- export record
  dblp key:
  - conf/iceccs/FuGRJS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/FuGRJS17
Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Study of Software-Related Causes in the FDA Medical Device Recalls. 60-69

Knowledge and Software Engineering

- view
- export record
  dblp key:
  - conf/iceccs/Pham0TWP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Pham0TWP17
Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng:
Learning Likely Invariants to Explain Why a Program Fails. 70-79
- view
- export record
  dblp key:
  - conf/iceccs/LiZY0Z17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LiZY0Z17
Yan Li, Man Zhang, Tao Yue, Shaukat Ali, Li Zhang:
Search-Based Uncertainty-Wise Requirements Prioritization. 80-89
- view
- export record
  dblp key:
  - conf/iceccs/GaoXMYL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/GaoXMYL17
Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin:
Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking. 90-99

Design and Analysis

- view
- export record
  dblp key:
  - conf/iceccs/HoangDSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/HoangDSB17
Thai Son Hoang, Dana Dghaym, Colin F. Snook, Michael J. Butler:
A Composition Mechanism for Refinement-Based Methods. 100-109
- view
- export record
  dblp key:
  - conf/iceccs/LeeKPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LeeKPP17
Junha Lee, Dae-Kyoo Kim, Jiwoo Park, Sooyong Park:
Class Modularization Using Indirect Relationships. 110-119
- view
- export record
  dblp key:
  - conf/iceccs/TouiliY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/TouiliY17
Tayssir Touili, Xin Ye:
Reachability Analysis of Self Modifying Code. 120-127
- view
- export record
  dblp key:
  - conf/iceccs/Zhu17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/Zhu17
Xue-Yang Zhu:
A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. 128-137

Short Paper I

- view
- export record
  dblp key:
  - conf/iceccs/RosaB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/RosaB17
Andrea Rosà, Walter Binder:
Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems. 138-141
- view
- export record
  dblp key:
  - conf/iceccs/PagliariMT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/PagliariMT17
Lorenzo Pagliari, Raffaela Mirandola, Catia Trubiani:
Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design. 142-145
- view
- export record
  dblp key:
  - conf/iceccs/LiWJGLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LiWJGLS17
Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song:
Formal Modeling and Automatic Code Synthesis for Robot System. 146-149
- view
- export record
  dblp key:
  - conf/iceccs/ShiLHKHD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ShiLHKHD17
Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong:
Towards Solving Decision Making Problems Using Probabilistic Model Checking. 150-153
- view
- export record
  dblp key:
  - conf/iceccs/OkumuraOD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/OkumuraOD17
Kei Okumura, Hiroyuki Okamura, Tadashi Dohi:
Software Reliability Modeling and Analysis via Kernel-Based Approach. 154-157

Short Paper II

- view
- export record
  dblp key:
  - conf/iceccs/LoXCL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LoXCL17
Sin Kuang Lo, Xiwei Xu, Yin Kia Chiam, Qinghua Lu:
Evaluating Suitability of Applying Blockchain. 158-161
- view
- export record
  dblp key:
  - conf/iceccs/LiXMSYH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LiXMSYH17
Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang:
Decomposition and Collaboration of Industrial Control System with Resource Constraints. 162-165
- view
- export record
  dblp key:
  - conf/iceccs/HachemKCBA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/HachemKCBA17
Jamal El Hachem, Tarek Al Khalil, Vanea Chiprianov, Ali Babar, Philippe Aniorté:
A Model Driven Method to Design and Analyze Secure Architectures of Systems-of-Systems. 166-169
- view
- export record
  dblp key:
  - conf/iceccs/SunBKHWSJDBB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/SunBKHWSJDBB17
Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster:
Functional Requirements-Based Automated Testing for Avionics. 170-173

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.