![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
22nd ICECCS 2017: Fukuoka, Japan
- 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
- Étienne André, Hoang Gia Nguyen, Laure Petrucci:
Efficient Parameter Synthesis Using Optimized State Exploration Strategies. 1-10 - Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Axel Legay, Ulrik Nyman
:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. 11-19 - Dana Dghaym, Michael J. Butler, Asieh Salehi Fathabadi
:
Extending ERS for Modelling Dynamic Workflows in Event-B. 20-29 - Wei Yang, Xiaohong Li, Zhiyong Feng, Jianye Hao:
TLSsem: A TLS Security-Enhanced Mechanism against MITM Attacks in Public WiFis. 30-39
IoT/CPS
- Sebti Mouelhi
, Daniela Cancila, Amar Ramdane-Cherif:
Distributed Object-Oriented Design of Autonomous Control Systems for Connected Vehicle Platoons. 40-49 - Wanling Xie, Huibiao Zhu, Qiwen Xu:
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. 50-59 - 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
- Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng:
Learning Likely Invariants to Explain Why a Program Fails. 70-79 - Yan Li, Man Zhang
, Tao Yue, Shaukat Ali, Li Zhang:
Search-Based Uncertainty-Wise Requirements Prioritization. 80-89 - 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
- Thai Son Hoang
, Dana Dghaym, Colin F. Snook
, Michael J. Butler:
A Composition Mechanism for Refinement-Based Methods. 100-109 - Junha Lee, Dae-Kyoo Kim, Jiwoo Park, Sooyong Park:
Class Modularization Using Indirect Relationships. 110-119 - Tayssir Touili, Xin Ye:
Reachability Analysis of Self Modifying Code. 120-127 - Xue-Yang Zhu
:
A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints. 128-137
Short Paper I
- Andrea Rosà
, Walter Binder
:
Speeding Up Type-Specific Instrumentation for the Analysis of Complex Systems. 138-141 - Lorenzo Pagliari, Raffaela Mirandola
, Catia Trubiani:
Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design. 142-145 - Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song:
Formal Modeling and Automatic Code Synthesis for Robot System. 146-149 - 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 - Kei Okumura, Hiroyuki Okamura, Tadashi Dohi:
Software Reliability Modeling and Analysis via Kernel-Based Approach. 154-157
Short Paper II
- Sin Kuang Lo, Xiwei Xu
, Yin Kia Chiam
, Qinghua Lu:
Evaluating Suitability of Applying Blockchain. 158-161 - Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang:
Decomposition and Collaboration of Industrial Control System with Resource Constraints. 162-165 - Jamal El Hachem, Tarek Al Khalil, Vanea Chiprianov, Muhammad Ali Babar, Philippe Aniorté
:
A Model Driven Method to Design and Analyze Secure Architectures of Systems-of-Systems. 166-169 - 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.